Artificial Intelligence and Systems Theory: Applied to Cooperative Robots

This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence. The research has been developed under the SocRob project, carried out by the Intelligent Systems Laboratory at the Institute for Systems and Robotics - Instituto Superior Tecnico (ISR/IST) in Lisbon. The acronym of the project stands both for "Society of Robots" and "Soccer Robots", the case study where we are testing our population of robots. Designing soccer robots is a very challenging problem, where the robots must act not only to shoot a ball towards the goal, but also to detect and avoid static (walls, stopped robots) and dynamic (moving robots) obstacles. Furthermore, they must cooperate to defeat an opposing team. Our past and current research in soccer robotics includes cooperative sensor fusion for world modeling, object recognition and tracking, robot navigation, multi-robot distributed task planning and coordination, including cooperative reinforcement learning in cooperative and adversarial environments, and behavior-based architectures for real time task execution of cooperating robot teams

Petri Net Plans A framework for collaboration and coordination in multi-robot systems

Programming the behavior of multi-robot systems is a challenging task which has a key role in developing effective systems in many application domains. In this paper, we present Petri Net Plans (PNPs), a language based on Petri Nets (PNs), which allows for intuitive and effective robot and multi-robot behavior design. PNPs are very expressive and support a rich set of features that are critical to develop robotic applications, including sensing, interrupts and concurrency. As a central feature, PNPs allow for a formal analysis of plans based on standard PN tools. Moreover, PNPs are suitable for modeling multi-robot systems and the developed behaviors can be executed in a distributed setting, while preserving the properties of the modeled system. PNPs have been deployed in several robotic platforms in different application domains. In this paper, we report three case studies, which address complex single robot plans, coordination and collaboration

Second Workshop on Modelling of Objects, Components and Agents

This report contains the proceedings of the workshop Modelling of Objects, Components, and Agents (MOCA'02), August 26-27, 2002.The workshop is organized by the 'Coloured Petri Net' Group at the University of Aarhus, Denmark and the 'Theoretical Foundations of Computer Science' Group at the University of Hamburg, Germany. The homepage of the workshop is: http://www.daimi.au.dk/CPnets/workshop02

06251 Abstracts Collection -- Multi-Robot Systems: Perception, Behaviors, Learning, and Action

From 19.06.06 to 23.06.06, the Dagstuhl Seminar 06251 ``Multi-Robot Systems: Perception, Behaviors, Learning, and Action\u27\u27 was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

Architecting centralized coordination of soccer robots based on principle solution

This is an Accepted Manuscript of an article published by Taylor & Francis in Advanced Robotics on 2015, available online:http://www.tandfonline.com/10.1080/01691864.2015.1017534Coordination strategy is a relevant topic in multi-robot systems, and robot soccer offers a suitable domain to conduct research in multi-robot coordination. Team strategy collects and uses environmental information to derive optimal team reactions, through cooperation among individual soccer robots. This paper presents a diagrammatic approach to architecting the coordination strategy of robot soccer teams by means of a principle solution. The proposed model focuses on robot soccer leagues that possess a central decision-making system, involving the dynamic selection of the roles and behaviors of the robot soccer players. The work sets out from the conceptual design phase, facilitating cross-domain development efforts, where different layers must be interconnected and coordinated to perform multiple tasks. The principle solution allows for intuitive design and the modeling of team strategies in a highly complex robot soccer environment with changing game conditions. Furthermore, such an approach enables systematic realization of collaborative behaviors among the teammates.This work was partially supported by the Spanish Ministry of Economy and Competitiveness (MINECO) under the CICYT project Mission Based Control (COBAMI): DPI2011-28507-C02-01/02. Jose G. Guarnizo was supported by a scholarship from the Administrative Department of Science, Technology and Innovation COLCIENCIAS, Colombia.Guarnizo Marín, JG.; Mellado Arteche, M.; Low, CY.; Blanes Noguera, F. (2015). Architecting centralized coordination of soccer robots based on principle solution. Advanced Robotics. 29(15):989-1004. https://doi.org/10.1080/01691864.2015.1017534S98910042915Farinelli, A., Iocchi, L., & Nardi, D. (2004). Multirobot Systems: A Classification Focused on Coordination. IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), 34(5), 2015-2028. doi:10.1109/tsmcb.2004.832155Tews, A., & Wyeth, G. (2000). MAPS: a system for multi-agent coordination. Advanced Robotics, 14(1), 37-50. doi:10.1163/156855300741429Stulp, F., Utz, H., Isik, M., & Mayer, G. (2010). Implicit Coordination with Shared Belief: A Heterogeneous Robot Soccer Team Case Study. Advanced Robotics, 24(7), 1017-1036. doi:10.1163/016918610x496964Guarnizo, J. G., Mellado, M., Low, C. Y., & Aziz, N. (2013). Strategy Model for Multi-Robot Coordination in Robotic Soccer. Applied Mechanics and Materials, 393, 592-597. doi:10.4028/www.scientific.net/amm.393.592Riley, P., & Veloso, M. (2002). Recognizing Probabilistic Opponent Movement Models. Lecture Notes in Computer Science, 453-458. doi:10.1007/3-540-45603-1_59Ros, R., Arcos, J. L., Lopez de Mantaras, R., & Veloso, M. (2009). A case-based approach for coordinated action selection in robot soccer. Artificial Intelligence, 173(9-10), 1014-1039. doi:10.1016/j.artint.2009.02.004Atkinson, J., & Rojas, D. (2009). On-the-fly generation of multi-robot team formation strategies based on game conditions. Expert Systems with Applications, 36(3), 6082-6090. doi:10.1016/j.eswa.2008.07.039Costelha, H., & Lima, P. (2012). Robot task plan representation by Petri nets: modelling, identification, analysis and execution. Autonomous Robots, 33(4), 337-360. doi:10.1007/s10514-012-9288-xAbreu, P. H., Silva, D. C., Almeida, F., & Mendes-Moreira, J. (2014). Improving a simulated soccer team’s performance through a Memory-Based Collaborative Filtering approach. Applied Soft Computing, 23, 180-193. doi:10.1016/j.asoc.2014.06.021Duan, Y., Liu, Q., & Xu, X. (2007). Application of reinforcement learning in robot soccer. Engineering Applications of Artificial Intelligence, 20(7), 936-950. doi:10.1016/j.engappai.2007.01.003Hwang, K.-S., Jiang, W.-C., Yu, H.-H., & Li, S.-Y. (2011). Cooperative Reinforcement Learning Based on Zero-Sum Games. Mobile Robots - Control Architectures, Bio-Interfacing, Navigation, Multi Robot Motion Planning and Operator Training. doi:10.5772/26620Gausemeier, J., Dumitrescu, R., Kahl, S., & Nordsiek, D. (2011). Integrative development of product and production system for mechatronic products. Robotics and Computer-Integrated Manufacturing, 27(4), 772-778. doi:10.1016/j.rcim.2011.02.005Klančar, G., Zupančič, B., & Karba, R. (2007). Modelling and simulation of a group of mobile robots. Simulation Modelling Practice and Theory, 15(6), 647-658. doi:10.1016/j.simpat.2007.02.002Gausemeier, J., Frank, U., Donoth, J., & Kahl, S. (2009). Specification technique for the description of self-optimizing mechatronic systems. Research in Engineering Design, 20(4), 201-223. doi:10.1007/s00163-008-0058-

Workflow-Net Based Cooperative Multi-Agent Systems

Workflow-nets are mathematical frameworks that are used to formally describe, model and implement workflows. First, we propose critical section workflow nets (abbreviated WFCSnet). This framework allows feedbacks in workflow systems while ensuring the soundness of the workflow. Feedback is generally not recommended in workflow systems as they threaten the soundness of the system. The proposed WFCSnet allows safe feedback and limits the maximum number of activities per workflow as required. A theorem for soundness of WFCSnet is presented. Serializability, Separability, Quasi-liveness and CS-Properties of WFCSnet are examined and some theorems and lemmas are proposed to mathematically formalize them. In this thesis, we define some formal constructs that we then build upon. We define the smallest formal sub-workflow that we call a unit. We propose some mathematical characteristics for the unit and show how it can be used. We study similarities between units and whether two units can be used interchangeably or not. We then use composites out of simple units to build more complex constructs and we study their properties. We define the concept of cooperation and propose a mathematical definition of the concept. We discuss the concept of task coverage and how it affects cooperation. We claim that task coverage is necessary for any task to be achieved and therefore, a necessity for cooperation. We use mathematical methods to determine the task coverage and the candidate cooperative partners based on their capabilities that can contribute to the desired task. Workflow-net based cooperative behaviour among agents is proposed. First, we propose a cooperative algebra, which takes the desired objective of cooperation as a plan and then transforms this plan into a workflow-net structure describing dependencies and concurrency among sub-workflow elements constituting the overall plan. Our proposed cooperative algebra converts the plan into a set of matrices that model the cooperative workflow among agents. We then propose a cooperative framework with operators that assign tasks to agents based on their capabilities to achieve the required task

Impact of decision-making system in social navigation

[EN] Facing human activity-aware navigation with a cognitive architecture raises several difficulties integrating the components and orchestrating behaviors and skills to perform social tasks. In a real-world scenario, the navigation system should not only consider individuals like obstacles. It is necessary to offer particular and dynamic people representation to enhance the HRI experience. The robot’s behaviors must be modified by humans, directly or indirectly. In this paper, we integrate our human representation framework in a cognitive architecture to allow that people who interact with the robot could modify its behavior, not only with the interaction but also with their culture or the social context. The human representation framework represents and distributes the proxemic zones’ information in a standard way, through a cost map. We have evaluated the influence of the decision-making system in human-aware navigation and how a local planner may be decisive in this navigation. The material developed during this research can be found in a public repository (https://github.com/IntelligentRoboticsLabs/social_navigation2_WAF) and instructions to facilitate the reproducibility of the results.S