A risk-aware architecture for resilient spacecraft operations

In this paper we discuss a resilient, risk-aware software architecture for onboard, real-time autonomous operations that is intended to robustly handle uncertainty in space-craft behavior within hazardous and unconstrained environments, without unnecessarily increasing complexity. This architecture, the Resilient Spacecraft Executive (RSE), serves three main functions: (1) adapting to component failures to allow graceful degradation, (2) accommodating environments, science observations, and spacecraft capabilities that are not fully known in advance, and (3) making risk-aware decisions without waiting for slow ground-based reactions. This RSE is made up of four main parts: deliberative, habitual, and reflexive layers, and a state estimator that interfaces with all three. We use a risk-aware goal-directed executive within the deliberative layer to perform risk-informed planning, to satisfy the mission goals (specified by mission control) within the specified priorities and constraints. Other state-of-the-art algorithms to be integrated into the RSE include correct-by-construction control synthesis and model-based estimation and diagnosis. We demonstrate the feasibility of the architecture in a simple implementation of the RSE for a simulated Mars rover scenario.

[1]  Masahiro Ono,et al.  An Efficient Motion Planning Algorithm for Stochastic Dynamic Systems with Constraints on Probability of Failure , 2008, AAAI.

[2]  Sarah Osentoski,et al.  ROS and Rosbridge: Roboticists out of the loop , 2012, 2012 7th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[3]  Rob Sherwood,et al.  Using Autonomy Flight Software to Improve Science Return on Earth Observing One , 2005, J. Aerosp. Comput. Inf. Commun..

[4]  Issa A. D. Nesnas,et al.  T CLARAty : A Collaborative Software for Advancing Robotic Technologies , .

[5]  Masahiro Ono,et al.  Robust, Goal-directed Plan Execution with Bounded Risk , 2012 .

[6]  A. Jain,et al.  Recent developments in the ROAMS planetary rover simulation environment , 2004, 2004 IEEE Aerospace Conference Proceedings (IEEE Cat. No.04TH8720).

[7]  Hui X. Li,et al.  A probabilistic approach to optimal robust path planning with obstacles , 2006, 2006 American Control Conference.

[8]  Tony Greicius.  NASA's Deep Impact Produced Deep Results , 2015 .

[9]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[10]  Lydia E. Kavraki,et al.  The Open Motion Planning Library , 2012, IEEE Robotics & Automation Magazine.

[11]  Shimon Whiteson,et al.  Incremental Clustering and Expansion for Faster Optimal Planning in Dec-POMDPs , 2013, J. Artif. Intell. Res..

[12]  Masahiro Ono,et al.  Paper Summary: Probabilistic Planning for Continuous Dynamic Systems under Bounded Risk , 2013, ICAPS.

[13]  Masahiro Ono,et al.  Chance-Constrained Optimal Path Planning With Obstacles , 2011, IEEE Transactions on Robotics.

[14]  Masahiro Ono,et al.  Iterative Risk Allocation: A new approach to robust Model Predictive Control with a joint chance constraint , 2008, 2008 47th IEEE Conference on Decision and Control.

[15]  G. Horvath,et al.  Practical application of model-based programming and state-based architecture to space missions , 2006, 2nd IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT'06).

[16]  M Ono,et al.  Chance constrained finite horizon optimal control with nonconvex constraints , 2010, Proceedings of the 2010 American Control Conference.

[17]  Brian Charles Williams,et al.  Chance-Constrained Consistency for Probabilistic Temporal Plan Networks , 2014, ICAPS.

[18]  D. L. Gray,et al.  Fault-tolerant guidance algorithms for Cassini's Saturn orbit insertion burn , 1998, Proceedings of the 1998 American Control Conference. ACC (IEEE Cat. No.98CH36207).

[19]  P. Pandurang Nayak,et al.  Remote Agent: To Boldly Go Where No AI System Has Gone Before , 1998, Artif. Intell..

[20]  Masahiro Ono,et al.  Risk-sensitive plan execution for connected sustainable home , 2012, BuildSys@SenSys.

[21]  Cheng Fang,et al.  Resource Aggregated Reconfigurable Control and Risk-Allocative Path Planning for On-orbit Servicing and Assembly of Satellites , 2014 .

[22]  Brian C. Williams,et al.  Model-based programming of intelligent embedded systems and robotic space explorers , 2003, Proc. IEEE.

[23]  Cheng Fang,et al.  Chance-Constrained Probabilistic Simple Temporal Problems , 2014, AAAI.

[24]  Tara Estlin,et al.  CLARAty: an architecture for reusable robotic software , 2003, SPIE Defense + Commercial Sensing.

[25]  Masahiro Ono.  Joint chance-constrained model predictive control with probabilistic resolvability , 2012, 2012 American Control Conference (ACC).

[26]  Ufuk Topcu,et al.  Synthesis of Control Protocols for Autonomous Systems , 2013 .

[27]  Lars James Christopher Blackmore,et al.  Robust Execution for Stochastic Hybrid Systems , 2008 .

[28]  Johan Löfberg,et al.  YALMIP : a toolbox for modeling and optimization in MATLAB , 2004 .

[29]  Emilio Frazzoli,et al.  Sampling-based algorithms for optimal motion planning , 2011, Int. J. Robotics Res..

[30]  Johan Efberg,et al.  YALMIP : A toolbox for modeling and optimization in MATLAB , 2004 .

[31]  Cheng Fang,et al.  Resource Aggregated Reconfigurable Control and Risk-Allocative Path Planning for On-orbit Assembly and Servicing of Satellites , 2013 .

[32]  P. Pandurang Nayak,et al.  Validating the DS-1 Remote Agent Experiment , 1999 .

[33]  David Wang,et al.  tBurton: A Divide and Conquer Temporal Planner , 2015, AAAI.