Safety-Critical Autonomy and Verification for Space Missions
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..
|
|
|
