Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering

In this paper, an overview of the potential use of validated techniques for the analysis and design of controllers for linear and nonlinear dynamical systems with uncertainties is given. In addition to robust pole assignment for linear dynamical systems with parameter uncertainties, mathematical system models and computational techniques are considered in which constraints for both state and control variables are taken into account. For that purpose, the use of interval arithmetic routines for calculation of guaranteed enclosures of the solutions of sets of ordinary differential equations and for the calculation of validated sensitivity measures of state variables with respect to parameter variations are discussed. Simulation results as well as further steps towards the development of a general-purpose interval arithmetic framework for the design and verification of systems in control engineering are summarized.

[1]  A. Isidori.  Nonlinear Control Systems , 1985 .

[2]  Tilman Bünte.  Mapping of Nyquist/Popov theta-stability margins into parameter space , 2000 .

[3]  E. Hofer,et al.  VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[4]  W. J. Duncan,et al.  On the Criteria for the Stability of Small Motions , 1929 .

[5]  Gene H. Golub,et al.  Matrix computations (3rd ed.) , 1996 .

[6]  M. Fliess,et al.  Flatness and defect of non-linear systems: introductory theory and examples , 1995 .

[7]  Andreas Rauh,et al.  Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes , 2007 .

[8]  E. Hofer,et al.  Interval Techniques for Design of Optimal and Robust Control Strategies , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[9]  Alexander Weinmann.  Uncertain Models and Robust Control , 2002 .

[10]  Dirk Odenthal,et al.  Mapping of Frequency Response Performance Specifications Into Parameter Space , 2000 .

[11]  Andreas Rauh,et al.  Interval Methods for Optimal Control , 2009 .

[12]  T. Csendes.  Developments in Reliable Computing , 2000 .

[13]  Andreas Rauh,et al.  Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP , 2008, Reliable Implementation of Real Number Algorithms.

[14]  E. Walter,et al.  Guaranteed characterization of stability domains via set inversion , 1994, IEEE Trans. Autom. Control..

[15]  Paul Vincent Knopp,et al.  of wastewater treatment , 1978 .

[16]  D. Odenthal,et al.  Mapping of frequency response magnitude specifications into parameter space , 2000 .

[17]  N. Nedialkov,et al.  Interval Tools for ODEs and DAEs , 2006, 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN 2006).

[18]  Gene H. Golub,et al.  Matrix computations , 1983 .

[19]  T. Bunte,et al.  PARADISE-Parametric Robust Analysis and Design Interactive Software Environment: a Matlab-based robust control toolbox , 1996, Proceedings of Joint Conference on Control Applications Intelligent Control and Computer Aided Control System Design.

[20]  Siegfried M. Rump,et al.  INTLAB - INTerval LABoratory , 1998, SCAN.