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 the maximal progress semantics) which is a mathematical idealization that can not 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.

• Type: Conference
• Year: 2004
• Where: HYBRID
• Authors: Martin De Wulf, Laurent Doyen, Jean-François Raskin
• Keywords: ASAP Semantics, HYBRID 2004, Hybrid Systems, Semantics, Usual Asap3 Semantics