Fault Tolerant Supervisory for Discrete Event Systems Based on Event Observer

The fault tolerant supervisory problem for discrete event systems is addressed in this paper. The proposed approach is based on the state avoidance control theory and observer-based control for Petri net. The key idea of the authors is to use a simple linear algebraic formalism to estimate system states and generate diagnostic information. Hence, the state explosion problem is avoided and the observer-based fault diagnosis algorithm can be made on-line.

[1]  Jong-Tae Lim,et al.  Fault-tolerant robust supervisor for discrete event systems with model uncertainty and its application to a workcell , 1999, IEEE Trans. Robotics Autom..

[2]  Stéphane Lafortune,et al.  Safe diagnosability of discrete event systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[3]  Alessandro Giua,et al.  Observer-based state-feedback control of timed Petri nets with deadlock recovery , 2004, IEEE Transactions on Automatic Control.

[4]  Stéphane Lafortune,et al.  Failure diagnosis using discrete-event models , 1996, IEEE Trans. Control. Syst. Technol..

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Albert Benveniste,et al.  Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..

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

[8]  Alessandro Giua,et al.  Observability of place/transition nets , 2002, IEEE Trans. Autom. Control..

[9]  Lawrence E. Holloway,et al.  A generalization of state avoidance policies for controlled Petri nets , 1996 .

[10]  J.-T. Lim,et al.  Fault-tolerant supervisory control under C, D observability and its application , 2000, Int. J. Syst. Sci..

[11]  Marie-Odile Cordier,et al.  Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks , 2002, Discret. Event Dyn. Syst..

[12]  Jong-Tae Lim,et al.  Synthesis of fault-tolerant supervisor for automated manufacturing systems: a case study on photolithographic process , 1998, IEEE Trans. Robotics Autom..