Safety Analysis
Hamilton-Jacobi (HJ) reachability analysis, risk-sensitive safety analysis, safety analysis of robotic motion planners
Hamilton-Jacobi (HJ) reachability analysis, risk-sensitive safety analysis, safety analysis of robotic motion planners
Safe controller synthesis, optimal control for nonlinear systems, feedback control for constrained systems
Multi-unmanned aerial vehicle systems, human-robot interaction, motion planning for multi-agent robotic systems
Reinforcement learning for contorl, verification of deep neural networks, learning dynamics, learning-based perception with model-based control
Renewable energy, electric distribution networks
Safe real-time motion planning, unmanned aerial vehicles, autonomous ground vehicles, gasping and manipulation, insect-scale robotics
Breast cancer as a safety-critical system
Pursuit-evasion games for safety-critical systems, efficient solvers for nonlinear multi-player games