The 2nd Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems

A co-located workshop of the 2022 CPS-IoT week, May 3, 2022.

Despite the best efforts of the whole organizing committee, the tail of the pandemic is preventing the organizers from running CPS-IoT Week with an in-person component, as they planned originally. CPS-IoT Week and as a result our workshop will therefore run as a virtual event. Detailed information, including registration options, will be available shortly on the website of 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 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:

Invited Speaker

Title: Management of the Grid Edge using Federated Learning
Anuradha Annaswamy, Massachusetts Institute of Technology.

Bio: Anuradha M. Annaswamy (Life Fellow, IEEE) is currently a Founder and the Director of the Active-Adaptive Control Laboratory (AACL), Department of Mechanical Engineering, Massachusetts Institute of Technology (MIT), Cambridge, MA, USA. Her research interests include adaptive control theory and its applications to aerospace, automotive, propulsion, and energy systems. She is the author of a graduate textbook on adaptive control, a co-editor of two vision documents on smart grids and the Impact of Control Technology report, and the coauthor of the National Academy of Sciences Committee report on the Future of Electric Power in the United States, in 2021. She is a fellow of the IFAC. She received the Distinguished Alumni Award from the Indian Institute of Science in 2021. She has received best paper awards (Axelby; CSM), a Distinguished Member, and the Distinguished Lecturer Awards from the IEEE Control Systems Society (CSS) and the Presidential Young Investigator Award from the NSF. She served as the President for the CSS, in 2020.

Organization

Organizers

Program Committee

Submission Information

We solicit regular papers (max 6 pages) and extended abstracts (max 2 pages). Paper submission must be performed via the EasyChair system: https://easychair.org/conferences/?conf=caadcps2022.

Regular papers must describe original work, be written and presented in English, and must not substantially overlap with papers that have been published or that are under submission. Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should clearly identify what has been accomplished and why it is significant.

Regular paper and extended abstracts submissions should be in the IEEE template.

All accepted papers will be posted on the workshop's website and included in the IEEE.

Important Dates

Submissions deadline: February 14, 2022
Notification: February 26, 2022
Final version: March 7, 2022
Workshop: May 3, 2022

Accepted Papers

Modeling Methodology for Autonomous Cyber-Physical Systems
Alessandro Pinto

Explaining Cyber-Physical Systems Using Decision Trees
Swantje Plambeck, Jakob Schyga, Johannes Hinckeldeyn, Jochen Kreutzfeldt, and Görschwin Fey

Constructing Symbolic Abstractions From Data Without Model Assumptions
Alex Devonport, Adnane Saoud, and Murat Arcak

Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach
Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, and Majid Zamani

Decentralized Feedback Equilibrium Seeking in Multi-Agent Cyber-Physical Systems
Jorge Poveda

Implementing Optimization-Based Control Tasks in Cyber-Physical Systems With Limited Computing Capacity
Mehdi Hosseinzadeh, Bruno Sinopoli, Ilya Kolmanovsky, and Sanjoy Baruah

Challenges in Optimization-Based Control
Matthew Hale and Ricardo Sanfelice

Mitigating Computational Constraints via Adaptive Control and Resource Allocation Co-design
Linh Thi Xuan Phan and Ricardo Sanfelice

Workshop Program on May 3 (Pacific Time)

7:30-7:45 Welcome
7:45-8:45 Anuradha M. Annaswamy, Massachusetts Institute of Technology
Invited talk: Management of the Grid Edge using Federated Learning
Talk's Recording
8:45-9:00 Break
9:00-9:20 Alessandro Pinto
Modeling Methodology for Autonomous Cyber-Physical Systems
Talk's Recording
9:20-9:40 Swantje Plambeck, Jakob Schyga, Johannes Hinckeldeyn, Jochen Kreutzfeldt, and Görschwin Fey
Explaining Cyber-Physical Systems Using Decision Trees
Talk's Recording
9:40-10:00 Alex Devonport, Adnane Saoud, and Murat Arcak
Constructing Symbolic Abstractions From Data Without Model Assumptions
Talk's Recording
10:00-10:15 Break
10:15-10:35 Ameneh Nejati, Bingzhuo Zhong, Marco Caccamo, and Majid Zamani
Controller Synthesis for Unknown Polynomial-Type Systems: A Data-Driven Approach
Talk's Recording
10:35-10:55 Jorge Poveda
Decentralized Feedback Equilibrium Seeking in Multi-Agent Cyber-Physical Systems
Talk's Recording
10:55-11:15 Mehdi Hosseinzadeh, Bruno Sinopoli, Ilya Kolmanovsky, and Sanjoy Baruah
Implementing Optimization-Based Control Tasks in Cyber-Physical Systems With Limited Computing Capacity
Talk's Recording
11:15-11:30 Break
11:30-11:50 Matthew Hale and Ricardo Sanfelice
Challenges in Optimization-Based Control
Talk's Recording
11:50-12:10 Linh Thi Xuan Phan and Ricardo Sanfelice
Mitigating Computational Constraints via Adaptive Control and Resource Allocation Co-design
12:10-12:25 Closing Remarks

Past Workshops

CAADCP'21.