Timed automata with monotonie activities

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

Volumn 1893, Issue , 2000, Pages 518-527

  Lanotte, Ruggero ^a   Maggiolo Schettini, Andrea ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

HYBRID SYSTEMS;

DENSE-TIME; DISCRETE TIME; HYBRID AUTOMATONS; INTEGRATOR AUTOMATA; MULTI RATE; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 23044520063     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44612-5_47     Document Type: Conference Paper

References (7)

1. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J. and Yovine, S.: The Algorithmic Analysis of Hybrid Systems, Theoretical Computer Science 138 (1995) 3-34
2. Alur, R., Dill, D.: A Theory of Timed Automata, Theoretical Computer Science 126, (1994) 183-235
3. Alur, R., Limor, F., Henzinger, T. A.: Event-clock automata: a determinizable class of timed automata, Theoretical Computer Science 211 (1999) 253-273
4. Drusinsky, D., Harel, D.: On the Power of Bounded Concurrency I: Finite Automata, Journal of ACM 41 (1994) 517-539
5. Henzinger, T. A., Manna, Z., Pnueli, A.: What Good are Digital Clocks? In: Kuich, W. (ed.): Automata, languages, and Programming. Lecture Notes in Computer Science, Vol. 623, Springer-Verlag, Berlin Heidelberg New York (1992) 545-558
6. Henzinger, T. A., Kopke, P.W., Wong-Toi, H.: The Expressive Power of Clocks. In: Fülöp, Z., Geseg, F. (eds.): Automata, languages, and Programming. Lecture Notes in Computer Science, Vol. 944, Springer-Verlag, Berlin Heidelberg New York (1995) 335-346
7. Lanotte, R., Maggiolo-Schettini, A., Peron, A.: Timed Cooperating Automata, Fundamenta Informaticae 42 (2000) 1-21