Abstract is missing.
- Information-theoretic abstractions for resource-constrained agents via mixed-integer linear programmingDaniel T. Larsson, Dipankar Maity, Panagiotis Tsiotras. 1-6 [doi]
- Towards trustworthy AI: safe-visor architecture for uncertified controllers in stochastic cyber-physical systemsAbolfazl Lavaei, Bingzhuo Zhong, Marco Caccamo, Majid Zamani. 7-8 [doi]
- Safety from in-the-loop reachability for cyber-physical systemsChristian Llanes, Matthew Abate, Samuel Coogan 0001. 9-10 [doi]
- Data-driven estimation of forward reachable setsAlex Devonport, Murat Arcak. 11-12 [doi]
- Challenges in set-valued model-predictive controlJonathan Sprinkle, Nathalie Risso, Berk Altin, Ricardo G. Sanfelice. 13-14 [doi]
- Towards hybrid model predictive control for computationally aware satellite applicationsChristopher Petersen, Sean Phillips, Dawn Hustig-Schultz, Ricardo G. Sanfelice. 15-17 [doi]
- Computation-aware distributed optimization over networks: a hybrid dynamical systems approachDaniel Esteban Ochoa, Jorge I. Poveda, César A. Uribe. 18-19 [doi]
- Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systemsShadi Haddad, Abhishek Halder. 20-25 [doi]
- Safe CPS from unsafe controllersUsama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller. 26-28 [doi]
- Formal verification of hyperproperties for control systemsMahathi Anand, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani. 29-30 [doi]