Safety-Critical Autonomy and Verification for Space Missions: Difference between revisions
(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}} | ||
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: | [[Category:Current project]] | ||
<!-- [[Category:Subgroup projects]] --> | <!-- [[Category:Subgroup projects]] --> | ||
{{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 | |Start date=1 Oct 2017 | ||
|End date= | |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:
Past participants:
|
Objectives
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..
|
|
|