Safe CPS from unsafe controllers

Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems ◽

10.1145/3457335.3461712 ◽

2021 ◽

Author(s):

Usama Mehmood ◽

Stanley Bak ◽

Scott A. Smolka ◽

Scott D. Stoller

Download Full-text