Runtime enforcement of regular timed properties by suppressing and delaying events

Yliès Falcone, Thierry Jéron, Hervé Marchand, Srinivas Pinisetty. Runtime enforcement of regular timed properties by suppressing and delaying events. Systems & Control Letters, 123:2-41, 2016. [doi]

Abstract

Abstract is missing.