Sciweavers

71
Voted
RP
2010
Springer
133views Control Systems» more  RP 2010»
14 years 7 months ago
Behavioral Cartography of Timed Automata
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...
Étienne André, Laurent Fribourg