The workshop (full day, 8:45 am to 5:00 pm) will consist of a morning and afternoon session with talks
from diverse speakers, concluding with lightning talks and a poster session from selected students and
postdocs. Titles are tentative.
| Time | Speakers | Title |
|---|---|---|
| 08:45-09:00 | Ames, Matni, Zardini | Introduction to the workshop |
| 09:00-09:30 | Alessandro Abate (TBD) | Learning and Verification of complex systems |
| 09:30-10:00 | James Anderson | Architectures for Vision Based Control with World Models |
| 10:00-10:30 | Chris Verhoek and Nikolai Matni | A Quantitative Framework for Navigating Controller Design Tradeoffs |
| 10:30-11:00 | Coffee break and discussions | |
| 11:00-11:30 | Alberto Padoan | Separation principles for optimization architectures |
| 11:30-12:00 | Matthew Hale | Compositional Optimization for Layered Control Architectures |
| 12:00-12:30 | Dimitra Panagou | Interconnecting Task and Motion Planning under Constraints and Uncertainty |
| 12:30-14:00 | Lunch break | |
| 14:00-14:30 | Sylvia Herbert | Composable safety monitors for long-horizon complex tasks |
| 14:30-15:00 | Runyu Zhang | Structure-aware optimization for complex systems |
| 15:00-15:30 | Coffee break and discussions | |
| 15:30-16:00 | Inigo Incer | Designing Provably Safe and Secure Systems with Assume-Guarantee Contracts |
| 16:00-onwards | Selected Students & Postdocs | Lightning Talks and Poster Session |
Students and postdocs will be given the opportunity to present. More info soon.
We ran the first two editions of CAT at CDC 2024 and CDC 2025.