


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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.