Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph

Most of the mobile robot control frameworks are based on a middleware layer with several independent modules that implement primitive actions and report events about their state. These modules are usually connected with different interprocess communication mechanisms. Here, we propose to use hierarchical interpreted binary Petri nets to coordinate the activity of these modules. Tasks are described using an interpreted Petri net editor and saved in a xml file. A dispatcher loads these files and executes the different Petri nets under user requests. A monitor that shows the state of all the running nets is very useful for debugging and tracing purposes. The whole system has been applied to a guide robot (vixiabot) that has been guiding users in a public event (XuventudeGalicia.net) for three days in April 2007 and is now extended to a multirobot surveillance application.

[1]  Sebastian Thrun,et al.  Perspectives on standardization in mobile robot programming: the Carnegie Mellon Navigation (CARMEN) Toolkit , 2003, Proceedings 2003 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2003) (Cat. No.03CH37453).

[2]  Massimo Caccia,et al.  Execution control of robotic tasks : a Petri net-based approach , 2005 .

[3]  Erann Gat,et al.  Experiences with an architecture for intelligent, reactive agents , 1997, J. Exp. Theor. Artif. Intell..

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

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

[6]  E. Paz,et al.  Communication framework for sensor-actuator data in mobile robots , 2007, 2007 IEEE International Symposium on Industrial Electronics.

[7]  E. Gat.  On Three-Layer Architectures , 1997 .

[8]  Tamim Asfour,et al.  Coordinated Task Execution for Humanoid Robots , 2004, ISER.

[9]  A. Lehmann.  PETRI NETS FOR TASK SUPERVISION IN HUMANOID ROBOTS , 2005 .

[10]  Joaquín Lopez Fernández,et al.  Improving collision avoidance for mobile robots in partially known environments: the beam curvature method , 2004, Robotics Auton. Syst..

[11]  Stefano Caselli,et al.  YARA: A Software Framework Enhancing Service Robot Dependability , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[12]  Lynne Blair,et al.  Testing Petri Nets for Mobile Robots Using Groebner Bases , 2000 .

[13]  Tara Estlin,et al.  The CLARAty architecture for robotic autonomy , 2001, 2001 IEEE Aerospace Conference Proceedings (Cat. No.01TH8542).

[14]  Pedro U. Lima,et al.  Petri net models of robotic tasks , 2002, Proceedings 2002 IEEE International Conference on Robotics and Automation (Cat. No.02CH37292).

[15]  A. R. Diéguez,et al.  A global motion planner that learns from experience for autonomous mobile robots , 2007 .

[16]  Ray G. Gosine,et al.  Coordinated execution of tasks in a multiagent environment , 2003, IEEE Trans. Syst. Man Cybern. Part A.

[17]  Jana Flochova.  A Petri net based supervisory control implementation , 2003, SMC'03 Conference Proceedings. 2003 IEEE International Conference on Systems, Man and Cybernetics. Conference Theme - System Security and Assurance (Cat. No.03CH37483).

[18]  Karen Zita Haigh,et al.  A layered architecture for office delivery robots , 1997, AGENTS '97.

[19]  MengChu Zhou,et al.  Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach , 1999, Series in Intelligent Control and Intelligent Automation.

[20]  Chong-Won Lee,et al.  Control Architecture Design and Integration of the Autonomous Service Robot PSR , 2002 .

[21]  Fei-Yue Wang,et al.  A Petri-net coordination model for an intelligent mobile robot , 1991, IEEE Trans. Syst. Man Cybern..

[22]  Toshimitsu Ushio,et al.  Motion planning for humanoid robots using timed Petri net and modular state net , 2002, IEEE International Conference on Systems, Man and Cybernetics.