Safe CPS from Unsafe Controllers

TitleSafe CPS from Unsafe Controllers
Publication TypeConference Paper
Year of Publication2021
AuthorsMehmood, U., Bak S., Smolka S. A., and Stoller S. D.
Conference NameProceedings of CAADSPC 2001, the 2021 CPS-IoT Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems
Date Published06/2021