Launch-pad Abort Flight Envelope Computation for a Personnel Launch Vehicle Using Reachability
暂无分享,去创建一个
[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 .