Safety-Critical Autonomy and Verification for Space Missions: Difference between revisions

From Murray Wiki
Jump to navigationJump to search
No edit summary
mNo edit summary
Line 6: Line 6:
|  
|  
Current participants:
Current participants:
* Petter Nilsson (MCE postdoc)
* Petter Nilsson (Postdoc, MCE)
{{project current participants}}
{{project current participants}}
Additional participants:
Additional participants:

Revision as of 21:20, 11 November 2017

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:

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