The 4th Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems

Hong Kong, May 13, 2024

A co-located workshop of the 2024 CPS-IoT week

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 a 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:

Data-Driven Cyber-Physical Systems: Models, Algorithms, and Platforms
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

Steering Committee

- Murat Arcak

Organizers

Workshop Program on May 13 (UTC/GMT +8 hours)

8:00-9:00	Breakfast
9:00-9:15	Welcome
9:15-10:00	Lars Lindemann, University of Southern California, USA Title: Safe Control of Learning-Enabled Autonomous Systems using Conformal PredictionTalk’s Recording
10:00-10:30	Coffee Break
10:30-11:15	Yasser Shoukry, University of California, Irvine, USA Title: Assured Perception and Control of Autonomous Systems Using Formal Verification of Neural NetworksTalk’s Recording
11:15-12:00	Martina Maggio, Saarland University, USA Title: Towards the Verification of Cyber-Physical Systems Under Timing AnomaliesTalk’s Recording
12:00-13:30	Lunch
13:30-14:15	Lothar Thiele, ETH Zurich, Switzerland Title: Computation-Aware Resilience: From Predictability to the Era of Machine LearningTalk’s Recording
14:15-15:00	Indranil Saha, Indian Institute of Technology Kanpur, India Title: Model-Free and Specification-Driven Synthesis of Feedback Controllers Using Reinforcement LearningTalk’s Recording
15:00-15:30	Coffee Break
15:30-16:15	Oleg Sokolsky, University of Pennsylvania, USA Title: Complementary Design-Time and Run-Time Guarantees for Safe CPSTalk’s Recording
16:15-17:00	Sriram Sankaranarayanan, University of Colorado Boulder, USA Title: Computation-Aware Synthesis of Control Lyapunov and Barrier FunctionsTalk’s Recording
17:00-17:45	Samarjit Chakraborty, The University of North Carolina at Chapel Hill, USA Title: Probabilistic Methods for Synthesizing Safe CPS ImplementationsTalk’s Recording
17:45-18:00	Closing Remarks
18:00-20:00	Reception