From Bounded Reachability Analysis of Linear Hybrid Automata to Verification of Industrial CPS and IoT.

Lei Bu Jiawan Wang Yuming Wu Xuandong Li

Published in: SETSS (2019)

Keyphrases

reachability analysis
model checking
hybrid automata
temporal logic
timed automata
management system
markov decision processes
finite state machines
finite state automata
machine learning
objective function
pattern matching