Sciweavers

HYBRID
2004
Springer
14 years 4 months ago
Almost ASAP Semantics: From Timed Models to Timed Implementations
In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP semantics. This semantics is a relaxation of the usual ASAP3 semantics (also called ...
Martin De Wulf, Laurent Doyen, Jean-Françoi...
FORMATS
2004
Springer
14 years 4 months ago
Robustness and Implementability of Timed Automata
In a former paper, we defined a new semantics for timed automata, the Almost ASAP semantics, which is parameterized by ∆ to cope with the reaction delay of the controller. We sh...
Martin De Wulf, Laurent Doyen, Nicolas Markey, Jea...