585 search results - page 1 / 117 » Better Abstractions for Timed Automata |
LICS
2012
IEEE
11 years 7 months ago
2012
IEEE
FSEN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
FORMATS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. We examine to what extent implementation of timed automata can be achieved using the standard semantics and appropriate modeling, instead of introducing new semantics. We...
FMSB
2008
13 years 6 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 ...
