Fault diagnosis for timed automata

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2469, Issue , 2002, Pages 205-221

  Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

Fault diagnosis; Partial observability; Timed automata

Indexed keywords

AUTOMATA THEORY; FAILURE ANALYSIS; FAULT TOLERANCE; REAL TIME SYSTEMS;

DETERMINISTIC MACHINES; DIAGNOSABILITY; EVENT MODEL; PARTIAL OBSERVABILITY; REACHABILITY ANALYSIS; TIMED AUTOMATA; UNOBSERVABLE; VERIFICATION TOOLS;

FAULT DETECTION;

EID: 84974696065     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45739-9_14     Document Type: Conference Paper

References (32)

1. Uppaal web-site: www.docs.uu.se/docs/rtmv/uppaal/.
2. Esterel web-site: www.esterel.org.
3. R. Alur and D.L. Dill. A theory of timed automata. Theoretical Computer Science, 126: 183-235, 1994.
4. Rajeev Alur. Techniques for Automatic Verification of Real-Time Systems. PhD thesis, Department of Computer Science, Stanford University, 1991.
5. E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In Proc. IFAC Symposium on System Structure and Control. Elsevier, 1998.
6. A. Balluchi, L. Benvenuti, M. Di Benedetto, and A. Sangiovanni-Vincentelli. Design of observers for hybrid systems. In Hybrid Systems: Computation and Control, 2002. To appear.
7. P. Baroni, G. Lamperti, P. Pogliano, and M. Zanella. Diagnosis of large active systems. Artificial Intelligence, 110, 1999.
8. A. Bouajjani, S. Tripakis, and S. Yovine. On-the-fly symbolic model checking for real-time systems. In Proc. of the 18th IEEE Real-Time Systems Symposium, San Francisco, CA, pages 232-243. IEEE, December 1997.
9. M. Bozga, C. Daws, O. Maler, A. Olivero, S. Tripakis, and S. Yovine. Kronos: a model-checking tool for real-time systems. In Proc. of the 10th Conference on Computer-Aided Verification, CAV’98. LNCS 1427, Springer-Verlag, 1998.
10. B.A. Brandin and W.M. Wonham. Supervisory control of timed discrete-event systems. IEEE Transactions on Automatic Control, 39(2), 1994.
11. Yi-Liang Chen and Gregory Provan. Modeling and diagnosis of timed discrete event systems - a factory automation example. In ACC, 1997.
12. D.D. Cofer and V.K. Garg. On controlling timed discrete event systems. In Hybrid Systems III: Verification and Control. LNCS 1066, Springer-Verlag, 1996.
13. D.L. Dill. Timing assumptions and verification of finite-state concurrent systems. In J. Sifakis, editor, Automatic Verification Methods for Finite State Systems, Lecture Notes in Computer Science 407, pages 197-212. Springer-Verlag, 1989.
14. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language Lustre. Proceedings of the IEEE, 79(9), September 1991.
15. T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine. Symbolic model checking for real-time systems. Information and Computation, 111(2): 193-244, 1994.
16. L.E. Holloway and S. Chand. Time templates for discrete event fault monitoring in manufacturing systems. In Proc. of the 1994 American Control Conference, 1994.
17. S. Narasimhan and G. Biswas. An approach to model-based diagnosis of hybrid systems. In Hybrid Systems: Computation and Control, 2002. To appear.
18. J. Raisch and S. O’Young. A DES approach to control of hybrid dynamical systems. In Hybrid Systems III: Verification and Control. LNCS 1066, Springer-Verlag, 1996.
19. P. Ramadge and W. Wonham. Supervisory control of a class of discrete event processes. SIAM J. Control Optim., 25(1), January 1987.
20. Amit Kumar Ray and R. B. Misra. Real-time fault diagnosis - using occupancy grids and neural network techniques. In Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE. LNCS 604, Springer-Verlag, 1992.
21. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9), September 1995.
22. M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis. Failure diagnosis using discrete event models. IEEE Transactions on Control Systems Technology, 4(2), March 1996.
23. J. Sztipanovits, R. Carnes, and A. Misra. Finite state temporal automata modeling for fault diagnosis. In 9th AIAA Conference on Computing in Aerospace, 1993.
24. J. Sztipanovits and A. Misra. Diagnosis of discrete event systems using ordered binary decision diagrams. In 7th Intl. Workshop on Principles of Diagnosis, 1996.
25. C. Tomlin, J. Lygeros, and S. Sastry. Synthesizing controllers for nonlinear hybrid systems. In Hybrid Systems: Computation and Control. LNCS 1386, Springer-Verlag, 1998.
26. S. Tripakis. The formal analysis of timed systems in practice. PhD thesis, Universit é Joseph Fourrier de Grenoble, 1998.
27. S. Tripakis. Verifying progress in timed systems. In ARTS’99, LNCS 1601, 1999.
28. S. Tripakis and S. Yovine. Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design, 18(1): 25-68, January 2001.
29. J.N. Tsitsiklis. On the control of discrete event dynamical systems. Mathematics of Control, Signals and Systems, 2(2), 1989.
30. H. Wong-Toi. The synthesis of controllers for linear hybrid automata. In Proc. of IEEE Conference on Decision and Control, 1997.
31. H. Wong-Toi and G. Hoffmann. The control of dense real-time discrete event systems. In Proc. of the 30th IEEE Conference on Decision and Control, 1991.
32. S. Hashtrudi Zad, R.H. Kwong, and W.M. Wonham. Fault diagnosis in finite-state automata and timed discrete-event systems. In 38th IEEE Conference on Decision and Control, 1999.