A topological perspective on diagnosis

Proceedings - 9th International Workshop on Discrete Event Systems, WODES' 08

Volumn , Issue , 2008, Pages 218-224

  Bauer, Andreas ^a   Pinchinat, Sophie ^b  

^a AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

^b CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

TECHNICAL PRESENTATIONS;

DIAGNOSER; DIAGNOSIS PROBLEM; DISCRETE EVENT SYSTEMS; FUNDAMENTAL PROPERTIES;

TOPOLOGY;

EID: 53149114124     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WODES.2008.4605948     Document Type: Conference Paper

References (26)

1. B. Alpern and F. B. Schneider. Recognizing safety and liveness. Distributed Computing, 2:117-126, 1987.
2. Jean Berstel. Transductions and Context-Free Languages. Teubner Studienbücher, Stuttgart, 1979.
3. C. C. Elgot and J. E. Mezei. On relations defined by generalized finite automata. IBM Journal of Research and Development, 9(January):47-68, 1965.
4. Christiane Frougny and Jacques Sakarovitch. Synchronized rational relations of finite and infinite words. Theor. Comput. Sci., 108(1):45-82, 1993.
5. Françoise Gire and Maurice Nivat. Relations rationnelles infinitaires.Calcolo, 21(2):91-125, 1984.
6. E. Grädel, W. Thomas, and T. Wilke, editors. Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001], volume 2500 of Lecture Notes in Computer Science. Springer, 2002.
7. T. Jeron, H. Marchand, S. Pinchinat, and M-O. Cordier. Supervision patterns in discrete event systems diagnosis. In 8th Workshop on Discrete Event Systems, WODES'06, Ann Arbor, Michigan, USA, July 2006.
8. S. Jiang, Z. Huang, V. Chandra, and R. Kumar. A polynomial time algorithm for diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 46(8): 1318-1321, 2001.
9. S. Jiang and R. Kumar. Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. IEEE Transactions on Automatic Control, 49(6):934-945, 2004.
10. Nils Klarlund. Progress measures for complementation of omega-automata with applications to temporal logic. In FOCS, pages 358-367. IEEE, 1991.
11. Orna Kupferman and Moshe Y. Vardi. Model checking of safety properties. Formal Methods in System Design, 19(3):291-314, 2001.
12. Lawrence H. Landweber. Decision problems for omega-automata. Mathematical Systems Theory, 3(4):376-384, 1969.
13. R. McNaughton. Testing and generating infinite sequences by a finite automaton. Information and Control, 9:521-530, 1966.
14. Doron Peled, Thomas Wilke, and Pierre Wolper. An algorithmic approach for checking closure properties of ω-regular languages. Theoretical Computer Science, 195(2):183-203, 1998.
15. Dominique Perrin and Jean-Eric Pin. Infinite words, automata, semigroups, logic and games. Elsevier, 2004.
16. C. Prieur. Fonctions rationnelles de mots infinis et continuté. Thèse de Doctorat, Univ. Paris 7, June 2000.
17. M. O. Rabin and D. Scott. Finite automata and their decision problems. IBM Journal of Research and Development, 3:114-125, 1959.
18. L. Ricker and B. Caillaud. Mind the gap: Expanding communication options in decentralized discrete-event control. In 46th IEEE Conference on Decision and Control, New Orleans, LA, USA, December 2007.
19. K. Rudie and W. M. Wonham. Think globally, act locally: Decentralized supervisory control. IEEE Trans. Autom. Control, 37(11): 1692-1708, November 1992.
20. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9): 1555-1575, 1995.
21. M. Sampath, R. Sengupta, S. Lafortune, K. Sinaamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2):105-124, March 1996.
22. Walter J. Savitch. Relationships between nondeterministic and deterministic tape complexities. J. Comput. System. Sci., 4:177-192, 1970.
23. A. P. Sistla, M. Vardi, and P. Wolper. The complementation problem for Buchï automata with applications to temporal logic. Theoretical Computer Science, 49:217-237, 1987.
24. A. Prasad Sistla. Safety, liveness and fairness in temporal logic. Formal Asp. Comput., 6(5):495-512, 1994.
25. L. Staiger. ω-languages. In Grzegorz Rozenberg and Arto Salomaa, editors, Handbook of formal languages, vol. 3: beyond words, chapter 10, pages 339-388. Springer-Verlag New York, Inc., New York, NY, USA, 1997.
26. Tae-Sic Yoo and Stephane Lafortune. A general architecture for decentralized supervisory control of discrete-event systems. Discrete event dynamic systems : theory and applications, July 2002.