Reachability Analysis of Cyber-Physical Systems Under Stealthy Attacks.

Qirui Zhang Kun Liu Zhonghua Pang Yuanqing Xia Tao Liu

Published in: IEEE Trans. Cybern. (2022)

Keyphrases

wireless sensor networks
reachability analysis
cyber physical systems
cyber physical
markov decision processes
model checking
physical world
cyber security
timed automata
state space
incremental algorithms
embedded systems
intrusion detection
information sharing