IMPORTANT NOTICE: We are putting the finishing touches to this new version of the repository; please bear with us! If you have any questions, please contact eprints.lincoln.ac.uk.

A fault tolerant architecture for supervisory control of discrete event systems

Paoli, A. and Sartini, M. and Lafortune, S. (2008) A fault tolerant architecture for supervisory control of discrete event systems. In: 17th World Congress, International Federation of Automatic Control, IFAC, 6 - 11 July 2008, Seoul, Korea.

Full text not available from this repository.

Item Type:Conference or Workshop contribution (Paper)
Item Status:Live Archive

Abstract

In this paper the problem of Fault Tolerant Control (FTC) in the framework of Discrete Event Systems (DES) modeled as automata is considered. The approach we follow is the so-called active approach in which the supervisor actively reacts to the detection of a malfunctioning component in order to eventually meet degraded control specifications. Starting from an appropriate model of the system, we recall the notion of safe diagnosability as a necessary step in order to achieve fault tolerant supervision of DES. We then introduce two new notions: (i) 'safe controllability' , which represents the capability, after the occurrence of a fault, of steering the system away from forbidden zones and (ii) 'active fault tolerant system' , which is the property of safely continuing operation after faults. We show how it is possible to define a general control architecture to deal with the FTC problem by introducing a special kind of automaton, called a 'diagnosing-controller'. Copyright © 2007 International Federation of Automatic Control All Rights Reserved.

Additional Information:Conference Code:79403
Keywords:Active fault, Appropriate models, Automata, Petri Nets and other tools, Control architecture, Control specifications, Diagnosability, Discrete event systems, Discrete event systems modeling and control, Fault detection and diagnosis, Fault tolerant control, Fault-tolerant, Supervisory control, Automata theory, Fault detection, Graph theory, Petri nets, Robots, Translation (languages), Fault tolerant computer systems, bmjdoi
Subjects:H Engineering > H661 Instrumentation Control
Divisions:College of Science > School of Engineering
ID Code:16235
Deposited On:11 May 2015 15:43

Repository Staff Only: item control page