Designing intelligent control systems for safety critical applications

Harper, Chris; Winfield, Alan

Abstract

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 properties that are expressed in terms of Lyapunov stability. We propose a new computational model for implementation of these systems, which offers a reduction in complexity due to its non-symbolic structure. Reduced complexity is attractive because it allows improved depth of failure analysis, and potentially increased system reliability.

• Presentation Conference Type: Conference Paper (published)
• Conference Name: The 1st Institution of Engineering and Technology International Conference on System Safety
• Start Date: Jun 6, 2006
• End Date: Jun 8, 2006
• Publication Date: Jun 6, 2006
• Deposit Date: Jun 10, 2022
• Publisher: Institution of Engineering and Technology (IET)
• Pages: 71-80
• Book Title: The 1st Institution of Engineering and Technology International Conference on System Safety : 6-8 June 2006, Savoy Place, London, UK
• ISBN: 0-86341-646-2
• DOI: https://doi.org/10.1049/cp%3A20060205
• Keywords: failure analysis; reliability; intelligent control; control engineering computing; Lyapunov methods; safety-critical software
• Public URL: https://uwe-repository.worktribe.com/output/9621557
• Publisher URL: https://digital-library.theiet.org/content/conferences/10.1049/cp_20060205