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

From Murray Wiki
Jump to navigationJump to search
(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...")
 
No edit summary
Line 1: Line 1:
{{righttoc}}  
{{righttoc}}  
Project description (typically about a paragraph)
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.


{| cellpadding=0 cellspacing=0 width=80%
{| cellpadding=0 cellspacing=0 width=80%
Line 11: Line 11:
|
|
Collaborators:
Collaborators:
* Ali Agha (JPL)
* Aaron Ames (MCE/CDS)


Past participants:
Past participants:
Line 23: Line 25:
{{project paper list}}
{{project paper list}}


[[Category:Pending project]]
[[Category:Current project]]
<!-- [[Category:Subgroup projects]] -->
<!-- [[Category:Subgroup projects]] -->
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.
{{Project
{{Project
|Title=Safety-Critical Autonomy and Verification for Space Missions
|Title=Safety-Critical Autonomy and Verification for Space Missions
|Agency=JPL
|Agency=JPL
|Start date=1 Jul 2017
|Start date=1 Oct 2017
|End date=30 Jun 2018
|End date=31 May 2018
|Support summary=1 postdoc
|Support summary=1 postdoc
|Reporting requirements=Annual reports
|Reporting requirements=Annual reports
}}
}}

Revision as of 21:19, 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:

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