Reachability Analysis for Cyber-Physical Systems: Are We There Yet?

Xin Chen Sriram Sankaranarayanan

Published in: NFM (2022)

Keyphrases

reachability analysis
cyber physical systems
model checking
cyber physical
markov decision processes
physical world
incremental algorithms
cyber security
timed automata
embedded systems
state space
critical infrastructure
social networks
real time
virtual world
dynamic programming
expert systems