Centralized modular diagnosis and the phenomenon of coupling

Discrete Event Dynamic Systems: Theory and Applications

Volumn 16, Issue 3, 2006, Pages 311-326

  Garcia Moreno E ^a   Correcher Salvador, A ^a   Morant Anglada, F ^a   Quiles Cucarella, E ^a   Blasco Gimenez R ^a  

^a UNIVERSITAT POLITÈCNICA DE VALÈNCIA   (Spain)

Author keywords

Coupling; Discrete event systems; Failure diagnosis; Modular diagnosers

Indexed keywords

COUPLINGS; DECOMPOSITION; DISCRETE TIME CONTROL SYSTEMS; FAILURE ANALYSIS; FUNCTIONS; PROGRAM DIAGNOSTICS;

DISCRETE EVENT SYSTEMS; FAILURE DIAGNOSIS; MODULAR DIAGNOSERS;

COMPUTER SYSTEM RECOVERY;

EID: 33747191784     PISSN: 09246703     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10626-006-9325-z     Document Type: Article

References (14)

1. Arnold A (1989). MEC: A system for constructing and analyzing transition systems. In J. Sifakis (ed), Automatic Verification of Finite State Systems - Lecture Notes in Computer Science, Volume 407. Berlin Heidelberg New York: Springer, pp. 117-132.
2. Baroni P, Lamperti G, Pogliano P, Zanella M (2000). Diagnosis of a class of distributed discrete-event systems. IEEE Trans. on Systems, Man, and Cybernetics - Part A, 30(6):731-752.
3. García E (2000). Descomposición modular de diagnosticadores de fallos basados en modelos de eventos discretes. Tesis doctoral. Valencia.
4. García E, Morant F (1999). Modular failure diagnosis based on discrete event systems for a mixer chemical process. XIX Factory Automation, Barcelona, pp. 205-210.
5. Hopcroft JE, Ullman JD, (1979). Introduction to Automata Theory, Languages and Computation. Reading, Massachusetts: Addison Wesley.
6. Lin F (1994) Diagnosability of discrete event systems and its applications. J. Discrete Event Dynamic Systems: Theory and Applications. 4(2):197-212.
7. Ozveren CM, Willsky AS (1990). Observability of discrete-event dynamic systems. IEEE Transactions in Automatic Control, pp. 797-806.
8. Pencolé Y (2004). Diagnosability analysis of distributed discrete event systems. In proceedings of the 15th International Workshop on Principles of Diagnosis (DX'04). pp. 173-178.
9. Ricker LS, Fabre E (2000). On the construction of modular observers and diagnosers for discrete event systems. In 39th IEEE Conference on Decision and Control (CDC), Sydney. IEEE Control Systems Society, pp. 2240-2244.
10. Ricker SL, Van Schuppen JH (2001). Decentralized failure diagnosis with asynchronous communication between supervisors. Proceedings European Control Conference, pp. 1002-1006.
11. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1994). Failure diagnosis using discrete-event models. Dep. EECS, University of Michigan, Tech. Rep.CGR94-3.
12. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1995). Diagnosability of discrete-event systems. IEEE Transactions in Automatic Control, pp. 1555-1575.
13. Sampath M, Sengupta R, Lafortune S, Sinnamohideen K, Teneketzis D (1996). Failure diagnosis using discrete-event models. IEEE Transactions in Control Systems, pp. 105-124.
14. Viswanadham N, Narahari Y (1992). Performance Modeling of Automated Manufacturing Systems. Prentice-Hall, Englewood Cliffs, New Jersey.