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

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

10.1145/3457335.3461705 ◽

2021 ◽

Author(s):

Abolfazl Lavaei ◽

Bingzhuo Zhong ◽

Marco Caccamo ◽

Majid Zamani

Download Full-text

Challenges in set-valued model-predictive control

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

10.1145/3457335.3461708 ◽

2021 ◽

Author(s):

Jonathan Sprinkle ◽

Nathalie Risso ◽

Berk Altin ◽

Ricardo Sanfelice

Keyword(s):

Model Predictive Control ◽

Predictive Control

Download Full-text

Safety from in-the-loop reachability for cyber-physical systems

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

10.1145/3457335.3461706 ◽

2021 ◽

Author(s):

Christian Llanes ◽

Matthew Abate ◽

Samuel Coogan

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Safe CPS from unsafe controllers

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

10.1145/3457335.3461712 ◽

2021 ◽

Author(s):

Usama Mehmood ◽

Stanley Bak ◽

Scott A. Smolka ◽

Scott D. Stoller

Download Full-text

Information-theoretic abstractions for resource-constrained agents via mixed-integer linear programming

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

10.1145/3457335.3461704 ◽

2021 ◽

Author(s):

Daniel T. Larsson ◽

Dipankar Maity ◽

Panagiotis Tsiotras

Keyword(s):

Linear Programming ◽

Integer Linear Programming ◽

Mixed Integer Linear Programming ◽

Mixed Integer ◽

Resource Constrained ◽

Information Theoretic

Download Full-text

Towards hybrid model predictive control for computationally aware satellite applications

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

10.1145/3457335.3461709 ◽

2021 ◽

Author(s):

Christopher Petersen ◽

Sean Phillips ◽

Dawn Hustig-Schultz ◽

Ricardo Sanfelice

Keyword(s):

Model Predictive Control ◽

Hybrid Model ◽

Predictive Control ◽

Satellite Applications

Download Full-text

Anytime ellipsoidal over-approximation of forward reach sets of uncertain linear systems

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

10.1145/3457335.3461711 ◽

2021 ◽

Author(s):

Shadi Haddad ◽

Abhishek Halder

Keyword(s):

Linear Systems ◽

Uncertain Linear Systems ◽

Download Full-text

Computation-aware distributed optimization over networks

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

10.1145/3457335.3461710 ◽

2021 ◽

Author(s):

Daniel E. Ochoa ◽

Jorge I. Poveda ◽

César A. Uribe

Keyword(s):

Distributed Optimization

Download Full-text

Formal verification of hyperproperties for control systems

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

10.1145/3457335.3461715 ◽

2021 ◽

Author(s):

Mahathi Anand ◽

Vishnu Murali ◽

Ashutosh Trivedi ◽

Majid Zamani

Keyword(s):

Formal Verification ◽

Control Systems

Download Full-text

Data-driven estimation of forward reachable sets

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

10.1145/3457335.3461707 ◽

2021 ◽

Author(s):

Alex Devonport ◽

Murat Arcak

Keyword(s):

Reachable Sets ◽

Download Full-text