Monitoring Timed Properties (Revisited).

Thomas Møller Grosen Sean Kauffman Kim Guldstrand Larsen Martin Zimmermann

Published in: CoRR (2022)

Keyphrases

monitoring system
decision support
machine learning
information retrieval
database systems
bayesian networks
search algorithm
petri net
desirable properties
finite state machines
situational awareness
condition monitoring