Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis | IEEE Journals & Magazine | IEEE Xplore