942 search results - page 32 / 189 » Interrupt Timed Automata |
137
Voted
ICFEM
2009
Springer
14 years 11 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...
114
click to vote
HYBRID
1999
Springer
15 years 6 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
115
click to vote
SSS
2007
Springer
15 years 8 months ago
2007
Springer
We present formal definitions of stabilization for the Timed I/O Automata (TIOA) framework, and of emulation for the timed Virtual Stationary Automata programming abstraction laye...
138
Voted
FORMATS
2008
Springer
15 years 3 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
100
Voted
FORMATS
2005
Springer
15 years 7 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...