A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata

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

Volumn 2988, Issue , 2004, Pages 296-311

  Lugiez, D ^a   Niebert, P ^a   Zennou, S ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CLOCKS; COMPUTATION THEORY; FORMAL LANGUAGES; SEMANTICS;

EXPLOSION PROBLEMS; MAZURKIEWICZ TRACES; NEW APPROACHES; PARALLEL SYSTEM; PARTIAL ORDER SEMANTICS; PATH EXPLORATION; SYMBOLIC LEVEL; TIMED AUTOMATA;

AUTOMATA THEORY;

EID: 35048822959     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24730-2_24     Document Type: Article

References (12)

1. [AD94] R. Alur and D. Dill, A theory of timed automata, Theoretical Computer Science 126(2) (1994), 183-235.
2. [AL94] M. Abadi and L.Lamport, An old-fashioned recipe for real time, ACM Transactions on Programming Languages and Systems 16 (1994), no. 5, 1543-1571.
3. [BJLY98] J. Bengtsson, B. Jonsson, J. Lilius, and W. Yi, Partial order reductions for timed systems, Proceedings, Ninth International Conference on Concurrency Theory, LNCS, vol. 1466, Springer-Verlag, 1998, pp. 485-500.
4. [CLR90] Th. Cormen, Ch. Leiserson, and R. Rivest, Introduction to algorithms, MIT Press, 1990.
5. [DGKK98] D. Dams, R. Gerth, B. Knaack, and R. Kuiper, Partial-order reduction techniques for real-time model checking, Formal Methods for Industrial Critical Systems (Amsterdam), no. 10, May 1998, pp. 469-482.
6. [DR95] V. Diekert and G. Rozenberg (eds.), The book of traces, World Scientific, 1995.
7. [DT98] D. D'Souza and P.S. Thiagarajan, Distributed interval automata: A subclass of timed automata, 1998, Internal Report TCS-98-3.
8. [God96] P. Godefroid, Partial-order methods for the verification of concurrent systems: an approach to the state-explosion problem, LNCS, vol. 1032, Springer-Verlag Inc., New York, NY, USA, 1996.
9. [LNZ04] D. Lugiez, P. Niebert, and S. Zennou, A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata, Rapport de Recherche, Laboratoire d'Informatique Fondamentale de Marseille, January 2004, available from http://www.lif .univ-mrs.fr/Rapports.
10. [LPY95] K. Larsen, P. Pettersson, and W. Yi, Model-checking for real-time systems, Fundamentals of Computation Theory, Lecture Notes in Computer Science, August 1995, Invited talk, pp. 62-88.
11. [Min99] Marius Minea, Partial order reduction for verification of timed systems, Ph.D. thesis, Carnegie Mellon University, 1999.
12. [NSY92] X. Nicollin, J. Sifakis, and S. Yovine, Compiling real-time specifications into extended automata, IEE Transactions on Software Engineering, vol. 18, September 1992, pp. 794-804.