Christopher J. Harper
A methodology for provably stable behaviour-based intelligent control
Harper, Christopher J.; Winfield, Alan F.T.
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
HarWin_RAS2006_FinalRevision.pdf
(564 Kb)
PDF
You might also like
A two teraflop swarm
(2018)
Journal Article
Experiments in artificial theory of mind: From safety to story-telling
(2018)
Journal Article
Feature and performance comparison of the V-REP, Gazebo and ARGoS robot simulators
(2018)
Journal Article
Mapping Intelligence: Requirements and Possibilities
(2018)
Book Chapter
Negative updating combined with opinion pooling in the best-of-n problem in swarm robotics
(2018)
Journal Article