The 3rd Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems

A co-located workshop of the 2023 CPS-IoT week, May 9, 2023.

Scope

Most research in cyber-physical systems considers design of algorithms and their implementation separately. This poses a problem when dealing with cyber-physical systems with complex dynamics and uncertainty. In fact, in such cases the effectiveness of designed algorithms can be compromised by the unavoidably nonzero time needed to perform computations. The decentralization of computational resources and other requirements introduced at the implementation stage that were neglected at design will certainly negatively affect the behavior induced by the algorithm.

To properly cope with such issues, techniques for the synthesis of algorithms should incorporate information about the computations required to be performed when implemented, and, in some cases, possibly accept a degradation of performance while guaranteeing certain fundamental properties of the entire cyber-physical system, such as resilience, robustness, stability, and safety. The development of such synthesis techniques requires a radical change in the way algorithms for cyber-physical systems are designed, demanding an analysis and design framework in which, rather than being added a posteriori, computation is intrinsic in the sense that the time and cost to compute is part of the design process.

The goal of this workshop is to lay out the foundations of such framework for computation-aware algorithmic design of cyber-physical systems by bringing together experts (both practitioners and researchers) in cyber-physical systems and key areas in hardware design, real-time systems, optimization, control, safety, and verification.

Topics

The scope of the workshop includes, but is not restricted to, the following topics:

Quantitative and qualitative analysis of hybrid systems
Computation-aware models of cyber-physical systems
Numerical optimization methods
Hybrid systems verification
Computation-aware synthesis of hybrid systems
Reachability analysis of unified hardware-software models
Automated synthesis of controllers
Real-time optimization and adaptive Control
Workload characterization of CPS applications
Performance measurement and monitoring of CPS applications
Hardware and software systems for improving the performance of CPS applications

Invited Speakers

TBD

Organizers

Workshop Program on May 9 (Central Daylight Time)

9:00-9:15	Welcome
9:15-10:00	Samarjit Chakraborty, University of North Carolina at Chapel Hill Title: Towards Bridging the Computer Science-Control Theory Divide Talk's Recording
10:00-10:30	Coffee Break
10:30-11:15	Bardh Hoxha, Toyota Research Institute of North America Title: Neural Reachability and Risk-Aware Control for Autonomous System Safety Talk's Recording
11:15-12:00	Majid Zamani, University of Colorado Boulder Title: Compositional verification and synthesis of interconnected control systems Talk's Recording
12:00-13:30	Lunch Break
13:30-14:15	Panagiotis Tsiotras, Georgia Institute of Technology Title: Abstract Representations for Efficient Planning and Decision-Making for Agents with Limited Computational Resources Talk's Recording
14:15-15:00	Paul Griffioen, University of California, Berkeley Title: Data-Driven Reachability and Invariance for Gaussian Process State Space Models Talk's Recording
15:00-15:30	Coffee Break
15:30-16:15	Jonathan Sprinkle, Vanderbilt University Title: Vehicle Data for CPS Research from Libpanda Talk's Recording
16:15-17:00	Manuel Mazo Jr., Delft University of Technology Title: Timing Analysis (and Synthesis) of Aperiodic Sampled Control Systems Talk's Recording
17:00-17:30	Heiner Litz, University of California Santa Cruz Title: High-Performance Representative Micro-architectural Simulation of Complex Applications Talk's Recording