Monitoring Temporal Properties of Continuous Signals
- Cite this paper as:
- Maler O., Nickovic D. (2004) Monitoring Temporal Properties of Continuous Signals. In: Lakhnech Y., Yovine S. (eds) Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Lecture Notes in Computer Science, vol 3253. Springer, Berlin, Heidelberg
In this paper we introduce a variant of temporal logic tailored for specifying desired properties of continuous signals. The logic is based on a bounded subset of the real-time logic mitl, augmented with a static mapping from continuous domains into propositions. From formulae in this logic we create automatically property monitors that can check whether a given signal of bounded length and finite variability satisfies the property. A prototype implementation of this procedure was used to check properties of simulation traces generated by Matlab/Simulink.
Unable to display preview. Download preview PDF.