Fault-Tolerant Supervisory Control

Abstract: A system is fault tolerant if it remains functional after the occurrence of a fault. Given a plant subject to a fault, fault-tolerant control requires the controller to form a fault tolerant closed-loop system. For the systematic design of a fault-tolerant controller, typical input data consists of the plant dynamics including the effect of the faults under consideration and a formal performance requirement with a possible allowance for degraded performance after the fault. For its obvious practical relevance, the synthesis of fault-tolerant controllers has received extensive attention in the literature, however, with a particular focus on continuous-variable systems. This paper provides an overview on the synthesis of fault-tolerant controllers within the framework of supervisory control to address discrete-event systems that are adequately represented by regular languages.

[1]  Jing Huang,et al.  Framework for Optimal Fault-Tolerant Control Synthesis: Maximize Prefault While Minimize Post-Fault Behaviors , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[2]  Stéphane Lafortune,et al.  On the computation of supremal sublanguages relevant to supervisory control , 2012, WODES.

[3]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[4]  Klaus Werner Schmidt,et al.  Fault-Tolerant Control of Discrete-Event Systems with Lower-Bound Specifications , 2015 .

[5]  J. G. Thistle,et al.  Effective Control Synthesis for Partially Observed Discrete-Event Systems , 2009, SIAM J. Control. Optim..

[6]  W. M. Wonham,et al.  Supervision of Infinite Behavior of Discrete-Event Systems , 1994 .

[7]  Stéphane Lafortune,et al.  Active fault tolerant control of discrete event systems using online diagnostics , 2011, Autom..

[8]  Vijay K. Garg,et al.  On supervisory control of sequential behaviors , 1992 .

[9]  Klaus Werner Schmidt,et al.  Computation of Supervisors for Fault-Recovery and Repair for Discrete Event Systems , 2014, WODES.

[10]  M. Heymann,et al.  Language convergence in controlled discrete-event systems , 1995, IEEE Trans. Autom. Control..

[11]  Jan Lunze,et al.  Online control reconfiguration for a faulty manufacturing process , 2011, 2011 3rd International Workshop on Dependable Control of Discrete Systems.

[12]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[13]  Stéphane Lafortune,et al.  Safe diagnosability for fault-tolerant supervision of discrete-event systems , 2005, Autom..

[14]  R. Kumar,et al.  Synthesis of optimal fault-tolerant supervisor for discrete event systems , 2008, 2008 American Control Conference.

[15]  Thomas Moor,et al.  Fault-Tolerant Control of Discrete Event Systems based on Fault-Accommodating Models , 2012 .

[16]  Jan Lunze,et al.  A fault modeling approach for Input/Output Automata , 2011 .

[17]  Klaus Werner Schmidt,et al.  Computation of Fault-Tolerant Supervisors for Discrete Event Systems* , 2013 .

[18]  Jan H. Richter,et al.  Reconfigurable Control of Nonlinear Dynamical Systems , 2011 .

[19]  Jing Huang,et al.  A Framework for Fault-Tolerant Control of Discrete Event Systems , 2008, IEEE Transactions on Automatic Control.

[20]  Prof. Tinghuai Chen,et al.  Fault Diagnosis and Fault Tolerance , 1992, Springer Berlin Heidelberg.

[21]  Stéphane Lafortune,et al.  A General Approach for Synthesis of Supervisors for Partially-Observed Discrete-Event Systems , 2014 .

[22]  Klaus Werner Schmidt,et al.  A framework for state attraction of discrete event systems under partial observation , 2014, Inf. Sci..

[23]  P. Ramadge.  Some tractable supervisory control problems for discrete-event systems modeled by Buchi automata , 1989 .

[24]  Matteo Sartini,et al.  A fault tolerant architecture for supervisory control of discrete event systems , 2008 .

[25]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[26]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2004, IEEE Transactions on Automatic Control.

[27]  Raja Sengupta,et al.  Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[28]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[29]  R. D. Brandt,et al.  Formulas for calculating supremal controllable and normal sublanguages , 1990 .

[30]  S. Marcus,et al.  Language stability and stabilizability of discrete event dynamical systems , 1993 .

[31]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[32]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[33]  K.R. Rohloff.  Sensor Failure Tolerant Supervisory Control , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[34]  Jan H. Richter,et al.  Fault-Hiding Control Reconfiguration for a Class of Discrete Event Systems , 2013 .