09:30–10:50 UTC 05:30 EDT · 11:30 CEST · 18:30 JST
Network Systems TC Session
Chair: Emiliano Dall'Anese (Boston University)
A cross-cutting session on the state of the art in network systems, from dynamical flow networks to optimization and information theory.
Invited speakers:
- Network Systems and Dynamical Flow Networks - Gustav Nilsson (Inria Grenoble)
- Network Systems and Optimization - Sergio Grammatico (TU Delft)
- Network Systems and Information Theory - Oron Sabag (Hebrew University of Jerusalem)
- Contracting Dynamics for Time-Varying Convex Optimization: From Centralized to Decentralized Cases - Sasha Davydov (Rice University)
10:50–12:00 UTC — Break
12:00–13:30 UTC 08:00 EDT · 14:00 CEST · 21:00 JST
Quantum Computing, Systems & Control TC Session
Chairs: Julian Berberich & Daoyi Dong
Overview of the TC's activities and three invited talks on quantum systems and control.
Invited Speakers:
- Geometric quantum control - Domenico D'Alessandro (Iowa State University, USA)
- Robustness of quantum algorithms - Julian Berberich (University of Stuttgart, Germany)
- Ultra-high-precision quantum sensing via non-Hermitian effects, control, and optimization - Bo Qi (Chinese Academy of Science, China)
13:30–14:00 UTC — Changeover
14:00–16:00 UTC 10:00 EDT · 16:00 CEST
Safe and Sound: Robust Data-Driven Cyber-Physical Systems
Joint session — Hybrid Systems TC & Robust and Complex Systems TC | Chairs: Jun Liu, Sze Zheng Yong, Necmiye Ozay
A joint session on robust, data-driven approaches to safe operation of cyber-physical systems.
Invited Speakers:
- From Spatio-Temporal Specifications to Robust Robot Behavior - Jana Tumova (KTH Royal Institute of Technology)
- Abstractions for Scalable Verification of AI-enabled Cyber-Physical Systems - Pavithra Prabhakar (The University of New Mexico)
- Certifiable AI Control - Murat Arcak (University of California, Berkeley)
- Formal Methods for Control and the Role of Specifications - Necmiye Ozay (University of Michigan, Ann Arbor)
16:00–16:15 UTC — Break
16:15–17:45 UTC 12:15 EDT · 18:15 CEST
Transdisciplinary Challenges and Opportunities in Interconnected Cyber-Socio-Technical Systems
Joint session — TCs on Automotive Control, Energy Systems & Smart Cities | Coordinator: Mauro Salazar (TU Eindhoven)
Three 30-minute slots (talk + Q&A) offering a transdisciplinary perspective on interconnected cyber-socio-technical systems at the intersection of energy, mobility, and urban life.
Invited speakers:
- 16:15 UTC — TC Energy Systems: Control of distributed energy resources. - Johanna Mathieu (University of Michigan)
- 16:45 UTC — TC Smart Cities: A Smart City Puts Walking First: The Necessity of History to Better Urban Futures. - Peter Norton (University of Virginia, Department of History)
- 17:15 UTC — TC Automotive Control: Reasoning Models for Physical AI. - Marco Pavone (Stanford & NVIDIA Autonomous Driving)
17:45–17:55 UTC — Break
17:55–19:15 UTC 13:55 EDT · 19:55 CEST
Where Is the Healthcare & Medical Systems TC Heading?
Chair: Sérgio Pequito (Instituto Superior Técnico, Lisboa) | Vice-Chair: Emily Pereira (Texas Tech)
Two keynote presentations followed by a moderated round-table on the future directions of control in healthcare and medical systems.
Long-Term Effects of Physical Activity on Blood Glucose Regulation: A Model to Unravel Diabetes Progression
Invited Speaker: Pierluigi De Paola (2024 Awardee)
Model-based Estimation of Ventricular Cerebrospinal Fluid Volume
Invited Speaker: Flürenbrock Fabian
Round-Table focused on the future prospects of Healthcare and Medical Systems Participants
Panelists
- Juergen Hahn (RPI)
- Emily Pereira (TTU)
- Clara Mihaela Ionescu (UGent)
- Alessandro Borri (National Research Council of Italy)
19:15–19:30 UTC — Break
19:30–21:00 UTC 15:30 EDT · 21:30 CEST
Aerospace Controls TC Session
Chair: Gokhan Inalhan (The Sloane Institute)
Overview of the TC's activities and invited talks on current aerospace control challenges.
Speakers:
- Professor Jonathan How (MIT)
- Dr. Kevin Wise (The BOEING corporation)
- Professor Dimitra Panagou (University of Michigan at Ann Arbor)
- Dr. Gokhan Inalhan (The Sloane Institute)
21:00–21:15 UTC — Break
21:15–22:45 UTC 17:15 EDT · 23:15 CEST
Introduction to Quantum Computing in Process Control
TC Process Control Chair: Helen Durand (Wayne State University)
This workshop will teach users about quantum computing and algorithms basics and accessing a quantum computer. We will discuss our recent work investigating closed-loop stability implications of quantum computing in control loops.