3 papers
eess.SY2026
Characterization and Analysis of Emergency Landing Flight Envelopes with Graded Safety Specifications
Chams Eddine Mballo, Bryce L. Ferguson, Inkyu Jang +2
Emergency landing flight envelope analysis traditionally adopts a binary notion of safety, whereby a trajectory is safe only if state constraints are satisfied pointwise in time. I…
eess.SY2025
Certifiable Reachability Learning Using a New Lipschitz Continuous Value Function
Jingqi Li, Donggun Lee, Jaewon Lee +3
We propose a new reachability learning framework for high-dimensional nonlinear systems, focusing on reach-avoid problems. These problems require computing the reach-avoid set, whi…
eess.SY2024
Solving Reach-Avoid-Stay Problems Using Deep Deterministic Policy Gradients
Gabriel Chenevert, Jingqi Li, Achyuta kannan +2
Reach-Avoid-Stay (RAS) optimal control enables systems such as robots and air taxis to reach their targets, avoid obstacles, and stay near the target. However, current methods for…