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.
The scope of the workshop includes, but is not restricted to, the following topics:
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.
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.
| Submissions deadline: | February 14, 2022 |
| Notification: | February 26, 2022 |
| Final version: | March 7, 2022 |
| Workshop: | May 3, 2022 |
| 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 |