Analysis & Verification

Proving nonlinear system properties for complex systems.


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.

Publikationen aus dem Bereich Analysis & Verification

  1. T. Cunis, „Local Stability Analysis for Sensor-based Inexact Feedback Linearization“, in 6th CEAS Conference on Guidance, Navigation, and Control, in 6th CEAS Conference on Guidance, Navigation, and Control. Berlin, 2022. [Online]. Verfügbar unter:
  2. B. Lai, T. Cunis, und L. Burlion, „Nonlinear Trajectory Based Region of Attraction Estimation for Aircraft Dynamics Analysis“, in AIAA Scitech 2021 Forum, in AIAA Scitech 2021 Forum. Virtual, 2021. doi: 10.2514/6.2021-0253.
  3. T. Cunis und I. Kolmanovsky, „Viability, viscosity, and storage functions in model-predictive control with terminal constraints“, Automatica, Bd. 131, S. 109748, 2021, doi: 10.1016/j.automatica.2021.109748.
Zum Seitenanfang