942 search results - page 59 / 189 » Interrupt Timed Automata |
FMSB
2008
13 years 10 months ago
2008
In this work we develop a new technique for over-approximating (in the sense of timed trace inclusion) continuous dynamical systems by timed auThis technique refines commonly-used ...
AMAI
2006
Springer
13 years 9 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
FORMATS
2006
Springer
14 years 15 days ago
2006
Springer
Using a variant of Clariso-Cortadella's parametric method for verifying asynchronous circuits, we formally derive a set of linear constraints that ensure the correctness of so...
RTSS
1996
IEEE
14 years 1 months ago
1996
IEEE
We propose a method for reducing the number of clocks of a timed automaton by combining two algorithms. The first one consists in detecting active clocks, that is, those clocks wh...
FUIN
2007
13 years 8 months ago
2007
The paper presents a method of abstraction for timed systems. To extract an abstract model of a timed system we propose to use static analysis, namely a technique called path compr...