Safety-Critical Autonomy and Verification for Space Missions

From Murray Wiki
Revision as of 21:20, 11 November 2017 by Murray (talk | contribs)
Jump to navigationJump to search

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 (MCE postdoc)

Additional participants:

Collaborators:

  • Ali Agha (JPL)
  • Aaron Ames (MCE/CDS)

Past participants:

Objectives

Description of the main objectives of the project

References



  • Agency: JPL
  • Grant number:
  • Start date: 1 Oct 2017
  • End date: 31 May 2018
  • Support: 1 postdoc
  • Reporting: Annual reports