zbMATH — the first resource for mathematics

Almost ASAP semantics: from timed models to timed implementations. (English) Zbl 1101.68670
Summary: In this paper, we introduce a parametric semantics for timed controllers called the Almost ASAP (As Soon As Possible) semantics. This semantics is a relaxation of the usual ASAP semantics (also called the maximal progress semantics) which is a mathematical idealization that cannot be implemented by any physical device no matter how fast it is. On the contrary, any correct Almost ASAP controller can be implemented by a program on a hardware if this hardware is fast enough. We study the properties of this semantics and show how it can be analyzed using the tool HyTech.

68Q55 Semantics in the theory of computing
Full Text: DOI