Official LSV Web Site
Robustness and implementability of timed automata.
I have studied some problems related to implementability of
timed automata, with
Patricia Bouyer and
Nicolas Markey. This work
is based on a framework intrduced by Jean-François Raskin and his
team. This framework builds a link between a notion of implementability,
for timed automata, and a new semantics, which may be called robust, of this model. We
have extended their results, which range over reachability properties, to
linear-time properties (LTL).
These results have been published at the conference
LATIN'06.
We also have written, together with Karine Altisen and Stavros Tripakis
(Verimag, Grenoble) a discussion of these problems in the french revue
MSR'05.
These publications can be found on my
publication webpage .
Back to homepage