A hierarchical, modal approach to hybrid systems control of autonomous robots

We propose a hierarchical structure for control of autonomous robots. We draw on ideas from the hybrid systems theory, which describe systems governed by a discrete set of continuous modes of operation and transitions between these modes. We aim to enable rapid development of test applications and to allow easy performance upgrades. Our structure is based on the creation of agents to process inputs and outputs at the highest level of abstraction in the system (the application domain). We describe our implementation of this structure in two systems: a nonholonomic car-like robot and a quadrupedal entertainment robot. Both examples demonstrate how abstraction of planning away from the implementation details of the robot enables rapid development.

[1]  Vijay Kumar,et al.  Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.

[2]  George J. Pappas,et al.  Hybrid control in air traffic management systems , 1995, Proceedings of 1995 34th IEEE Conference on Decision and Control.

[3]  Y. Bar-Shalom.  Tracking and data association , 1988 .

[4]  Paul I. Barton,et al.  Modeling of combined discrete/continuous processes , 1994 .

[5]  P. E. Wellstead,et al.  Analysis and redesign of an antilock brake system controller , 1997 .

[6]  V. Borkar,et al.  A unified framework for hybrid control , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.

[7]  Vijay Kumar,et al.  Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination , 1999, World Congress on Formal Methods.

[8]  Shree K. Nayar,et al.  Catadioptric omnidirectional camera , 1997, Proceedings of IEEE Computer Society Conference on Computer Vision and Pattern Recognition.

[9]  John Lygeros,et al.  Longitudinal control of the lead car of a platoon , 1994, Proceedings of 1994 American Control Conference - ACC '94.