3169 search results - page 47 / 634 » Robust Timed Automata |
114
Voted
AMAI
2006
Springer
15 years 1 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
105
Voted
FORMATS
2006
Springer
15 years 5 months 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...
116
click to vote
RTSS
1996
IEEE
15 years 6 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...
124
Voted
FUIN
2007
15 years 1 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...
RP
2010
Springer
15 years 8 days ago
2010
Springer
We aim at finding a set of timing parameters for which a given timed automaton has a “good” behavior. We present here a novel approach based on the decomposition of the parame...