Almost ASAP semantics: Prom timed models to timed implementations

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

Volumn 2993, Issue , 2004, Pages 296-310

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

^a UNIVERSITÉ LIBRE DE BRUXELLES   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE; HYBRID SYSTEMS;

ASAP SEMANTICS; PHYSICAL DEVICES; PRACTICAL USE; TIMED MODELS;

SEMANTICS;

EID: 35048849100     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24743-2_20     Document Type: Article

References (7)

1. [AFP+03] Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, and Wang Yi. Code synthesis for timed automata. Nordic Journal of Computing(NJC), 9, 2003.
2. [Ber00] G. Berry. The Foundations of Esterel. MIT Press, 2000.
3. [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.
4. [HHWT95] T.A. Henzinger, P.-H. Ho, and H. Wong-Toi. A user guide to HYTECH. In E. Brinksma, W.R. Cleaveland, K.G. Larsen, T. Margaria, and B. Steffen, editors, TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 1019, pages 41-71. Springer-Verlag, 1995.
5. [HKPV98] T.A. Henzinger, P.W. Kopke, A. Puri, and P. Varaiya. What's decidable about hybrid automata? Journal of Computer and System Sciences, 57:94-124, 1998.
6. [IKL+00] T. Iversen, K. Kristoffersen, K. Larsen, M. Laursen, R. Madsen, S. Mortensen, P. Petterson, and C. Thomasen. Model-checking real-time control programs - verifying LEGO mindstorms systems using UPPAAL. In Proc. 12th Euromicro Conf. on Real-Time Systems (ECRTS'00)., 2000.
7. [Mil80] R. Milner. A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer-Verlag, 1980.