Alan Winfield's Outputs (3)

Towards the application of swarm intelligence in safety critical systems (2006)
Presentation / Conference Contribution

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)
Presentation / Conference Contribution

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

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.