Safety-Critical Autonomy and Verification for Space Missions
Project description (typically about a paragraph)
|
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..
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.
|
|
|
