Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information.

Xinyi Yu Weijie Dong Xiang Yin Shaoyuan Li

Published in: CoRR (2022)

Keyphrases

dynamic systems
temporal logic
dynamical systems
reactive systems
verification method
discrete event
multi agent
simulation model
state variables
model based diagnosis
qualitative reasoning
consistency based diagnosis