Skip to main content
SpringerLink
Log in

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

  • Published:
Computing Aims and scope Submit manuscript

Abstract

For nonlinear systems, feedback control strategies have to be parameterized in such a way that they guarantee asymptotic stability in a certain neighborhood of desired operating points or desired trajectories. Due to not exactly known initial conditions, parameter uncertainties, and measurement errors characterizing dynamic system models in real applications, interval techniques are taken into consideration in this paper to verify stability properties of nonlinear uncertain systems with continuous-time dynamics. These techniques aim at a computation of guaranteed regions of attraction for asymptotically stable equilibria. The practical applicability is shown for the analysis of tracking controllers for ship motions in an uncertain environment. In this application, we focus on analyzing the effects of parameter uncertainties on the domains in the state-space that can be proven to belong to the region of attraction of the desired equilibrium.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Ackermann J, Blue P, Bünte T, Güvenc L, Kaesbauer D, Kordt M, Muhler M, Odenthal D (2002) Robust control: The parameter space approach, 2nd edn. Springer, London

    Google Scholar 

  2. Bendsten C, Stauning O (2007) FADBAD++, Version 2.1. http://www.fadbad.com

  3. Delanoue N (2006) Algorithmes numériques pour l’analyse topologique —Analyse par intervalles et théorie des graphes. Ph.D. thesis, École Doctorale d’Angers (in French)

  4. Hyodo N, Hong M, Yanami H, Anai H, Hara S (2006) Development of a MATLAB toolbox for parametric robust control—New algorithms and functions. In: Proceedings of SICE annual conference. Busan, Korea, pp 2856–2861

  5. Knüppel O (1994) Profil/BIAS—A fast interval library. Computing 53: 277–287

    Article  MathSciNet  MATH  Google Scholar 

  6. Krawczyk R. (1969) Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing 4: 189–201 (in German)

    Google Scholar 

  7. Kushner H (1967) Stochastic stability and control. Academic Press, New York

    MATH  Google Scholar 

  8. Pham QC, Tabareau N, Slotine JJ (2009) A contraction theory approach to stochastic incremental stability. IEEE Trans Autom Control 54(4): 816–820

    Article  MathSciNet  Google Scholar 

  9. Rauh A, Minisini J, Hofer EP (2008) Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering. In: Proceedings of Dagstuhl Seminar 08021: Numerical validation in current hardware architectures. Lecture Notes in Computer Science, vol 5492. Springer, Germany, pp 175–188

  10. Rauh A, Minisini J, Hofer EP (2009) Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties. Special issue of the International Journal of Applied Mathematics and Computer Science AMCS. Verified Methods: Applications in Medicine and Engineering 19(3): 425–439

    Google Scholar 

  11. Rohn J (1994) Positive definiteness and stability of interval matrices. SIAM J Matrix Anal Appl 15(1): 175–184

    Article  MathSciNet  MATH  Google Scholar 

  12. Walter É, Jaulin L (1994) Guaranteed characterization of stability domains via set inversion. IEEE Trans Autom Control 39(4): 886–889

    Article  MathSciNet  MATH  Google Scholar 

  13. Weinmann A (1991) Uncertain models and robust control. Springer, Wien

    Book  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Rostock, Chair of Mechatronics, 18059, Rostock, Germany

    Andreas Rauh, Thomas Dötschel & Harald Aschemann

  2. Faculty of Engineering, University of Duisburg-Essen, 47048, Duisburg, Germany

    Ekaterina Auer

Authors
  1. Andreas Rauh
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ekaterina Auer
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Thomas Dötschel
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Harald Aschemann
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Andreas Rauh.

Additional information

The authors have presented the results of this paper during the SCAN 2010 conference in Lyon, September 2010.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Rauh, A., Auer, E., Dötschel, T. et al. Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances. Computing 94, 345–356 (2012). https://doi.org/10.1007/s00607-011-0172-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00607-011-0172-x

Keywords

Mathematics Subject Classification (2000)

Search

Navigation