by Eugene Asarin, Oded Maler, Amir Pnueli
Theoretical Computer Science
http://www-verimag.imag.fr/~asarin/papers/pcd.ps
Add To MetaCart
Abstract:
inpg, ujf and verilog sa. spectre is a project of inria). x
Citations
|
2771
|
Introduction to Automata Theory, Languages and Computation
– Hopcroft, Ullman
- 1979
|
|
1393
|
A theory of timed automata
– Alur, Dill
- 1994
|
|
432
|
Yovine."Symbolic model checking for real-time systems
– Henzinger, Nicollin, et al.
- 1992
|
|
292
|
Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems
– Alur, Courcoubetis, et al.
|
|
128
|
From timed to hybrid systems
– Maler, Manna, et al.
- 1991
|
|
116
|
A Theory of Timed Automata, Theoretical Computer Science 126
– Alur, Dill
- 1994
|
|
97
|
Model checking in dense real time
– Alur, Courcoubetis, et al.
- 1993
|
|
73
|
Models and reality
– Putnam
- 1980
|
|
69
|
Integration graphs: a class of decidable hybrid systems
– Kesten, Pnueli, et al.
- 1993
|
|
69
|
An Approach to the Description and Analysis of Hybrid Systems
– Nicollin, Olivero, et al.
- 1993
|
|
54
|
Universal computation and other capabilities of hybrid and continuous dynamical systems
– Branicky
- 1995
|
|
37
|
An Introduction to Convex Polytopes
– Brøndsted
- 1983
|
|
32
|
On some relations between dynamical systems and transition systems
– Asarin, Maler
- 1994
|
|
24
|
Smooth dynamical systems which realize arithmetical and logical operations
– Brockett
|
|
22
|
Reachability analysis of planar multi-linear systems
– Maler, Pnueli
- 1993
|
|
19
|
Computability properties of low-dimensional dynamical systems
– Koiran, Cosnard, et al.
- 1994
|
|
2
|
Defining software by continuous smooth functions
– DeMillo, Lipton
- 1991
|
|
2
|
De ning software by continuous smooth functions
– DeMillo, Lipton
- 1991
|
