Skip to main content

Research Repository

Advanced Search

A methodology for provably stable behaviour-based intelligent control

Harper, Christopher J.; Winfield, Alan F.T.

Authors

Christopher J. Harper



Abstract

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. © 2005 Elsevier B.V. All rights reserved.

Citation

Harper, C. J., & Winfield, A. F. (2006). A methodology for provably stable behaviour-based intelligent control. Robotics and Autonomous Systems, 54(1), 52-73. https://doi.org/10.1016/j.robot.2005.09.014

Journal Article Type Article
Publication Date Jan 31, 2006
Journal Robotics and Autonomous Systems
Print ISSN 0921-8890
Publisher Elsevier
Peer Reviewed Peer Reviewed
Volume 54
Issue 1
Pages 52-73
DOI https://doi.org/10.1016/j.robot.2005.09.014
Keywords intelligent control, behaviour-based control, subsumption architecture, lyapunov stability, safety critical systems
Public URL https://uwe-repository.worktribe.com/output/1044041
Publisher URL http:\\dx.doi.org\10.1016/j.robot.2005.09.014

Files







You might also like



Downloadable Citations