A discussion of fault-tolerant supervisory control in terms of formal languages

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. The present paper addresses discrete-event systems and provides an overview on fault-tolerant supervisory control. The discussion is held in terms of formal languages to uniformly present approaches to passive fault-tolerance, active fault-tolerance, post-fault recovery and fault hiding.

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

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

[3]  Qin Wen.  Fault-tolerant supervisory control of discrete-event systems , 2009 .

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

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

[6]  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..

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

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

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

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

[11]  Stéphane Lafortune,et al.  Overview of fault diagnosis methods for Discrete Event Systems , 2013, Annu. Rev. Control..

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

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

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

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

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

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

[18]  Thomas Steffen,et al.  Control Reconfiguration of Dynamical Systems: Linear Approaches and Structural Tests , 2005 .

[19]  Jin Jiang,et al.  Fault-tolerant control systems: A comparative study between active and passive approaches , 2012, Annu. Rev. Control..

[20]  Éric Rutten,et al.  Automating the addition of fault tolerance with discrete controller synthesis , 2009, Formal Methods Syst. Des..

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

[22]  Christel Baier,et al.  On Topological Hierarchies of Temporal Properties , 1997, Fundamenta Informaticae.

[23]  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.

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

[25]  W. M. Wonham,et al.  Robust nonblocking supervisory control of discrete-event systems , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

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

[27]  J.-T. Lim,et al.  Robust and fault-tolerant supervisory control of discrete event systems with partial observation and model uncertainty , 1998, Int. J. Syst. Sci..

[28]  Ernest Lopez-Mellado.  5th IFAC Workshop on Dependable Control of Discrete Systems (DCDS 2015) : Cancun, Mexico 27-29 May 2015 , 2016 .

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

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

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

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

[33]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .

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

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

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

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

[38]  Bruce H. Krogh,et al.  Robustness of supervisors for discrete-event systems , 1999, IEEE Trans. Autom. Control..