Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances

DOI10.1007/S00607-011-0172-XzbMath1246.93122OpenAlexW2070655860MaRDI QIDQ411428

Andreas Rauh, Harald Aschemann, Ekaterina Auer, Thomas Dötschel

Publication date: 4 April 2012

Published in: Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00607-011-0172-x

zbMATH Keywords

stability analysisLyapunov functionsinterval uncertaintiescontrol of uncertain dynamical systemsguaranteed regions of attraction

Mathematics Subject Classification ID

Feedback control (93B52) Nonlinear systems in control theory (93C10) Control/observation systems with incomplete information (93C41) Perturbations in control/observation systems (93C73) Stochastic stability in control theory (93E15)

Related Items (2)

Kernel characterization of an interval function ⋮ Verified Parameter Identification for Dynamic Systems with Non-Smooth Right-Hand Sides

Uses Software

• PROFIL/BIAS
• FADBAD++

Cites Work

• PROFIL/BIAS - A fast interval library
• Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
• Stochastic stability and control
• Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties
• Positive Definiteness and Stability of Interval Matrices
• Guaranteed characterization of stability domains via set inversion
• A Contraction Theory Approach to Stochastic Incremental Stability

This page was built for publication: Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances