Explainable and Scalable Planning with Probabilistic Temporal Logic Specifications

Metadata Updated: February 28, 2019

Human spaceflight operations challenge currently available planning technology. They typically rely on a large number of integrated functions including mission planning, crew planning, solar array management, power and thermal management and system health monitoring. These functions serve under heterogenous uncertainties (stemming from anomalies and faults in equipment and intrinsic unknowns about the environment), time-varying requirements and multiple, possibly competing objectives. Co-work with the crew introduces unique difficulties as well. Humans’ capabilities and limitations in these capabilities add to the uncertainties. Humans’ preferences and need for compatibility between the humans and autonomous control protocols introduce unconventional constraints. The proposed effort introduces a paradigm shift in the planning-execution loop by addressing a number of these challenges. Our emphasis particularly on unambiguous, formal specifications and compilation of executable control software with provable guarantees and systematic sensitivity analysis diffuses the critical concern of reliability throughout the planning execution loop. The proposed algorithms will incorporate models with stochastic as well as nondeterministic uncertainties and rich specifications with temporal and logical relations as well as probabilistic and real-time modalities as needed. Integrated planning for the coupled functions introduces possibilities for system-level optimization, e.g., in performance, weights and overall cost. Finally, the proposed algorithmic and architectural advances will improve not  only the scalability of the resulting synthesis algorithms but also their interpretability by and explainability to the crew and designers.

Access & Use Information

Public: This dataset is intended for public access and use. License: U.S. Government Work

Downloads & Resources


Metadata Created Date August 1, 2018
Metadata Updated Date February 28, 2019

Metadata Source

Harvested from NASA Data.json

Additional Metadata

Resource Type Dataset
Metadata Created Date August 1, 2018
Metadata Updated Date February 28, 2019
Publisher Space Technology Mission Directorate
Unique Identifier TECHPORT_92040
Maintainer Email
Public Access Level public
Bureau Code 026:00
Metadata Context https://project-open-data.cio.gov/v1.1/schema/catalog.jsonld
Metadata Catalog ID https://data.nasa.gov/data.json
Schema Version https://project-open-data.cio.gov/v1.1/schema
Catalog Describedby https://project-open-data.cio.gov/v1.1/schema/catalog.json
Harvest Object Id 3d28a4d3-43fa-4500-91bc-d1fc4fc115d2
Harvest Source Id 39e4ad2a-47ca-4507-8258-852babd0fd99
Harvest Source Title NASA Data.json
Data First Published 2020-01-01
Homepage URL https://techport.nasa.gov/view/92040
License http://www.usa.gov/publicdomain/label/1.0/
Data Last Modified 2018-07-19
Program Code 026:027
Source Datajson Identifier True
Source Hash c3f5c0372270b22aa4fd49d7995cdeed1c4dd27b
Source Schema Version 1.1

Didn't find what you're looking for? Suggest a dataset here.