Launch-pad Abort Flight Envelope Computation for a Personnel Launch Vehicle Using Reachability

The main limitation of existing computational tools for continuous system reachability problems is that, due to the exponential growth of the computation with the dimension of the continuous state space, the tools can be applied effectively to relatively low dimensional problems (typically 1-4 dimensions). In this paper we adopt a two time scale approach to extend the use of continuous system reachability tools to six dimensions, thus making them applicable to a number of interesting case studies in the area of aeronautics. To prove the effectiveness of our approach, we apply it in the launch-pad envelope computation for safe landing of the HL-20 Personnel Launch Vehicle (PLV). The mathematical model of the PLV that is used is a three degree of freedom (six state) nonlinear point mass model, modified to contain several state constraints for the final approach phase. The results show that it is feasible to do exacting computations with nonlinear continuous dynamics in higher dimensions, if one can exploit additional structure in the model (in our case, the separation into slow and fast dynamics).

[1]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[2]  Bernard Etkin,et al.  Dynamics of Atmospheric Flight , 1972 .

[3]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[4]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[5]  Ian M. Mitchell,et al.  Level Set Methods for Computation in Hybrid Systems , 2000, HSCC.

[6]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[7]  James A. Sethian,et al.  Level Set Methods and Fast Marching Methods: Evolving Interfaces in Computational Geometry, Fluid , 2012 .

[8]  Ian M. Mitchell,et al.  Safety verification of conflict resolution manoeuvres , 2001, IEEE Trans. Intell. Transp. Syst..

[9]  Jean-Pierre Aubin,et al.  Viability theory , 1991 .

[10]  John Lygeros,et al.  Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.

[11]  J. Sethian,et al.  Fronts propagating with curvature-dependent speed: algorithms based on Hamilton-Jacobi formulations , 1988 .

[12]  Alexandre M. Bayen,et al.  Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets , 2001, HSCC.

[13]  John Lygeros,et al.  On reachability and minimum cost optimal control , 2004, Autom..

[14]  E. Bruce Jackson,et al.  Real-time simulation model of the HL-20 lifting body , 1992 .

[15]  Lee,et al.  [American Institute of Aeronautics and Astronautics 46th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference - Austin, Texas ()] 46th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics and Materials Conference - Aeroelastic Studies on a Folding Wing Configuration , 2005 .

[16]  Nancy A. Lynch,et al.  Formal Verification of Safety-Critical Hybrid Systems , 1998, HSCC.

[17]  George Leitmann,et al.  Viability analysis of an aircraft flight domain for take-off in a windshear , 2002 .

[18]  Mark R. Greenstreet,et al.  Hybrid Systems: Computation and Control , 2002, Lecture Notes in Computer Science.

[19]  P. Saint-Pierre,et al.  Set-Valued Numerical Analysis for Optimal Control and Differential Games , 1999 .

[20]  J. Lygeros,et al.  High-level modeling and analysis of the traffic alert and collision avoidance system (TCAS) , 2000, Proceedings of the IEEE.

[21]  Thomas A. Henzinger,et al.  Hybrid Systems: Computation and Control , 1998, Lecture Notes in Computer Science.

[22]  E Dutton Kevin Optimal Control Theory Determination of Feasible Return-to-Launch-Site Aborts for the HL-20 Personnel Launch System Vehicle , 1994 .

[23]  E. B. Jackson,et al.  Launch-pad abort capabilities of the HL-20 lifting body , 1993 .