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

Celý popis

Podrobná bibliografia

Vydané v:	IEEE transactions on computer-aided design of integrated circuits and systems Ročník 41; číslo 11; s. 4421 - 4432
Hlavní autori:	Zhang, Zhenya, Arcaini, Paolo, Xie, Xuan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.11.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!