Related Papers
The theory on runtime enforcement of timed properties is presented in the following papers:
Runtime Enforcement of Timed Properties Revisited (FMSD 2014)
This journal paper combines results of RV 12, and SAC 2014 papers, provides more details, complete formal proofs, and more examples.
The enforcement monitoring algorithms implemented in the TiPEX tool are based on the the theory and algorithms presented in this paper.
It can be downloaded from
here.
Runtime Enforcement of Regular Timed Properties (SAC 2014)
In this paper, we consider runtime enforcement of any regular timed property specified by a timed automaton.
It can be downloaded from
here.
Runtime Enforcement of Parametric Timed Properties with Practical Applications (WODES 2014)
In this paper, we extend results to parametric timed properties.
These results are not yet integrated into TiPEX.
It can be downloaded from
here.
Runtime Enforcement of Timed Properties (RV 2012)
This paper presents initial results related to runtime enforcement
of timed safety and co-safety properties.
It can be downloaded from
here.