Real-Time Application of Interval Methods for Robust Control of Dynamical Systems

Abstract The influence of bounded uncertainties in parameters and initial conditions of dynamical systems can be analyzed efficiently with the help of interval methods. In engineering, interval arithmetic tools are usually applied offline to verify, analyze, and design dynamical systems. In this contribution, we describe interval-based techniques for online model-predictive control of uncertain continuous-time dynamical systems. These techniques employ verified solution algorithms for sets of differential-algebraic equations which are implemented in the solver ValEncIA-IVP. Using ValEncIA-IVP, we derive procedures for feedforward control, trajectory planning, and guaranteed state and parameter estimation. The real-time applicability of these procedures is demonstrated by experimental results for a control-oriented, finite-dimensional model of a distributed heating system.

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

[2]  Andreas Rauh,et al.  Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties , 2009, Int. J. Appl. Math. Comput. Sci..

[3]  P.P. Czechowski,et al.  Testing algorithms for inverse simulation , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[4]  Andreas Rauh,et al.  A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP , 2009, Int. J. Appl. Math. Comput. Sci..

[5]  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).

[6]  O. Sawodny,et al.  Flatness-based disturbance decoupling for heat and mass transfer processes with distributed control , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[7]  Rudolf Krawczyk,et al.  Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken , 1969, Computing.

[8]  A. Krener,et al.  Nonlinear controllability and observability , 1977 .

[9]  K. Röbenack.  On the efficient computation of higher order maps adfkg(x) using Taylor arithmetic and the Campbell-Baker-Hausdorff formula , 2003 .