10:30 am - 12:00 pm | Grand Salon 3
Future autonomous systems ranging from multi-robot networks to distributed satellite constellations must operate reliably under limited, delayed, and lossy communications. Traditional control and learning frameworks, however, assume perfect information flow, leaving a fundamental gap between the theory and the realities of modern cyber-physical systems
Organizers:
10:30 am - 12:00 pm | Grand Salon 6
We present a tutorial focused on the applications of control barrier functions (CBFs) to flight-critical aerospace systems. This tutorial is motivated by the need for mathematically justified approaches to state and input limiting on various aerospace systems, much of which is currently accomplished using heuristic techniques.
Organizers:
1:00 - 3:00 pm | Grand Salon 3
Deep learning–based controllers have gained substantial popularity due to their strong empirical performance. However, their deployment in safety-critical scenarios remains a major concern. In this tutorial, we bridge learning-based control with the modern neural network verifier α,β-CROWN, a state of-the-art method that scales via GPU-parallel symbolic linear bound propagation and branch-and-bound refinement.
Organizers:
1:00 - 3:00 pm | Grand Salon 6
Remanufacturing is fundamentally more challenging than traditional manufacturing because of the extreme uncertainty, variability, and incompleteness of end-of-life (EoL) products. In manufacturing, components are usually standardized and processes are repeatable; however, remanufacturing should cope with unknown product conditions, unpredictable disassembly sequences, missing or damaged parts, various product generations, and heterogeneous product types, all while meeting economic and sustainability goals.
Organizers:
3:30 - 5:00 pm | Grand Salon 3
Recent advances at the intersection of control theory and neuroscience have revealed novel mechanisms by which dynamical systems perform computation. These advances encompass a wide range of conceptual and computational ideas, used for model learning and training, memory retrieval, data-driven control, and optimization. This tutorial will highlight neuro-inspired approaches to computation that aim to improve scalability, robustness, and energy efficiency across such tasks, bridging the gap between artificial and natural systems.
Organizers:
3:30 - 5:00 pm | Grand Salon 6
This tutorial discusses the intersection between control theory, decision-making, and sports analytics. Its purpose is to motivate researchers to engage with open problems in sports, demonstrate how foundational tools from controls and optimization can be applied to these domains, and provide practical guidance for entering the field.
Organizers:
3:30 - 5:00 pm | Grand Salon 3
Modern energy systems in vehicles and built infrastructure are governed by high-dimensional dynamics spanning multiple physical domains (e.g., electrical, thermal, mechanical) and a wide range of timescales. This tutorial session presents a graph based modeling approach created to facilitate the modeling, analysis, control, estimation, and co-design of energy systems.
Organizers:
3:30 - 5:00 pm | Grand Salon 6
Resource allocation is a fundamental challenge in control theory, with applications spanning security, surveillance, network control, and market strategy. These problems are often associated with decision-making in adversarial environments, where players compete for control over valued contests.
Organizers:
3:30 - 5:00 pm | Grand Salon 3
This tutorial will explore the intersection of quantum control, game theory, and AI deception, emphasizing their role in advancing secure and strategic decision-making. It will examine the role of control in enabling reliable quantum information processing, where precise manipulation of quantum states underpins robust computation and communication.
Organizers:
3:30 - 5:00 pm | Grand Salon 6
The purpose of the proposed tutorial Control via Incentives and Information in Socio-technical Systems: A Tutorial is two-fold: 1) gather researchers across the controls community who work on systems and infrastructures which interact with human populations, and 2) educate and inform an audience on classic and state-of-the-art techniques to control the systems behaviors by influencing the user society.
Organizers:
