Coordinated execution of tasks in a multiagent environment

This correspondence describes the application of discrete event control methods to provide conflict-free plan execution in a multiagent environment. This work uses planning methods to generate plans for multiple robots, and the plans are then compiled into Petri nets for analysis, execution, and monitoring. Supervisory control techniques are applied to the Petri net controller for the purpose of dealing with conflicts that arise due to the presence of shared resources. Furthermore, by preserving the state of the system replanning can occur at any time during execution to deal with unforeseen events.

[1]  Lynne E. Parker,et al.  ALLIANCE: an architecture for fault tolerant multirobot cooperation , 1998, IEEE Trans. Robotics Autom..

[2]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[3]  Richard Fikes,et al.  STRIPS: A New Approach to the Application of Theorem Proving to Problem Solving , 1971, IJCAI.

[4]  Arthur C. Sanderson,et al.  Task decomposition and analysis of robotic assembly task plans using Petri nets , 1994, IEEE Trans. Ind. Electron..

[5]  Rachid Alami,et al.  Multi-robot cooperation in the MARTHA project , 1998, IEEE Robotics Autom. Mag..

[6]  Mark A. Peot,et al.  Threat-Removal Strategies for Partial-Order Planning , 1993, AAAI.

[7]  Pedro U. Lima,et al.  Petri nets for modeling and coordination of robotic tasks , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[8]  Brenan J. McCarragher.  Petri net modelling for robotic assembly and trajectory planning , 1994, IEEE Trans. Ind. Electron..

[9]  Monika Heiner,et al.  A Petri Net Semantics for the PLC Language Instruction List , 1998 .

[10]  Barry Brumitt,et al.  GRAMMPS: a generalized mission planner for multiple mobile robots in unstructured environments , 1998, Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146).

[11]  MengChu Zhou,et al.  Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approach , 1998 .

[12]  Panos J. Antsaklis,et al.  Supervisory Control of Discrete Event Systems Using Petri Nets , 1998, The International Series on Discrete Event Dynamic Systems.

[13]  Maja J. Mataric,et al.  Behaviour-based control: examples from navigation, learning, and group behaviour , 1997, J. Exp. Theor. Artif. Intell..

[14]  Luis Montano,et al.  Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications , 2000, Int. J. Robotics Res..

[15]  Rodney A. Brooks,et al.  A Robust Layered Control Syste For A Mobile Robot , 2022 .