Login / Signup
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.
Hoang-Dung Tran
Luan Viet Nguyen
Patrick Musau
Weiming Xiang
Taylor T. Johnson
Published in:
FORTE (2019)
Keyphrases
</>
cyber physical systems
real time
distributed systems
cyber physical
peer to peer
physical world
embedded systems
cyber security
multi agent
low cost
high speed
critical infrastructure
control system
information sharing
human beings