State identification problems for timed automata

Lecture Notes in Computer Science

Volumn 3502, Issue , 2005, Pages 175-191

  Krichen, Moez ^a   Tripakis, Stavros ^a  

^a VERIMAG   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; PROBLEM SOLVING; REAL TIME SYSTEMS; AUTOMATA THEORY; CLOCKS; INTERACTIVE COMPUTER SYSTEMS; LOGIC CIRCUITS; SEQUENTIAL MACHINES;

FINITE CLOCK PRECISION; FINITE STATE MACHINES; STATE IDENTIFICATION PROBLEMS; TIMED AUTOMATA; DIGITAL CLOCKS; MEALY MACHINES; MOORE MACHINES; STATE IDENTIFICATION; TRANSITION RELATIONS;

AUTOMATA THEORY; REAL TIME SYSTEMS;

EID: 24944489163     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11430230_13     Document Type: Conference Paper

References (11)

1. R. Alur, C. Courcoubetis, and M. Yannakakis. Distinguishing tests for nondeterministic and probabilistic machines. In 27th ACM Symposium on Theory of Computing (STOC'95), pages 363-372, 1995.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
3. S. Bornot, J. Sifakis, and S. Tripakis. Modeling urgency in timed systems. In Compositionality, volume 1536 of LNCS. Springer, 1998.
4. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool Kronos. In Hybrid Systems III, Verification and Control, volume 1066 of LNCS, pages 208-219. Springer-Verlag, 1996.
5. A. Gill. State-identification experiments in finite automata. Information and Control, 4:132-154, 1961.
6. O. Grinchtein, B. Jonsson, and M. Leucker. Learning of event-recording automata. In Joint conference on Formal Modelling and Analysis of Timed Systems and Formal Techniques in Real-Time and Fault Tolerant System (FORMATSFTRTFT04), volume 3253 of LNCS. Springer, 2004.
7. M. Krichen and S. Tripakis. Black-box conformance testing for real-time systems. In 11th International SPIN Workshop on Model Checking of Software (SPIN'04), volume 2989 of LNCS. Springer, 2004.
8. D. Lee and M. Yannakakis. Principles and methods of testing finite state machines - A survey. Proceedings of the IEEE, 84:1090-1126, 1996.
9. E.F. Moore. Gedanken-experiments on sequential machines. In Automata Studies, number 34. Princeton University Press, 1956.
10. J. Sifakis and S. Yovine. Compositional specification of timed systems. In 13th Annual Symposium on Theoretical Aspects of Computer Science, STACS'96, volume 1046 of LNCS. Spinger-Verlag, 1996.
11. S. Tripakis and S. Yovine. Analysis of timed systems using time-abstracting bisimulations. Formal Methods in System Design, 18(1):25-68, January 2001.