A fault tolerant architecture for supervisory control of discrete event systems

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 17, Issue 1 PART 1, 2008, Pages

  Paoli, Andrea ^a   Sartini, Matteo ^a   Lafortune, Stephane ^a  

^a NONE

Author keywords

Automata, Petri Nets and other tools; Discrete event systems modeling and control; Fault detection and diagnosis

Indexed 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;

EID: 79961019128     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20080706-5-KR-1001.1774     Document Type: Conference Paper

References (15)

1. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki. Diagnosis and fault-tolerant control. Springer-Verlag, 2003.
2. R. Boel and J. van Schuppen. Decentralized failure diagnosis for discrete-event systems with constrained communication between diagnosers. Proceedings of the 6th International Workshop on Discrete Event Systems, 2002.
3. C.G. Cassandras and S. Lafortune. Introduction to Discrete Event Systems - Second Edition. Springer, 2007.
4. H. Cho and S. I. Marcus. On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation. Math Control, Signals Systems, 2(1):47-69, 1989.
5. E. Dumitrescu, A. Girault, H. Marchand, and E. Rutten. Optimal discrete controller synthesis for modeling fault-tolerant distributed systems. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, 2007.
6. N. Ben Hadj-Alouane, S. Lafortune, and F. Lin. Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation. Discrete Event Dynamic Systems: Theory and Applications, 6(4):379-427, 1996.
7. C. Hadjicostis. Probabilistic fault detection in finite-state machines based on state occupancy measurements. IEEE Transactions on Automatic Control, 50(12):2078-2083, 2005.
8. K. Inan. Nondeterministic supervison under partial observation. 11th International Conference on Analysis and Optimization of Systems: Discrete Event Systems, 1994.
9. M. V. Iordache and P. J. Antsaklis. Resilience to failure and reconfigurations in the supervision based on place invariants. Proceedings of the 2004 American Control Conference, 2004.
10. S. Jiang and R. Kumar. Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. IEEE Transactions on Automation Science and Engineering, 3(1):47-59, 2006. (Pubitemid 46404971)
11. A. Paoli and S. Lafortune. Safe diagnosability for fault tolerant supervision of discrete event systems. Automatica, 41(8):1335-1347, 2005. (Pubitemid 40774089)
12. M. Sampath, R. Sangupta, and S. Lafortune. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575, 1995.
13. Q. Wen, R. Kumar, J. Huang, and H. Liu. Weakly fault-tolerant supervisory control of discrete event systems. Proceedings of the 2007 American Control Conference, 2007a.
14. Q. Wen, R. Kumar, J. Huang, and H. Liu. Fault-tolerant supervisory control of discrete event systems: formalisation and existence results. Proceedings of the 1st IFAC Workshop on Dependable Control of Discrete Systems, 2007b.
15. T.-S. Yoo and S. Lafortune. Solvability of centralized supervisory control under partial observation. Discrete Event Dynamic Systems: Theory and Applications, 16(4):527-553, 2006. (Pubitemid 44601460)