×

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.

MSC:
68Q55 Semantics in the theory of computing
PDF BibTeX XML Cite
Full Text: DOI