Safety-Critical Autonomy and Verification for Space Missions

From Murray Wiki
Revision as of 21:16, 11 November 2017 by Murray (talk | contribs) (Created page with "{{subst:project boilerplate}} The main objective of this proposal is to develop a mathematical language to principally bridge the gap between high-level mission specificati...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

Project description (typically about a paragraph)

Current participants:

Additional participants:

Collaborators:

Past participants:

Objectives

Description of the main objectives of the project

References

The main objective of this proposal is to develop a mathematical language to principally 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. A main objective of this method is to relax this assumption.



  • Agency: JPL
  • Grant number:
  • Start date: 1 Jul 2017
  • End date: 30 Jun 2018
  • Support: 1 postdoc
  • Reporting: Annual reports