Intervallmethoden für Analyse und Entwurf von Steuerungen und Regelungen

Gesicherte Steuerungsberechnung, Zustands- und Störgrößenschätzung

Thema2.pdf

Ausgewählte Literatur

Intervallkennfeld
  • Rauh, Andreas; Hofer, Eberhard P.: Interval Methods for Optimal Control . In A. Frediani, G. Buttazzo (editors): Proc. of the 47th Workshop on Variational Analysis and Aerospace Engineering, Erice, Italy, 2007. Springer–Verlag, 2009.
  • Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.: Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering, Proc. of Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Vol. 5492 of Lecture Notes in Computer Science, Springer–Verlag, Dagstuhl, Germany, pp. 175–188, 2009.
  • Rauh, Andreas; Auer, Ekaterina: Organization of Minisymposium on Validated Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering, ECMI2008, London, UK, 2008.
  • Freihold, Mareile; Rauh, Andreas; Hofer, Eberhard P.: Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Models of Blood Cell Dynamics, in Minisymposium on Validated Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering, ECMI2008, London, UK, 2008.
  • Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.: Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties, in Minisymposium on Validated Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering, ECMI2008, London, UK, 2008.
  • Rauh, Andreas: Theorie und Anwendung von Intervallmethoden für Analyse und Entwurf robuster und optimaler Regelungen dynamischer Systeme, Dissertation (in German), University of Ulm, Fortschritt-Berichte VDI, Reihe 8, Nr. 1148, 2008
  • Rauh, Andreas; Auer, Ekaterina: Validated Simulation of ODEs and DAEs in ValEncIA-IVP, presented at 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN2008, El Paso, USA, 2008.
  • Rauh, Andreas; Auer, Ekaterina; Freihold, Mareile; Hofer, Eberhard P.; Aschemann, Harald: Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems with Applications in Mechanics, presented at 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN2008, El Paso, USA, 2008.
  • Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.; Aschemann, Harald: Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic, presented at 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN2008, El Paso, USA, 2008.
  • Rauh, Andreas; Auer, Ekaterina; Hofer, Eberhard P.; Luther, Wolfram (editors): Verified Methods: Applications in Medicine and Engineering, Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS, Vol. 19, No. 3, 2009.
  • Rauh, Andreas; Brill, Michael; Günther, Clemens: A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP, Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS on Verified Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering, Vol. 19, No. 3, 2009.
  • Rauh, Andreas; Minisini, Johanna; Hofer, Eberhard P.: Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamical Systems with Uncertainties, Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS on Verified Methods: Applications to Modeling, Analysis, and Design of Systems in Medicine and Engineering, Vol. 19, No. 3, 2009.
  • Rauh, Andreas; Auer, Ekaterina: Applications of Verified DAE Solvers in Engineering, Intl. Workshop on Verified Computations and Related Topics, COE Lecture Note Vol. 15: Kyushu University, pp. 88–96, Karlsruhe, Germany, 2009.
  • Auer, Ekaterina; Rauh, Andreas: Toward Definition of Systematic Criteria for the Comparison of Verified Solvers for Initial Value Problems, Presented at 8th Intl. Conference on Parallel Processing and Applied Mathematics PPAM 2009, Wroclaw, Poland.
Logo des Lehrstuhls für Mechatronik

Kontakt

Universität Rostock
Lehrstuhl für Mechatronik

Prof. Dr.-Ing. Harald Aschemann

Justus-von-Liebig Weg 6
18059 Rostock
Raum: 06

Tel.: +49 381 / 498 - 9210
Fax: +49 381 / 498 - 9092
E-Mail: harald.aschemann(at)uni-rostock.de

Sprechstunde

Nach vorheriger Terminvereinbarung per Telefon oder E-Mail


Dr.-Ing. habil. Andreas Rauh

Justus-von-Liebig Weg 6
18059 Rostock
Raum: 03

Tel.: +49 381 / 498 - 9216
Fax: +49 381 / 498 - 9092
E-Mail: andreas.rauh(at)uni-rostock.de  

Sprechstunde

Sprechstunde

Montag: 8:30-9:30 Uhr, sowie im Anschluss an Vorlesungen/ Übungen. Eine Anmeldung per Telefon oder E-Mail wird erbeten