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 and H. Pfifer, “A semi-algebraic view on quadratic constraints for polynomial systems,” Automatica, vol. 163, no. 111549, Art. no. 111549, 2024, doi: 10.1016/j.automatica.2024.111549.
  2. 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]. Available:
  3. B. Lai, T. Cunis, and 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.
  4. T. Cunis and I. Kolmanovsky, “Viability, viscosity, and storage functions in model-predictive control with terminal constraints,” Automatica, vol. 131, p. 109748, 2021, doi: 10.1016/j.automatica.2021.109748.
To the top of the page