Fault diagnosis using timed automata

Lecture Notes in Computer Science

Volumn 3441, Issue , 2005, Pages 219-233

  Bouyer, Patricia ^a   Chevalier, Fabrice ^a   D'Souza, Deepak ^b  

^a CNRS   (France)

^b INDIAN INSTITUTE OF SCIENCE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; DISCRETE TIME CONTROL SYSTEMS; FUNCTION EVALUATION; ONLINE SYSTEMS; PROBLEM SOLVING;

FAULT DETECTORS; FAULT DIAGNOSIS; TIMED AUTOMATA;

FAULT TOLERANT COMPUTER SYSTEMS;

EID: 24644441365     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31982-5_14     Document Type: Conference Paper

References (17)

1. [AD94] R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science (TCS), 126(2):183-235, 1994.
2. [AFH94] R. Alur, L. Fix, and T.A. Henzinger. A determinizable class of timed automata. In Proc. 6th Int. Conf. on Computer Aided Verification (CAV'94), vol. 818 of LNCS, pp. 1-13. Springer, 1994.
3. [BDGP98] B. Bérard, V. Diekert, P. Gastin, and A. Petit. Characterization of the expressive power of silent transitions in timed automata. Fundamenta Informaticae, 36(2-3):145-182, 1998.
4. [BDMP03] P. Bouyer, D. D'Souza, P. Madhusudan, and A. Petit. Timed control with partial observability. In Proc. 15th Int. Conf. Computer Aided Verification (CAV'2003), vol. 2725 of LNCS, pp. 180-192. Springer, 2003.
5. [Che04] F. Chevalier. Détection d'erreurs dans les systèmes temporisés. Master's thesis, DEA Algorithmique, Paris, 2004.
6. [DM02] D. D'Souza and P. Madhusudan. Timed control synthesis for external specifications. In Proc. 19th Int. Symp. Theoretical Aspects of Computer Science (STACS'02), vol. 2285 of LNCS, pp. 571-582. Springer, 2002.
7. [DT04] D. D'Souza and N. Tabareau. On timed automata with input-determined guards. In Proc. Joint Conf. Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATS+FTRTFT'04), vol. 3253 of LNCS, pp. 68-83. Springer, 2004.
8. [GJL04] O. Grinchtein, B. Jonsson, and M. Leucker. Learning of event-recording automata. In Proc. Joint Conf. Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATS+FTRTFT'04), vol. 3253 of LNCS, pp. 379-395. Springer, 2004.
9. [GTW02] E. Grädel, W. Thomas, and T. Wilke, eds. Automata, Logics, and Infinite Games: A Guide to Current Research, vol. 2500 of LNCS. Springer, 2002.
10. [KPA03] K.J. Kristoffersen, C. Pedersen, and H.R. Andersen. Runtime verification of timed LTL using disjunctive normalized equation systems. In Proc. 3rd Int. Work. Runtime Verification, Electronic Notes in Computer Science. Elsevier, 2003.
11. [KT04] M. Krichen and S. Tripakis. Real-time testing with timed automata testers and coverage criteria. In Proc. Joint Conf. Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATS+FTRTFT'04), vol. 3253 of LNCS, pp. 134-151. Springer, 2004.
12. [LLW95] F. Laroussinie, K.G. Larsen, and C. Weise. From timed automata to logic - and back. In Proc. 20th Int. Symp. Mathematical Foundations of Computer Science (MFCS'95), vol. 969 of LNCS, pp. 529-539. Springer, 1995.
13. [Pap94] C. H. Papadimitriou. Computational Complexity. Addison-Wesley, 1994.
14. +95] M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis. Diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 40(9):1555-1575, 1995.
15. +96] M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. C. Teneketzis. Failure diagnosis using discrete event systems. IEEE Transactions on Control Systems Technology, 4(2): 105-124, 1996.
16. [Tri02] S. Tripakis. Fault diagnosis for timed automata. In Proc. 7th Int. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02), vol. 2469 of LNCS, pp. 205-224. Springer, 2002.
17. [Tri03] S. Tripakis. Folk theorems on the determinization and minimization of timed automata. In Proc. 1st Int. Work, on Formal Modeling and Analysis of Timed Systems (FORMATS'03), vol. 2791 of LNCS, pp. 182-188. Springer, 2003.