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.SY2024
Deep Reinforcement Learning for Reach-Avoid-Stay Problems
Gabriel Chenevert, Jingqi Li, Achyuta kannan +2
Reach-Avoid-Stay (RAS) tasks are essential in applications where systems must safely reach a target set and remain within it under all bounded disturbances. Existing approaches eit…
eess.SY2024
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…