Sign in
Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis.
Luan Viet Nguyen
Hoang-Dung Tran
Taylor T. Johnson
Vijay Gupta
Published in:
IEEE Trans. Control. Netw. Syst. (2023)
Keyphrases
</>
cyber physical systems
reachability analysis
real time
cyber physical
physical world
cyber security
distributed systems
control system
embedded systems
peer to peer
critical infrastructure
data acquisition
markov decision processes
model checking
low cost
virtual world
timed automata
multi agent
computer networks