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

Full description

Bibliographic Details

Published in:	IEEE transactions on computer-aided design of integrated circuits and systems Vol. 41; no. 11; pp. 4421 - 4432
Main Authors:	Zhang, Zhenya, Arcaini, Paolo, Xie, Xuan
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.11.2022 The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!