Development of a Reachability Analysis Algorithm for Space Applications

In the last decades developments in space technology paved the way to more challenging missions like asteroid mining, space tourism and human expansion into the Solar System. These missions require difficult tasks such as real-time capable guidance schemes for re-entry, landing on celestial bodies and implementation of large angle maneuvers for spacecraft. There is a need for an analysis tool to increase the robustness and success of these missions. Reachability analysis contributes to this requirement by obtaining the set of all achievable states for a dynamical system starting from an initial condition with given admissible control inputs of the system. In this study, an optimal control based reachability analysis algorithm is developed for evaluating the performance of the guidance and control methods for space missions considering the desired performance index. The developed method considers a soft-landing problem for a Moon mission as the case study, and attainable area of the lander as the performance index. The method computes feasible trajectories for the lunar lander between the point where the terminal landing maneuver starts and points that constitutes the candidate landing region. The candidate landing region is discretized by equidistant points on a two dimensional plane, i.e. in downrange and crossrange coordinates, and for each grid point a distance function is defined. This distance function acts as an objective function for a related optimal control problem (OCP). Each infinite dimensional OCP is transcribed into a finite dimensional Nonlinear Programming Problem (NLP) by using Pseudo-Spectral Methods (PSM). The NLPs are solved using available tools to obtain feasible trajectories and approximated reachable sets with information about the states of the dynamical system at the grid points. The proposed method approximates reachable sets of the lander with propellant-to-reach and time-to-reach cost by solution of NLPs. A polynomial-based Apollo guidance scheme is used to compare the results for the developed method. The coefficients that define the position of the lander are obtained by solving a series of explicit equations for the given initial and final states. A model inversion based PD controller is designed to track the generated trajectory. Feasible solutions that satisfy safe landing conditions are filtered and the results are compared for the two different approaches.

[1]  Erwin Mooij,et al.  SHEFEX-3 Optimal Feedback Entry Guidance , 2014 .

[2]  Ronald R. Sostaric,et al.  Powered Descent Guidance Methods For The Moon and Mars , 2005 .

[3]  Oded Maler,et al.  Computing Reachable States for Nonlinear Biological Models , 2009, CMSB.

[4]  Marco Sagliano,et al.  Exact Hybrid Jacobian Computation for OptimalTrajectory Generation via Dual Number Theory , 2016 .

[5]  Roberto Furfaro,et al.  Asteroid Precision Landing via Multiple Sliding Surfaces Guidance Techniques , 2013 .

[6]  S. Citron,et al.  A Terminal Guidance Technique for Lunar Landing , 1964 .

[7]  I. Kitsios,et al.  Aerodynamic Envelope Computation for Safe Landing of the HL-20 Personnel Launch Vehicle Using Hybrid Control , 2005, Proceedings of the 2005 IEEE International Symposium on, Mediterrean Conference on Control and Automation Intelligent Control, 2005..

[8]  S. Ploen,et al.  A Powered Descent Guidance Algorithm for Mars Pinpoint Landing , 2005 .

[9]  Ali Jadbabaie,et al.  Safety Verification of Hybrid Systems Using Barrier Certificates , 2004, HSCC.

[11]  Christof Büskens,et al.  Optimal Guidance and Control of Lunar Landers with Non-throttable Main Engine , 2011 .

[12]  Geoffrey Todd Huntington,et al.  Advancement and analysis of Gauss pseudospectral transcription for optimal control problems , 2007 .

[13]  Alexandre M. Bayen,et al.  A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games , 2005, IEEE Transactions on Automatic Control.

[14]  Christof Büskens,et al.  Real-time capable trajectory synthesis via multivariate interpolation methods for a moon landing manoeuvre , 2014 .

[15]  Michèle Lavagna,et al.  A semi-analytical guidance algorithm for autonomous landing , 2015 .

[16]  Marco Sagliano,et al.  Development of a Novel Algorithm for High Performance Reentry Guidance , 2016 .

[17]  Stavros Tripakis,et al.  Verification of Hybrid Systems with Linear Differential Inclusions Using Ellipsoidal Approximations , 2000, HSCC.

[18]  Jorge Nocedal,et al.  Knitro: An Integrated Package for Nonlinear Optimization , 2006 .

[19]  Bruce H. Krogh,et al.  Computational techniques for hybrid system verification , 2003, IEEE Trans. Autom. Control..

[20]  Christina Tvrdik Chomel Development of an analytical guidance algorithm for lunar descent , 2007 .

[21]  Joel Benito,et al.  Reachable and Controllable Sets for Planetary Entry and Landing , 2010 .

[22]  Thimo Oehlschlägel,et al.  Real-time Capable Nonlinear Model Predictive Controller Design for The Upper Stage of a Launch Vehicle , 2016 .

[23]  J. Glinsky,et al.  The general. , 1982, Nursing.

[24]  Oded Maler,et al.  Reachability Analysis via Face Lifting , 1998, HSCC.

[25]  Ronald R. Sostaric Powered Descent Trajectory Guidance and Some Considerations for Human Lunar Landing , 2007 .

[26]  G. E. Dille Guidance , 1930 .

[27]  Roberto Furfaro,et al.  Terminal Guidance for Lunar Landing and Retargeting Using a Hybrid Control Strategy , 2016 .

[28]  Wei Kang,et al.  New Trends in Nonlinear Dynamics and Control and their Applications , 2003 .

[29]  J. Crassidis,et al.  Extensions of the first and second complex-step derivative approximations , 2008 .

[30]  H.F. Durrant-Whyte,et al.  A new approach for filtering nonlinear systems , 1995, Proceedings of 1995 American Control Conference - ACC'95.

[31]  P. Varaiya,et al.  Ellipsoidal techniques for reachability analysis: internal approximation , 2000 .

[32]  Yunus E. Arslantas,et al.  Safe landing area determination for a Moon lander by reachability analysis , 2016 .

[33]  I. Michael Ross,et al.  Direct trajectory optimization by a Chebyshev pseudospectral method , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).

[34]  Carl de Boor,et al.  A Practical Guide to Splines , 1978, Applied Mathematical Sciences.

[35]  Colas Le Guernic Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire) , 2009 .

[36]  George W. Cherry,et al.  A CLASS OF UNIFIED EXPLICIT METHODS FOR STEERING THROTTLEABLE AND FIXED-THRUST ROCKETS , 1964 .

[37]  Jules Simo,et al.  Terminal Multiple Surface Sliding Guidance for Planetary Landing: Development, Tuning and Optimization via Reinforcement Learning , 2015 .

[38]  Matthias Althoff,et al.  Reachability Analysis and its Application to the Safety Assessment of Autonomous Cars , 2010 .

[39]  Patrick A. Croley Reachable sets for multiple asteroid sample return missions , 2005 .

[40]  John M. Carson,et al.  Lossless Convexification of Non-Convex Control Bound and Pointing Constraints of the Soft Landing Optimal Control Problem , 2012 .

[41]  Pravin Varaiya,et al.  Ellipsoidal Techniques for Reachability Analysis , 2000, HSCC.

[42]  Claire J. Tomlin,et al.  Applications of hybrid reachability analysis to robotic aerial vehicles , 2011, Int. J. Robotics Res..

[43]  George J. Pappas,et al.  Geometric programming relaxations for linear system reachability , 2004, Proceedings of the 2004 American Control Conference.

[44]  Frank Bretz,et al.  Comparison of Methods for the Computation of Multivariate t Probabilities , 2002 .

[45]  David K. Geller,et al.  Apollo-derived Mars precision lander guidance , 1998 .

[46]  G. L. Brauer,et al.  Capabilities and applications of the Program to Optimize Simulated Trajectories (POST). Program summary document , 1977 .

[47]  G. Leitmann The Calculus of Variations and Optimal Control: An Introduction , 2013 .

[48]  Feng Zhao,et al.  Automatic analysis and synthesis of controllers for dynamical systems based on phase-space knowledge , 1992 .

[49]  William W. Hager,et al.  Direct trajectory optimization and costate estimation of finite-horizon and infinite-horizon optimal control problems using a Radau pseudospectral method , 2011, Comput. Optim. Appl..

[50]  Robert Baier,et al.  Avoidance trajectories for driver assistance systems via solvers for optimal control problems , 2012 .

[51]  Lloyd N. Trefethen,et al.  Barycentric Lagrange Interpolation , 2004, SIAM Rev..

[52]  Victor M. Zavala,et al.  Large-scale nonlinear programming using IPOPT: An integrating framework for enterprise-wide dynamic optimization , 2009, Comput. Chem. Eng..

[53]  Robert Baier,et al.  A computational method for non-convex reachable sets using optimal control , 2009, 2009 European Control Conference (ECC).

[54]  J. Betts Survey of Numerical Methods for Trajectory Optimization , 1998 .

[55]  Marco Sagliano,et al.  Hybrid Jacobian Computation for Fast Optimal Trajectories Generation , 2013 .

[56]  Luis F. Peñín,et al.  ESA Lunar Lander: Approach Phase Concept and G&C Performance , 2013 .

[57]  Antoine Girard,et al.  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.

[58]  Jorge Nocedal,et al.  Algorithm 778: L-BFGS-B: Fortran subroutines for large-scale bound-constrained optimization , 1997, TOMS.

[59]  Bruce H. Krogh,et al.  Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations , 1999, HSCC.

[60]  Christof Büskens,et al.  Approximation of reachable sets by direct solution methods for optimal control problems , 2007, Optim. Methods Softw..

[61]  Anil V. Rao,et al.  Practical Methods for Optimal Control Using Nonlinear Programming , 1987 .

[62]  I. Michael Ross,et al.  Costate Estimation by a Legendre Pseudospectral Method , 1998 .

[63]  Ronald H. Dieck,et al.  A detailed description of the uncertainty analysis for high area ratio rocket nozzle tests at the NASA Lewis Research Center , 1987 .

[64]  Joel Benito,et al.  Characterizing the Controllable Entry States and Reachable Sites for Planetary Landing , 2008 .

[65]  R. K. Cheng Surveyor Terminal Guidance , 1965 .

[66]  Olaf Stursberg,et al.  Efficient Representation and Computation of Reachable Sets for Hybrid Systems , 2003, HSCC.

[67]  Federico Najson,et al.  A Computationally Non-Expensive Guidance Algorithm for Fuel Efficient Soft Landing , 2005 .

[68]  Simon J. Julier,et al.  The scaled unscented transformation , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[69]  Michael A. Saunders,et al.  User's Guide for SNOPT Version 7.4: Software for Large-Scale Nonlinear Programming , 2015 .

[70]  Fariba Fahroo On Discrete-Time Optimality Conditions for Pseudospectral Methods, AIAA (2006; Keystone, Colorado) , 2006 .

[71]  M. Gerdts,et al.  Approximation of reachable sets using optimal control algorithms , 2013 .

[72]  Anil V. Rao,et al.  GPOPS-II , 2014, ACM Trans. Math. Softw..

[73]  David G. Hull,et al.  Optimal Control Theory for Applications , 2003 .

[74]  Marco Sagliano,et al.  APPROXIMATION OF ATTAINABLE LANDING AREA OF A MOON LANDER BY REACHABILITY ANALYSIS , 2014 .

[75]  David E. Smith,et al.  Lunar Reconnaissance Orbiter Overview: The Instrument Suite and Mission , 2007 .

[76]  J. Stoer,et al.  Introduction to Numerical Analysis , 2002 .

[77]  Antoine Girard,et al.  Reachability of Uncertain Linear Systems Using Zonotopes , 2005, HSCC.

[79]  Stephen Hobbs,et al.  Guidance and Control system design for Lunar Descent and Landing , 2010 .

[80]  Marco Sagliano,et al.  Performance analysis of linear and nonlinear techniques for automatic scaling of discretized control problems , 2014, Oper. Res. Lett..

[81]  Lars Grüne,et al.  Computing reachable sets via barrier methods on SIMD architectures , 2012 .

[82]  Dusan M. Stipanovic,et al.  Polytopic Approximations of Reachable Sets Applied to Linear Dynamic Games and a Class of Nonlinear Systems , 2005 .

[83]  Robert F. Stengel Manual attitude control of the lunar module , 1970 .

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

[85]  Daniel J. Scheeres,et al.  Reachability set subspace computation for nonlinear systems using sampling methods , 2011, IEEE Conference on Decision and Control and European Control Conference.

[86]  Divya Garg,et al.  ADVANCES IN GLOBAL PSEUDOSPECTRAL METHODS FOR OPTIMAL CONTROL , 2011 .

[87]  L. Shampine,et al.  A collocation method for boundary value problems , 1972 .