Program Overview
Tuesday, May 3, 2022 - Go to agenda
Wednesday, May 4, 2022 - Go to agenda
Thursday, May 5, 2022 - Go to agenda
Friday, May 6, 2022 - Go to agenda
Workshops:
- CAADCPS - The 2nd International Workshop on Computation-Aware Algorithmic Design for Cyber-Physical Systems
- CPHS - The 2nd International Workshop on Cyber-Physical-Human System Design and Implementation
- CPS-ER - The 1st Workshop on Cyber Physical Systems for Emergency Response
- CPS-IoTBench - The 5th Workshop on Benchmarking Cyber-Physical Systems and Internet of Things
- DESTION - The 4th Workshop on Design Automation for CPS and IoT
- DI-CPS - The 2nd Workshop on Data-Driven and Intelligent Cyber-Physical Systems for Smart Cities Workshop
- MSCPES - The 10th Workshop on Modeling and Simulation of Cyber-Physical Energy Systems
Tutorials:
- Localization-of-Things for Cyber-Physical Systems
- Octopus: Versatile Wideband MIMO Sensing Platform for Edge Intelligence in AIoT
- Publishing Your Validation Data to the Cyber-Physical Systems Virtual Organization
Competitions:
Wednesday, May 4, 2022 - Go to agenda
Keynote:
- Karl H. Johansson (KTH Royal Institute of Technology, Sweden) - Cyber-Physical Traffic Control using Automated Vehicles: Distributed Sensing, Actuation, and Learning
Conferences:
- HSCC - 25th ACM International Conference on Hybrid Systems: Computation and Control
- ICCPS - 13th ACM/IEEE International Conference on Cyber-Physical Systems
- IoTDI - 7th ACM/IEEE Conference on Internet of Things Design and Implementation
- IPSN - 21th ACM/IEEE International Conference on Information Processing in Sensor Networks
- RTAS - 28th IEEE Real-Time and Embedded Technology and Applications Symposium
Community meeting:
Thursday, May 5, 2022 - Go to agenda
Keynote:
- Luca Benini (ETH Zürich (The Switzerland and Università di Bologna, Italy) - Extreme Energy Efficiency for Extreme Edge AI: an Open Platform Perspective
- Session chair: Gian Pietro Picco (University of Trento, Italy)
Conferences:
- HSCC - 25th ACM International Conference on Hybrid Systems: Computation and Control
- ICCPS - 13th ACM/IEEE International Conference on Cyber-Physical Systems
- IoTDI - 7th ACM/IEEE Conference on Internet of Things Design and Implementation
- IPSN - 21th ACM/IEEE International Conference on Information Processing in Sensor Networks
- RTAS - 28th IEEE Real-Time and Embedded Technology and Applications Symposium
Competitions:
Friday, May 6, 2022 - Go to agenda
Keynote:
- Rich West (Boston University, USA and Drako Motors Inc., USA) - A Software and Hardware Architecture for Next-Generation Automotive Systems
Conferences:
- HSCC - 25th ACM International Conference on Hybrid Systems: Computation and Control
- ICCPS - 13th ACM/IEEE International Conference on Cyber-Physical Systems
- IoTDI - 7th ACM/IEEE Conference on Internet of Things Design and Implementation
- IPSN - 21th ACM/IEEE International Conference on Information Processing in Sensor Networks
- RTAS - 28th IEEE Real-Time and Embedded Technology and Applications Symposium
Program Agenda
Tuesday, May 3, 2022
Octopus | ||||||||||||||||||||||||
Publishing Your Validation Data to the CPS Virtual Organization | ||||||||||||||||||||||||
Networked Computing on the Edge | ||||||||||||||||||||||||
Localization of Things for CPS | ||||||||||||||||||||||||
CPS-ER | CPS-IoTBench | DI-CPS | MSCPES | DESTION | CAADCPS | CPHS | ||||||||||||||||||
& Session 1 | ||||||||||||||||||||||||
(Anthony Rowe) | (AI & DLT) | & Paper Session 1 | & Paper Session 1 | |||||||||||||||||||||
& Session 1 | (Colby Banbury) | |||||||||||||||||||||||
& Closing Session | (Comms & Localization) | |||||||||||||||||||||||
(Design Oracles and Simulation Models) | (Anuradha M. Annaswamy) | |||||||||||||||||||||||
(Dmitrii Kirov and Darren Cofer) | ||||||||||||||||||||||||
(AI for Design) | ||||||||||||||||||||||||
(Sanjit A. Seshia) | ||||||||||||||||||||||||
& Closing Session | (Simulation and Exploration) | |||||||||||||||||||||||
Wednesday, May 4, 2022
Karl Johansson (KTH Royal Institute of Technology, Sweden) Cyber-Physical Traffic Control using Automated Vehicles: Distributed Sensing, Actuation, and Learning | ||||||||||||||
Temporal Logics & Monitoring | Testing and Validation | Networking | Systems | Cyber-Physical Systems | ||||||||||
Synthesis | Multimodality in CPS | Context and Federated Learning | Communications | Fault-Tolerance | ||||||||||
Probabilistic and Stochastic Hybrid Systems | Safety and Verification | Machine Learning for IoT | Acoustics | Systems and Applications I | ||||||||||
(Ufuk Topcu) | AI-Driven Planning and Synthesis of CPS | IoT Systems at Scale: Opportunities and Challenges | Security and Privacy | RTOS | ||||||||||
Community Meeting with CPS-IoT Week | ||||||||||||||
Thursday, May 5, 2022
Luca Benini (ETH Zürich, Switzerland and Università di Bologna, Italy) Extreme Energy Efficiency for Extreme Edge AI: an Open Platform Perspective | ||||||||||||||
Verification | Security | Vision | Timing Analysis I | |||||||||||
Tool Papers & Case Studies | Machine Learning | Systems and Applications II | ||||||||||||
Hybrid Systems Stability | Real-time AI | |||||||||||||
GRAIC | ||||||||||||||
Friday, May 6, 2022
Mixed-Criticality | ||||||||||||||
Frameworks | ||||||||||||||
Low-Level Radio | Timing Analysis II | |||||||||||||
Hybrid Systems Theory | Performance, Shifts, and Anomalies | 5G and Privacy | Sensing | Security and Networking | ||||||||||
Tool Papers & Case Studies | Security and Vulnerability Detection and Protection | Security and Edge | Potpourri | Scheduling and Verification | ||||||||||
Rich West (Boston University, USA and Drako Motors Inc., USA) A Software and Hardware Architecture for Next-Generation Automotive Systems | ||||||||||||||