CAADCPS@CPSIoTWeek

Keyphrases

Publications

2021

CAADCPS '21: Proceedings of the Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21, 2021. CAADCPS@CPSIoTWeek (2021)
Daniel Esteban Ochoa, Jorge I. Poveda, César A. Uribe
Computation-aware distributed optimization over networks: a hybrid dynamical systems approach. CAADCPS@CPSIoTWeek (2021)
Christopher Petersen, Sean Phillips, Dawn Hustig-Schultz, Ricardo G. Sanfelice
Towards hybrid model predictive control for computationally aware satellite applications. CAADCPS@CPSIoTWeek (2021)
Abolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani
Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systems. CAADCPS@CPSIoTWeek (2021)
Jonathan Sprinkle, Nathalie Risso, Berk Altin, Ricardo G. Sanfelice
Challenges in set-valued model-predictive control. CAADCPS@CPSIoTWeek (2021)
Shadi Haddad, Abhishek Halder
Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systems. CAADCPS@CPSIoTWeek (2021)
Daniel T. Larsson, Dipankar Maity, Panagiotis Tsiotras
Information-theoretic abstractions for resource-constrained agents via mixed-integer linear programming. CAADCPS@CPSIoTWeek (2021)
Alex Devonport, Murat Arcak
Data-driven estimation of forward reachable sets. CAADCPS@CPSIoTWeek (2021)
Christian Llanes, Matthew Abate, Samuel Coogan
Safety from in-the-loop reachability for cyber-physical systems. CAADCPS@CPSIoTWeek (2021)
Mahathi Anand, Vishnu Murali, Ashutosh Trivedi, Majid Zamani
Formal verification of hyperproperties for control systems. CAADCPS@CPSIoTWeek (2021)
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek (2021)