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

Abstract

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.