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á bibliografie

Vydáno v:	IEEE transactions on computer-aided design of integrated circuits and systems Ročník 41; číslo 11; s. 4421 - 4432
Hlavní autoři:	Zhang, Zhenya, Arcaini, Paolo, Xie, Xuan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.11.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!