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

TOTAL DOCUMENTS

10
(FIVE YEARS 10)

H-INDEX

0
(FIVE YEARS 0)

Published By ACM

9781450383998
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards trustworthy AI

2021 ◽  
Author(s):  
Abolfazl Lavaei ◽  
Bingzhuo Zhong ◽  
Marco Caccamo ◽  
Majid Zamani

scholarly journals Challenges in set-valued model-predictive control

2021 ◽  
Author(s):  
Jonathan Sprinkle ◽  
Nathalie Risso ◽  
Berk Altin ◽  
Ricardo Sanfelice
Keyword(s):  
Model Predictive Control ◽  
Predictive Control

scholarly journals Safe CPS from unsafe controllers

2021 ◽  
Author(s):  
Usama Mehmood ◽  
Stanley Bak ◽  
Scott A. Smolka ◽  
Scott D. Stoller

scholarly journals Computation-aware distributed optimization over networks

2021 ◽  
Author(s):  
Daniel E. Ochoa ◽  
Jorge I. Poveda ◽  
César A. Uribe
Keyword(s):  
Distributed Optimization

Formal verification of hyperproperties for control systems

2021 ◽  
Author(s):  
Mahathi Anand ◽  
Vishnu Murali ◽  
Ashutosh Trivedi ◽  
Majid Zamani
Keyword(s):  
Formal Verification ◽  
Control Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document