Hamilton-Jacobi

Characterization and Analysis of Emergency Landing Flight Envelopes with Graded Safety Specifications

arXiv:2606.05350v1 Announce Type: new Abstract: 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. In practice, ensuring a successful landing requires recognizing that aircraft operation spans a continuum in the state space from the nominal to the critical regime. Between these regimes lies a degraded regime of states outside nominal operation that may be visited...