Research
|
     
|
Physical AI & Verifiable Autonomy: Learning where it helps, guarantees where they matter.
Learning-enabled estimation and control
Formal methods and discrete event systems
Safe decision making for autonomous systems
Multi-robot coordination
Estimation & Control of Interconnected Systems: Scalable theory for systems with many coupled parts.
Distributed and decentralized state estimation
Sensor-lean estimation
Model predictive and event-triggered control
Large-scale numerical optimization
Electrified & Intelligent Systems: Where the methods meet hardware.
EV battery management and second-life batteries
Power converter control and hybrid energy systems
Autonomous vehicles and ground mobile robots
Personalized mobility
Estimation and Control of Large-Scale Interconnected Systems with Automotive Applications [University of Michigan Control Seminar, September 2026, Recording]