James Kurien, P. Pandurang Nayak, Brian C. Williams.
Proceedings of the First International Conference of the Mars Society, Aug/98
This paper is meant to serve as an introduction to the concepts behind model-based autonomy for those who are not computer scientists and as a rough position paper regarding how those concepts might assist in a journey to Mars. The References section contains pointers to a number of papers on model-based autonomy with more technical detail and concrete explication.
Enter model-based autonomy, which allows complex systems to autonomously maintain operation despite failures or anomalous conditions, contributing to safe, robust, and minimally supervised operation of spacecraft, life support, ISRU and power systems. Autonomous reasoning is central to the approach. A reasoning algorithm uses a logical or mathematical model of a system to infer how to operate the system, diagnose failures and generate appropriate behavior to repair or reconfigure the system in response.
The "plug-and-play" nature of the models enables low cost development of autonomy for multiple platforms. Declarative, reusable models capture relevant aspects of the behavior of simple devices (e.g. valves or thrusters). Reasoning algorithms combine device models to create a model of the system-wide interactions and behavior of a complex, unique artifact such as a spacecraft. Rather than requiring engineers to envision all possible interactions and failures at design time or perform analysis during the mission, the reasoning engine generates the appropriate response to the current situation, taking into account its system-wide knowledge, the current state, and even sensor failures or unexpected behavior.
We also discuss ongoing application to Mars hardware prototypes, flight tests and future research.
[Paper PS (562k)]
[Paper PDF (221k)]
View presentation: On-Line