Analysis & Verification

Proving nonlinear system properties for complex systems.

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.

Publikationen aus dem Bereich Analysis & Verification

  1. T. Cunis, “Probabilistic Safety Analysis for Model Predictive Control with a Case Study on Aircraft Upset Recovery,” in Nonlinear and Constrained Control: Applications, Synergies, Challenges and Opportunities, E. Garone, I. Kolmanovsky, and T. W. Nguyen, Eds., Cham: Springer Nature Switzerland, 2025, pp. 181–206. doi: 10.1007/978-3-031-82681-8_8.
  2. N. Holzinger and T. Cunis, “Verification of a Nonlinear Upset Recovery Control Law using Scenario Optimisation,” in 2024 IEEE Conference on Control Technology and Applications (CCTA), IEEE, 2024, pp. 26–31. doi: 10.1109/CCTA60707.2024.10666640.
  3. T. Cunis and H. Pfifer, “A semi-algebraic view on quadratic constraints for polynomial systems,” Automatica, vol. 163, Art. no. 111549, 2024, doi: 10.1016/j.automatica.2024.111549.
  4. T. Cunis, “Local Stability Analysis for Sensor-based Inexact Feedback Linearization,” in 6th CEAS Conference on Guidance, Navigation, and Control, Berlin, 2022. [Online]. Available: https://eurognc.ceas.org/archive/EuroGNC2022/html/CEAS-GNC-2022-052.html
  5. B. Lai, T. Cunis, and L. Burlion, “Nonlinear Trajectory Based Region of Attraction Estimation for Aircraft Dynamics Analysis,” in AIAA Scitech 2021 Forum, Virtual, 2021. doi: 10.2514/6.2021-0253.
  6. 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.
Zum Seitenanfang