Abstracts - 2007
Tractable Approach to Model-based Temporal Planning for Engineering Operations
Seung H. Chung & Brian C. Williams
As the operational complexity of NASA's increasingly ambitious missions increases, the capabilities of our current operations processes and tools are becoming increasingly strained. The tremendously successful Mars Exploration Rover (MER) mission points to ground-based planning of engineering operations as a potentially time-consuming and error-prone process.
The conventional approaches to systems and software engineering inadvertently create a fundamental gap between the requirements on software specified by systems engineers and the implementation of these requirements by software engineers. Software engineers must perform the translation of requirements into software code, hoping to accurately capture the systems engineer's understanding of the system behavior, which is not always explicitly specified. This gap opens up the possibility for misinterpretation of the systems engineer's intent, potentially leading to software errors.
Operational efficiency is also a driving concern for ground-based embedded systems. For example, the Deep Space Network (DSN) is under constant pressure to reduce its operations budget, while continuing to provide high quality-of-service telecommunications support to an increasing number of spacecraft. This dilemma can be at least partially addressed by increasing the level of automation of its Monitor and Control (M&C) functions, thus enabling operators to work more efficiently, taking on supervisory responsibility for multiple concurrent spacecraft tracking activities.
This research addresses the problem of autonomously planning and sequencing for engineering operation of spacecraft and ground-based systems using the model-based approach .
The main objective of this research is to develop a model-based temporal planner that automatically generates an executable sequence for discrete, stochastic, hidden state systems, based on behavior specifications of the components of a system and the specification of the operator's mission objectives and intent. The model used by this planner must be capable of expressing the stochasticity, uncontrollable actions, and temporal constraints. Furthermore, since many systems today include software, the model must be also capable of representing the specification of processes. The goal must specify the intent of the operator and mission objectives. This may include declaring invariants, desired trajectory of partial states, temporal constraints among partial states, etc. Finally, the temporal planner must be able to plan from those models and goals in an efficient manner.
Existing approach to sequencing engineering operations of spacecraft and ground-based assets will be improved through explicit use of verifiable models, i.e. model-based, and state-of-the-art goal-directed planning algorithms. To accomplish this task, the following approaches to modeling, specifying goals, and planning are proposed (see Figure 1):
Though the objective of this research is to solve autonomous engineering operations problem, an onboard autonomous planning problem is similar. If realtime performance can be guaranteed, the new approach should also be applicable to the onboard autonomous planning problem.
The new approach is novel in several ways:
Unlike other planning and sequencing systems, the new approach will directly exploit engineering models of system component behaviors to compose the plan, validate its robustness under both nominal and failure situations, and, when required, synthesize novel procedures from first principles.
The goal-directed and model-based temporal planning capability has the potential for significant impact on the operations of future space missions and related ground infrastructure (e.g., Deep Space Network), in the form of improved efficiency for ground-based operations in the near term, and in the form of greater onboard autonomy in the longer term. It will particularly benefit highly complex missions, where the experience on Mars Exploration Rover (MER) points to ground-based planning of engineering operations as a potentially time-consuming and error-prone process. The ability to leverage systems engineering models for direct use in automated sequencing will improve the efficiency of mission operations and reduce the risk of errors in translating the understanding of system behavior into operational sequences.
 B. C. Williams, M. D. Ingham, S. H. Chung, and P. H. Elliott. Model-based programming of intelligent embedded systems and robotic space explorers. In Proceedings of the IEEE: : Special Issue on Modeling and Design of Embedded Software, volume 9, no. 1, pp. 212--237, January 2003.