Specification and validation of a control architecture for autonomous mobile robots

We describe the specification of a software control architecture for autonomous mobile robots. The architecture, designed to provide the robot (in a task-dependent context) with the capacity to react to events but also to intelligently anticipate the future and plan its actions, is based on the decomposition of the robot system into a functional and a decisional level. The article is mainly focused on some aspects of the organisation and of the operation of the system such as execution control, inter-levels communication, reactivity. An important aspect that is developed is the possibility to prove some temporal and logical properties of parts of the system.

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

[2]  M.P. Georgeff,et al.  Procedural knowledge , 1986, Proceedings of the IEEE.

[3]  Rachid Alami,et al.  Embedded Control of Autonomous Robots using Procedural Reasoning , 1995 .

[4]  Malik Ghallab,et al.  A compiler for real-time knowledge-base systems , 1988, Proceedings of the International Workshop on Artificial Intelligence for Industrial Applications.

[5]  Jorg-Michael Hasemann,et al.  Robot control architectures: application requirements, approaches, and technologies , 1995, Other Conferences.

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Ramiro Liscano,et al.  A system architecture for a mobile robot based on activities and a blackboard control unit , 1993, [1993] Proceedings IEEE International Conference on Robotics and Automation.

[8]  Raja Chatila,et al.  Deliberation and reactivity in autonomous mobile robots , 1995, Robotics Auton. Syst..

[9]  Matthieu Herrb,et al.  Design of a modular architecture for autonomous robot , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[10]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[11]  Thierry Siméon,et al.  Autonomous navigation in outdoor environment: adaptive approach and experiment , 1994, Proceedings of the 1994 IEEE International Conference on Robotics and Automation.

[12]  Ernest L. Hall,et al.  Intelligent Robots and Computer Vision VI , 1987 .

[13]  Reid G. Simmons,et al.  Structured control for autonomous robots , 1994, IEEE Trans. Robotics Autom..

[14]  R. Chatila,et al.  Integrated planning and execution control of autonomous robot actions , 1992, Proceedings 1992 IEEE International Conference on Robotics and Automation.