Skip to main content

Research Repository

Advanced Search

All Outputs (3)

Towards the application of swarm intelligence in safety critical systems (2006)
Conference Proceeding
Harper, C., Winfield, A., & Nembrini, J. (2006). Towards the application of swarm intelligence in safety critical systems. In The 1st Institution of Engineering and Technology International Conference on System Safety : 6-8 June 2006, Savoy Place, London, UK (89-95)

Swarm Intelligence provides us with a powerful new paradigm for building fully distributed de-centralised systems in which overall system functionality emerges from the interaction of individual agents with each other and with their environment. Such... Read More about Towards the application of swarm intelligence in safety critical systems.

Designing intelligent control systems for safety critical applications (2006)
Conference Proceeding
Harper, C., & Winfield, A. (2006). Designing intelligent control systems for safety critical applications. In The 1st Institution of Engineering and Technology International Conference on System Safety : 6-8 June 2006, Savoy Place, London, UK (71-80). https://doi.org/10.1049/cp%3A20060205

This paper presents a design methodology for behaviour-based intelligent control systems, which we argue is suited to safety critical applications. The methodology has a formal basis, and uses dynamical systems theory to prove system safety propertie... Read More about Designing intelligent control systems for safety critical applications.

A methodology for provably stable behaviour-based intelligent control (2006)
Journal Article
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

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 Lyapun... Read More about A methodology for provably stable behaviour-based intelligent control.