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

Xinyi Yu Weijie Dong Xiang Yin Shaoyuan Li

Published in: CDC (2022)

Keyphrases

dynamic systems
temporal logic
discrete event
model checking
model checker
simulation model
qualitative models
machine learning
satisfiability problem
information flow
verification method
concurrent systems
consistency based diagnosis