Description

This workshop addresses challenges in designing algorithms for Cyber-Physical Systems that incorporate computational constraints. We explore algorithm synthesis as an intrinsic part of the design process to guarantee resilience, robustness, stability, and safety.

Goal

• • Guarantee stability and safety under computational constraints.
• • Identify theoretical limits in distributed implementations.
• • Foster new collaborations between researchers working on computation-aware design across different domains.

Call for Posters

We welcome abstract submissions covering both major and additional topics related to computation-aware design:

Major Topics:

• Real-time Optimal Control for Critical Tasks
• Real-time Verification
• Neuromorphic Computing
• Realistic Hardware Simulation

Additional Topics: Synthesis of Algorithms, Distributed CPS, System Analysis, Numerical Optimization, Formal Verification, Reachability Analysis, HW/SW Co-Design.

Important Dates

Organizing Committee

Steering Committee