Robustness and implementability of timed automata

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

Volumn 3253, Issue , 2004, Pages 118-133

  De Wulf, Martin ^a   Doyen, Laurent ^a   Markey, Nicolas ^a   Raskin, Jean François ^a  

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; SEMANTICS; TIME SHARING SYSTEMS;

ASAP SEMANTICS; IMPLEMENTABILITY; PARAMETERIZED; POSITIVE VALUE; TIMED AUTOMATA;

REAL TIME SYSTEMS;

EID: 33750362521     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30206-3_10     Document Type: Article

References (10)

1. [AD94] Rajeev Alur and David L. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
2. [AFILS03] R. Alur, J. Kim P. Ivancic, I. Lee, and O. Sokolsky. Generating embedded software from hierarchical hybrid models. In ACM Symposium on Languages, Compilers, and Tools for Embedded Systems, 2003.
3. +02] Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. Times: A tool for modelling and implementation of embedded systems. In J.-P. Katoen and P. Stevens, editors, Proc. Of The 8 Th International Conference On Tools And Algorithms For The Construction And Analysis Of Systems, number 2280 in Lecture Notes In Computer Science, pages 460-464. Springer-Verlag, 2002.
4. +03] Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, and Wang Yi. Code synthesis for timed automata. Nordic Journal of Computing(NJC), 9, 2003.
5. [AMPS98] E. Asarin, O. Maler, A. Pnueli, and J. Sifakis. Controller synthesis for timed automata. In Proc. System Structure and Control. Elsevier, 1998.
6. [CHR02] F. Cassez, T.A. Henzinger, and J.-F. Raskin. A comparison of control problems for timed and hybrid systems. In HSCC 02: Hybrid Systems-Computation and Control, Lecture Notes in Computer Science 2289, pages 134-148. Springer-Verlag, 2002.
7. [DDR04] M. De Wulf, L. Doyen, and J.-F. Raskin. Almost ASAP semantics: From timed models to timed implementations. In HSCC 04: Hybrid Systems-Computation and Control, Lecture Notes in Computer Science 2993, pages 296-310. Springer-Verlag, 2004.
8. [GHJ97] Vineet Gupta, Thomas A. Henzinger, and Radha Jagadeesan. Robust timed automata. In O. Maler, editor, Hybrid and Real-Time Systems, Lecture Notes in Computer Science, pages 331-345. Springer Verlag, March 1997.
9. [HKSP03] T.A. Henzinger, C.M. Kirsch, M.A. Sanvido, and W. Pree. From control models to real-time code using GIOTTO. IEEE Control Systems Magazine, 23(1):50-64, 2003.
10. [Pur98] Anuj Puri. Dynamical properties of timed automata. In Proceedings of Formal Techniques in Real-Time and Fault-Tolerant Systems, 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, volume 1486 of Lecture Notes in Computer Science, pages 210-227. Springer, 1998.