Monitoring Temporal Properties of Continuous Signals

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 creat...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Maler, Oded, Nickovic, Dejan
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Applied sciences Automata. Abstract machines. Turing machines Computer science control theory systems Continuous Signal Exact sciences and technology Parse Tree Simulation Trace Temporal Logic Temporal Property Theoretical computing
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!