micROS: a morphable, intelligent and collective robot operating system
© The Author(s) 2016
Received: 13 November 2016
Accepted: 14 November 2016
Published: 25 November 2016
Robots are developing in much the same way that personal computers did 40 years ago, and robot operating system is the critical basis. Current robot software is mainly designed for individual robots. We present in this paper the design of micROS, a morphable, intelligent and collective robot operating system for future collective and collaborative robots. We first present the architecture of micROS, including the distributed architecture for collective robot system as a whole and the layered architecture for every single node. We then present the design of autonomous behavior management based on the observe–orient–decide–act cognitive behavior model and the design of collective intelligence including collective perception, collective cognition, collective game and collective dynamics. We also give the design of morphable resource management, which first categorizes robot resources into physical, information, cognitive and social domains, and then achieve morphability based on self-adaptive software technology. We finally deploy micROS on NuBot football robots and achieve significant improvement in real-time performance.
The third industrial revolution is under its way . Robots, as one of the most remarkable novel products in this revolution, will repeat the history of the rising of personal computers and enter every home in a near future . The most important system software for robots, robot operating system, will be the key driving force for this trend. It is able to effectively solve the major problems of low modularity and standardization level faced by current robotic technology, in order to simplify software design, improve software quality, promote the integration of new technologies and reduce production costs.
Before the concept of robot operating system was introduced, system software with the same functionalities was referred to as robotics middleware, robot software framework, or robotics development environment. They gained more and more attentions and research efforts since late 1990s, with typical initiatives gradually emerging, such as Miro , Orca , RT-Middleware , Player/Stage , MARIE , RSCA  and Orocos . Microsoft also released Robotics Developer Studio  in 2006. In 2007, the release of Robot Operating System (ROS) version 1.0  introduced the concept of operating system into robotics for the first time. In recent years, this concept was gradually accepted by both academia and industry. An increasing number of experimental and commercial robot systems base their research and development entirely or partially upon robot operating systems, even including examples like the Aircrew Labor In-cockpit Automation System (ALIAS)  and Robonaut 2 , which requires very high real-time performance and reliability. However, most of the aforementioned robot operating systems mainly focused on development of applications on individual robotic platform, despite the fact that the vast majority of them support networking. It still remains an open issue for existing robot operating systems how to manage the heterogeneous resources and complex behaviors of collective robot systems to achieve collective intelligence.
The design choice of micROS is based on autonomous behavior and collective intelligence, with management of autonomous and collective robots as its major target;
The micROS architecture, in terms of both the distributed collective architecture for collective robots and the layered architecture for individual robots, is proposed;
We combine the observe–orient–decide–act (OODA) cognitive behavior model and collective intelligence in the high-level architecture design and tackle the four major challenges, i.e., autonomous observation and collective perception, autonomous orientation and collective cognition, autonomous decision and collective game, autonomous action and collective dynamics;
The morphable and adaptive mechanism of micROS is designed based on adaptive software techniques.
The remaining part of this paper is structured as follows. “micROS Architecture” section introduces the architecture of micROS. “Autonomous behavior and collective intelligence” section presents the mechanisms to implement autonomous behavior and collective intelligence. “Morphable and adaptive mechanism” section describes the morphable and adaptive design of micROS. Practical application of micROS in a RoboCup system (soccer robots), as well as the corresponding experimental results, is presented in “Application and experiments” section. Finally, “Conclusion and future work” section concludes the paper and discusses about potential future work.
Derived from the organization structures of collective robots, we designed for micROS the overall distributed architecture and the layered structure for individual node.
Organization structures for collective robots
The distributed architecture of micROS
The distributed architecture of micROS implements “inter-connecting, inter-communicating, interoperability, inter-understanding and inter-obedience.” Interconnecting and intercommunicating are implemented through distributed networking. Interoperability is supported by standardization, modularity and platformization. Inter-understanding includes three aspects: human–robot, robot–robot and robot–environment. Inter-obedience is expressed by rules in physical, information and social domains.
Networking is the basis for constructing the distributed architecture. Wireless network is the mainly used one for mobile robots. micROS will support scalable self-organizing networks based on wireless communication and provide mechanisms for robust interoperability.
Real-time guarantee is a distinguished feature of micROS. micROS will implement three levels of real-time guarantee, i.e., node-level real time, message-level real time and task-level real time. Node-level real-time guarantee is achieved by high-resolution timer, interrupt/event priorities, resource scheduling, non-blocking communication, etc. Message-level real-time guarantee is achieved based on the network protocols, such as RT-NET, which provide real-time support. Task-level real-time guarantee supports real-time constraint exchange among interconnected nodes and real-time behavior for the entire system.
The layered structure for micROS Nodes
Autonomous behavior and collective intelligence
Collective behavior of robots
The OODA loop is a famous cognitive behavioral model proposed by John Boyd . It was initially used to model strongly confrontational behaviors and then extended to model more general behaviors such as those in commercial and social domains.
In order to implement behavior management for collective robots, micROS embodies collective intelligence into the OODA loop in four aspects: (1) autonomous observation and collective perception, (2) autonomous orientation and collective cognition, (3) autonomous decision and collective game and (4) autonomous action and collective dynamics. They will be explained in detail in the following sections.
Autonomous observation and collective perception
micROS manages different perception roles and their corresponding perception capabilities of each collective robot to implement autonomous observation. Moreover, micROS achieves collective perception by fusing information from all individuals of the collective robots according to the given tasks and scenarios.
In order to fuse perception information according to the different robot roles, micROS first defines the roles for each individual robot. micROS allows different ways for defining roles. For example, as defined in Webster’s dictionary, a role can be a function or a part performed function in a particular operation or process. We can also consider the role as a function that one or more robots perform during the execution of a cooperative task as in . micROS assigns roles to collective robots according to the actual perception capabilities of their sensors in specific tasks. Furthermore, perception information from all roles is fused to achieve collective perception.
micROS adopts a role-based distributed collective perception model for different tasks. When the robots perform collective perception, the role task tree is constructed according to the perception capabilities of the collective robots and the relevance between the capabilities and the given collective perception task. Meanwhile, the role of each robot is assigned. In order to achieve maximal collective efficiency, this role assignment method takes into account the actual perception capabilities of the collective robots at the beginning of producing the role task tree. Thus, it is different from traditional methods, such as those in [18, 19], which directly decompose cooperative tasks to achieve role task trees. The perception task of each node of the role task tree is fulfilled by fusing sensing data of each corresponding robot. Then, perception results of all nodes are further fused for collective perception task. Moreover, in order to achieve globally optimized role assignment strategy and collective perception capability, the quantity and quality of the fulfillment of the collective perception task are evaluated in micROS, based on which the role task tree is dynamically adjusted.
Autonomous orientation and collective cognition
micROS is designed to support acquiring, storing and managing collective knowledge. The collective knowledge is further analyzed and utilized to achieve autonomous orientation and collective cognition, which can be used to facilitate the decision of the robots.
Similar to the classification in psychology, collective knowledge is also classified into common sense, experiential knowledge and implicit knowledge by micROS. Collective robots have the common sense including the basic knowledge and rules about inter-robots and external environments that each robots possesses, e.g., communication protocols among collective robots and physical laws, such as Newton’s laws of motion. Experiential knowledge includes the knowledge obtained by practices of individuals of the collective robots and can be accessed by other robots. Implicit knowledge means the knowledge that can be obtained by analyzing all the existing knowledge from the collective robots. How to extract implicit knowledge is one of the research focuses of micROS.
Collective knowledge is stored (i.e., memorized) in common-sense database, experiential-knowledge database and implicit-knowledge database (refer to the cognitive domain in Fig. 3). The three databases are organized into hierarchically structured computer memories , in which the collective knowledge is memorized and forgotten following a model similar to human memories . Before a knowledge instance κ is accessed by a robot again, the strength s κ of memorizing κ in the robot decreases following a negative exponents curve. When s κ ≤ τ f , where τ f is the threshold for forgetting the knowledge on the corresponding hierarchical memory level of κ, κ will be removed from this memory level to a lower level, which has a larger memory space but longer accessing time. In order to achieve sufficient memory space of knowledge during long-term operation, the knowledge that forgotten by the lowest memory level will be permanently removed from the robot. The hierarchical structured memory is also divided into short-term memory and long-term memory. Those short-term memories, that have been strengthened multiple times, can be promoted as long-term memories.
In order to achieve human–machine collaborated analysis and orientation, different kinds of cognition models are supported in micROS. Techniques, like data mining, will be utilized by micROS to extract collective implicit knowledge. Finally, collective cognition is accomplished by analysis and orientation on top of the three types of collective knowledge.
Autonomous decision and collective game
In order to support autonomous decision and planning for the collective robots, micROS supports cooperative and noncooperative game, where robots and even humans are treated as players.
Firstly, micROS supports extraction of the payoff functions and strategy sets of the players. micROS also provides support for building cooperative or noncooperative game models according to whether the players obey the common rules. In a noncooperative game, each player independently makes decisions according to its own objective and intention. In contrast, multiple players may form a coalition in a cooperative game. micROS guarantees information sharing within the coalition, while enforcing the binding contracts .
Then, micROS will work out the high-level strategies by solving the cooperative or noncooperative games , where various methods can be adopted, e.g., computational intelligence method  or simple search method . Afterward, micROS implements specific task and path planning according to the objective of the high-level strategy, while considering the capabilities of each robot in the team. This planning process invokes optimization methods for computing the task allocation and action sequences for individual robots [26, 27].
It should be noticed that humans are also considered to be nodes in the distributed architecture of micROS. And the autonomous decision and collective game module is designed to coordinate human and machine intelligence. So human may participate or intervene the decision process and therefore controls the gaming and decision results.
Consider a scenario where multiple robots cooperate for resource mining. A noncooperative game model can be constructed, where teams of robots may participate as players, and each team aims at maximizing the mining outcome. Human may define rules to affect the strategies made by the collective robots. Firstly, a robot team recovers the environmental information as well as the information of other teams during the collective perception and orientation processes. The information is used for defining the payoff functions and feasible strategies. Then, each team invokes the methods provided by micROS for finding the Nash equilibrium to form the high-level strategy. Finally, each team invokes optimization methods to perform path planning and task allocation for the collective robots.
Autonomous action and collective dynamics
Through cooperation and self-organization of multiple robots, coordinated movements may emerge at the collection level. Therefore, collective robots become capable of accomplishing complex tasks, which are impossible for a single robot. According to various action objectives, the environments and the robots’ capabilities, micROS may adopt different collective dynamics models, including Boid model, leader–follower model and graph-based models, while using the corresponding formation-controlling algorithms for coordinated control .
When self-organization is required without explicitly defining collective actions, micROS adopts the Boid model, which is characterized by three principles or local actions: collision avoidance, velocity matching and flock centering . Formations of consistent velocity and orientation can be achieved and maintained by local coordination based on these three principles to achieve coordinated control of the collection. In a simpler scenario, where only the velocity matching is considered, the particle model can be used for describing the collective dynamics . Besides, the models based on attract–repulse rules can be used for describing the collision avoidance and flock centering principles, where the potential field method can be used for coordinated control .
When the collective action is decided by an individual or some of the robots in the team, the micROS can adopt the leader–follower method for formation control . The leader may be one of the robots in the formation, or a virtual point such as the centroid of the team. Also, multiple leaders may switch roles during the movements.
Graph-based models can be used for quantifying complex network connection relationships in the team, such as sensing, communications and control relationship. Graph theory, especially the algebraic graph theory, can be used for investigating various properties of the robot teams to design the formation and coordinated control mechanisms. In this process, the leader–follower method and the behavior-based methods may be integrated into the framework provided by graph theory.
Morphable and adaptive mechanism
Collective robot systems live and work in a dynamic and open space, which can be projected into physical, information, cognitive and social domains simultaneously. Moreover, collective robots themselves are extremely heterogeneous and suffer from high hardware and software failure rate. Therefore, some researchers on robotics have reached a consensus that implementing a static, complete and generic robot operating system is a daunting work, if not impossible .
Self-sensing of software/hardware status
This module is able to detect dynamic, unstructured and unpredictable changes of the robots themselves, tasks and environments. Self-sensing of robot software status is based on program and resource analysis, and the target is the entire ecosystem that the software system of collective robots resides in, including libraries, middleware, services, protocols, models, drivers. Self-sensing of hardware status is achieved by adding extra introspection sensors and corresponding drivers and is able to detect changes in hardware components such as sensors, actuators and processors, as well as unexpected hardware failures.
Adaptive operation and control
The adaptive operation and control module takes the detected software and hardware status changes as input. By giving the strategies, goals and constraints, this module may evaluate the system performances after the logical or physical changes occurred in operational environment, resources and hardware devices. Then, decisions on following control operations can be made according to the given strategies, goals and constraints. This module is based on learning-based and experience-based software evolution approaches to achieve intelligent and autonomous software operation and control, including software redeployment and upgrading. Impacts on the robot system are fed back by the previous self-sensing module and used to decide control operations to take in the next step, until the controlled system reaches the target state. These modules form a closed feedback control loop for the adaptive operation and control mechanisms of micROS.
The morphable reconstruction module contains the common functionalities of adaptive software system. It embodies the adaptive control operations triggered by the previous module by performing reconfiguration and reconstruction on the robot software system accordingly. The specific approaches that micROS utilizes include high-level programming languages, formal modeling and analysis tools, automated program transformation, virtual machines supporting cross-platform execution. The operation objects of this module are the entire robot software system, including the self-sensing and adaptive control modules.
Results and discussion
micROS is an open-source project based on the Robot Operating System (ROS) project . It focuses on morphable resource management and autonomous behavior management, and provides support for collective intelligence. Related codes and resources are available online at http://micros.nudt.edu.cn.
Installed on the goalkeeper robot, Kinect sensor is utilized to capture RGB-D images in the frame rate of 30 Hz, which are used to produce color segmentation results and point clouds for localization and motion prediction of the soccer. Thus, the robot can make decisions on whether and how to intercept the soccer. The image processing algorithm is scheduled to process each frame at the rate of 30 Hz, and it must finish before next frame comes. So it is a typical real-time problem.
We present in this paper the design of micROS, a morphable, intelligent and collective robot operating system for collective and cooperative robots, including the architecture, the autonomous behavior and collective intelligence, as well as the morphable and adaptive framework. We also apply micROS on NuBot football robots and achieve two orders of magnitude improvement of real-time performance in terms of period jitter.
We present in this paper a high-level micROS design. Detailed design would be continuously polished in our long-term future work. Based on the open-source ROS project, we will be devoted to implementing a modular and common software platform for usual robot application scenarios. We will also improve micROS by applying it to more kinds of individual robots and collective robots.
XY is the originator and chief designer of micROS. HD and XY are responsible for the detailed design and implementation organization. XY, YW, SY, BZ, ZW, YZ and XP are the main contributors of the micROS research and engineering. They carried out all experiments, performed data processing and analysis and drafted the manuscript. All authors read and approved the final manuscript.
The authors are very grateful to Dr. Huimin Lu and Dr. Junhao Xiao from the College of Mechatronic and Automation in our university for their great help with applying and testing micROS on NuBot soccer robots. This work was supported by Research on Foundations of Major Applications Programs of NUDT under Grant No. ZDYYJCYJ20140601 and “Twelfth Five-Year” Plan Key Programs of NUDT under Grant No. 434513322532 and 434513322412.
The authors declare that they have no competing interests.
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
- Rifkin J. The third industrial revolution: how lateral power is transforming energy, the economy, and the world. Basingstoke: Palgrave Macmillan; 2013.Google Scholar
- Gates B. A robot in every home. Scientific American (2007).Google Scholar
- Utz H, Sablatnorg S, Enderle S, Kraetzschmar G. Miro—middleware for mobile robot applications. IEEE Trans Robot Autom. 2002;18(4):493–7.View ArticleGoogle Scholar
- Makarenko A, Brooks A. Orca: components for robotics. In: Proceedings of IROS’06, Beijing, China; 2006.Google Scholar
- Ando N, Suehiro T, Kitagaki K, Kotoku T, Yoon WK. RT-middleware: distributed component middleware for RT (Robot Technology). In: Proceedings of IROS’05, Edmonton, Alberta, Canada; 2005.Google Scholar
- Gerkey B, Vaughan R, Howard A. The player/stage project: tools for multi-robot and distributed sensor systems. In: Proceedings of ICAR’03, Coimbra, Portugal; 2003.Google Scholar
- Côté C, Brosseau Y, Létourneau D, Raïevsky C, Michaud F. Robotic software integration using MARIE. Int J Adv Rob Syst. 2006;3(1):55–60.Google Scholar
- Yoo J, Kim S, Hong S. The robot software communications architecture (RSCA): QoS-aware middleware for networked service robots. In: Proceedings of SICE-ICASE’06; 2006. p. 330–5.Google Scholar
- Bruyninckx H, Soetens P, Koninckx B. The real-time motion control core of the Orocos project. In: Proceedings of ICRA’03; 2003. p. 2766–71.Google Scholar
- Johns K, Taylor T. Professional microsoft robotics developer studio. Birmingham: Wrox Press; 2008.Google Scholar
- Quigley M, Conley K, Gerkey B, et al. ROS: an open-source robot operating system. In: Proceedings of the workshop on open source software (ICRA’09); 2009.Google Scholar
- Aircrew Labor In-cockpit Automation System (ALIAS) Proposers’ Day. 2014. www.fbo.gov/spg/ODA/DARPA/CMO/DARPA-SN-14-32/packages.html.
- Robonaut: Home. 2015. http://robonaut.jsc.nasa.gov/.
- Horling B, Lesser V. A survey of multi-agent organizational paradigms. Knowl Eng Rev. 2005;19(04):281.View ArticleGoogle Scholar
- Boyd JR. The essence of winning and losing. Retrieved from http://dnipogo.org/john-r-boyd/.
- Chaimowicz L, Campos MFM, Kumar V. Dynamic role assignment for cooperative robots. Robotics and automation, 2002. In: Proceedings. ICRA’02. IEEE international conference on. vol. 1. IEEE; 2002.Google Scholar
- Lin L, Ji X, Zheng Z. Multi-robot task allocation based on market and capability classification. Robot. 2006;28(3):337–43.Google Scholar
- Ge S, Ma D, Huai J. A role-based group awareness model. J Softw. 2001;12(6):864–71.Google Scholar
- Zhu Haibin, Zhou MengChu. Role-based collaboration and its kernel mechanisms. IEEE Trans Syst Man Cybern Part C Appl Rev. 2006;36(4):578–89.View ArticleGoogle Scholar
- Aggarwal A. et al. A model for hierarchical memory. In: Proceedings of the nineteenth annual ACM symposium on theory of computing. ACM; 1987.Google Scholar
- Yi F, Ren L. A maths model on studying and recalling. J Math Med. 1997;10(2):105–8.Google Scholar
- Serrano R. Fifty years of the Nash program, 1953–2003. Investigaciones Económicas. 2005;XXIX(2):219–58.Google Scholar
- Chalkiadakis G, Elkind E, Wooldridge M. Computational aspects of cooperative game theory. In: Synthesis lectures on artificial intelligence and machine learning, 1st ed. San Rafael: Morgan & Claypool; 2011. doi:10.2200/S00355ED1V01Y201107AIM016.MATHGoogle Scholar
- Pavlidis NG, Parsopoulos KE, Vrahatis MN. Computing Nash equilibria through computational intelligence methods. J Comput Appl Math. 2005;175(1 SPEC. ISS.):113–36.MathSciNetView ArticleMATHGoogle Scholar
- Porter R, Nudelman E, Shoham Y. Simple search methods for finding a Nash equilibrium. Games Econ Behav. 2008;63(2):642–62.MathSciNetView ArticleMATHGoogle Scholar
- Dias MB, Zlot R, Kalra N, Stentz R. Market-based multirobot coordination: a survey and analysis. Proc IEEE 2006;94(7):1257–70.View ArticleGoogle Scholar
- Jia X, Meng M. A survey and analysis of task allocation algorithms in multi-robot systems. Robot Biomime ROBIO. 2013;2013(December):2280–5.Google Scholar
- Yan Z, Jouandeau N, Cherif AA. A survey and analysis of multi-robot coordination. Int J Adv Robot Syst. 2013;10.Google Scholar
- Reynolds CW. Flocks, herds and schools: a distributed behavioral model. ACM SIGGRAPH Comput Graph. 1987;21(4):25–34.View ArticleGoogle Scholar
- Vicsek T, Czirok A, Ben-Jacob E, Cohen I, Shochet O. Novel type of phase transition in a system of self-driven particles. Phys Rev Lett. 1995;75(6):1226–9.MathSciNetView ArticleGoogle Scholar
- Song P, Kumar V. A potential field based approach to multi-robot manipulation. In: International conference on intelligent robots and systems, (May); 2002. p. 1217–22.Google Scholar
- Hu J, Hong Y. Leader-following coordination of multi-agent systems with coupling time delays. Phys A. 2007;374(2):853–63.View ArticleGoogle Scholar
- Smart W. Is a common middleware for robotics possible? In: Proceedings of the IROS 2007 workshop on measures and procedures for the evaluation of robot architectures and middleware; 2007.Google Scholar
- Kokar M, Baclawski K, Eracar YA. Control theory-based foundations of self-controlling software. IEEE Intell Syst. 1999;14(3):37–45.View ArticleGoogle Scholar
- Quigley M et al. ROS: an open-source robot operating system. In: ICRA workshop on open source software; 2009, vol. 3, no. 3.2.Google Scholar
- Xiao J, Lu H, Zeng Z et al. NuBot team description paper 2015. In: Proceedings of RoboCup 2015, CD-ROM; 2015.Google Scholar