Overview
Future aerospace vehicles are supposed to operate autonomously, safely, and reliably in unknown environments. This requires advanced analysis and verification methods beyond classical linear system analysis or Monte–Carlo simulations. We use results from optimal control and optimization to compute certificates proving stability, viability, and robustness. Furthermore, we combine those deterministic results with sampling-based techniques to derive probabilistic statements.
Stability analysis for unknown dynamical systems with scenario optimization and systems theory. ©2023 by Cunis.