Online Reset for Signal Temporal Logic Monitoring

Online monitoring is a popular validation approach in which the temporal behavior of a system is checked to assess whether it satisfies a given specification expressed, e.g., in signal temporal logic (STL). This is done by employing a monitor that, at each time point, states the specification validi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	IEEE transactions on computer-aided design of integrated circuits and systems Jg. 41; H. 11; S. 4421 - 4432
Hauptverfasser:	Zhang, Zhenya, Arcaini, Paolo, Xie, Xuan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.11.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:	Gears Hybrid systems monitor reset Monitoring online monitoring Optimized production technology Robustness Runtime Semantics signal diagnostics Signal monitoring signal temporal logic (STL) Specifications Syntactics Temporal logic
ISSN:	0278-0070, 1937-4151
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!