A methodology for provably stable behaviour-based intelligent control

This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basis for subsumption architecture design based on two extensions to Lyapunov stability theory, the Second Order Stability Theorems, and interpretations of system safety and liveness in Lyapunov stability terms. The subsumption of the new theorems by the classical stability theorems serves as a model of dynamical subsumption, forming the basis of the design methodology. Behaviour-based control also offers the potential for using simple computational mechanisms, which will simplify the safety assurance process.

[1]  Rolf Pfeifer,et al.  Understanding intelligence , 2020, Inequality by Design.

[2]  Neil R. Storey,et al.  Safety-critical computer systems , 1996 .

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

[4]  David W. Payton,et al.  Do whatever works: A robust approach to fault-tolerant autonomous control , 2004, Applied Intelligence.

[5]  Stanley J. Rosenschein,et al.  A dynamical systems perspective on agent-environment interaction , 1996 .

[6]  William Rowan,et al.  The Study of Instinct , 1953 .

[7]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[8]  Felicity A. Huntingford,et al.  The Study of Animal Behaviour , 1939, Nature.

[9]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search , 1976, CACM.

[10]  Y. Jin,et al.  Stable neural network control for manipulators , 1993, Proceedings of 1993 International Conference on Neural Networks (IJCNN-93-Nagoya, Japan).

[11]  H A Hazen,et al.  THE MECHANICS OF FLIGHT. , 1893, Science.

[12]  Allen Newell,et al.  Computer science as empirical inquiry: symbols and search (1976) , 1989 .

[13]  Jonathan P. Bowen,et al.  System and Software Safety in Critical Systems , 1996 .

[14]  Bernard Etkin,et al.  Dynamics of Atmospheric Flight , 1972 .

[15]  Pattie Maes,et al.  Situated agents can have goals , 1990, Robotics Auton. Syst..

[16]  Hector J. Levesque,et al.  Indexical Knowledge and Robot Action - A Logical Account , 1995, Artif. Intell..

[17]  Randall D. Beer,et al.  A qualitative dynamical analysis of evolved locomotion controllers , 1993 .

[18]  Ronald C. Arkin,et al.  Motor schema based navigation for a mobile robot: An approach to programming by behavior , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[19]  Kian Hsiang Low,et al.  A hybrid mobile robot architecture with integrated planning and control , 2002, AAMAS '02.

[20]  E. P..  Animal Behaviour , 1901, Nature.

[21]  Maja J. Mataric,et al.  Environment learning using a distributed representation , 1990, Proceedings., IEEE International Conference on Robotics and Automation.

[22]  Eyal Amir,et al.  LiSA : A Robot Driven by Logical Subsumption , 2001 .

[23]  Axel Steinhage,et al.  Dynamical Systems for the Generation of Navigation Behavior , 1997 .

[24]  Anthony G. Pipe,et al.  Table online neural control of systems with closed kinematic chains , 2000 .

[25]  Jon Rigelsford,et al.  Behaviour‐based Robotics , 2001 .

[26]  H. Evans.  The Study of Instinct , 1952 .

[27]  R. Beer,et al.  Intelligence as Adaptive Behavior: An Experiment in Computational Neuroethology , 1990 .

[28]  Tariq Samad,et al.  Software-Enabled Control: Information Technology for Dynamical Systems [Book Review] , 2003, IEEE Transactions on Automatic Control.

[29]  Albert Esterline,et al.  Using the π-calculus to model multiagent systems , 2001 .

[30]  A. M. Lyapunov.  The general problem of the stability of motion , 1992 .

[31]  D. McFarland,et al.  Intelligent behavior in animals and robots , 1993 .

[32]  Jonathan H. Connell,et al.  A colony architecture for an artificial creature , 1989 .

[33]  Thomas Bergener,et al.  Dynamical systems for the behavioral organization of an anthropomorphic mobile robot , 1998 .

[34]  David W. Payton,et al.  Internalized plans: A representation for action resources , 1990, Robotics Auton. Syst..

[35]  Weiping Li,et al.  Applied Nonlinear Control , 1991 .

[36]  João Sequeira,et al.  A Behaviour-Based Kernel Architecture for Robot Control⋆ , 1997 .