Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

Hoang Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

12 Scopus citations

Fingerprint

Dive into the research topics of 'Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems'. Together they form a unique fingerprint.

Mathematics

Engineering & Materials Science