Safety-Critical Autonomy and Verification for Space Missions

The main objective of this project is to develop a mathematical language to bridge the gap between high-level mission specifications and low-level control algorithms under partial and uncertain real-world environment representation. One of the important gaps between theory and real-world applications is that high level language that expresses mission in terms of temporal specifications, assumes the low level temporal properties are deterministic. This assumption is very unrealistic in real-world systems (in particular, for space applications) where the environment representation, and hence safety properties, are created based on imperfect and noisy sensor measurements.

Current participants: Petter Nilsson (Postdoc, MCE) Additional participants:

Collaborators: Ali Agha (JPL) Aaron Ames (MCE/CDS) Past participants: Sofie Haesaert (Alumni, CMS)

Objectives

File:Project-name.png

Description of the main objectives of the project

References

• Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. S. Haesaert, P. Nilsson, C. I. Vasile, R. Thakker, A. Agha-mohammadi, A. D. Ames and R. M. Murray. To appear in IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2018.
• Toward Specification-Guided Active Mars Exploration for Cooperative Robot Teams. P. Nilsson, S. Haesaert, C. Vasile, R. Thakker, A. Agha-mohammadi. R. M. Murray and A. D. Ames. To appear in Robotics: Science and Systems (RSS), 2018..

Agency: JPL Grant number:

Start date: 1 Oct 2017 End date: 31 May 2018

Support: 1 postdoc Reporting: Annual reports