Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ackermann, J., Blue, P., Bünte, T., Güvenc, L., Kaesbauer, D., Kordt, M., Muhler, M., Odenthal, D.: Robust Control: The Parameter Space Approach, 2nd edn. Springer, London (2002)
Sienel, W., Bünte, T., Ackermann, J.: PARADISE – PArametric Robust Analysis and Design Interactive Software Environment: A Matlab-Based Robust Control Toolbox. In: Proc. of the 1996 IEEE Intl. Symposium on Computer-Aided Control System Design, Dearborn, pp. 380–385 (1996)
Odenthal, D., Blue, P.: Mapping of Frequency Response Magnitude Specifications into Parameter Space. In: Proc. of the 3rd IFAC Symposium on Robust Control Design, Prague, Czech Republic (2000)
Bünte, T.: Mapping of Nyquist/ Popov Theta-Stability Margins into Parameter Space. In: Proc. of the 3rd IFAC Symposium on Robust Control Design, Prague, Czech Republic (2000)
Walter, É., Jaulin, L.: Guaranteed Characterization of Stability Domains Via Set Inversion. IEEE Transactions on Automatic Control 39(4), 886–889 (1994)
Frazer, R., Duncan, W.: On the Criteria for the Stability of Small Motions. Proc. of the Royal Society A 124, 642–654 (1929)
Rump, S.M.: IntLab — INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77–104. Kluwer Academic Publishers, Dordrecht (1999)
Rump, S.M.: IntLab, Version 5.4 (2007), http://www.ti3.tu-harburg.de/~rump/intlab/
Golub, G.H., van Loan, C.F.: Matrix Computations, 3rd edn. Johns Hopkins University Press, Baltimore (1996)
Weinmann, A.: Uncertain Models and Robust Control. Springer, Wien (1991)
Nedialkov, N.S.: Interval Tools for ODEs and DAEs. In: CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany. IEEE Computer Society, Los Alamitos (2007)
Rauh, A., Hofer, E.P.: Interval Methods for Optimal Control. In: Buttazzo, G., Frediani, A. (eds.) Proc. of the 47th Workshop on Variational Analysis and Aerospace Engineering, Erice, Italy. Springer, Heidelberg (2007) (in print)
Rauh, A., Minisini, J., Hofer, E.P.: Interval Techniques for Design of Optimal and Robust Control Strategies. In: CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany. IEEE Computer Society, Los Alamitos (2007)
Bendsten, C., Stauning, O.: FADBAD++, Version 2.1 (2007), http://www.fadbad.com
Bendsten, C., Stauning, O.: FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods. Technical Report 1996-x5-94, Technical University of Denmark, Lyngby (1996)
Bendsten, C., Stauning, O.: TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series. Technical Report 1997-x5-94, Technical University of Denmark, Lyngby (1997)
Auer, E., Rauh, A., Hofer, E.P., Luther, W.: Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. In: Hertling, P., Hoffmann, C.M., Luther, W., Revol, N. (eds.) Real Number Algorithms. LNCS, vol. 5045, pp. 1–27. Springer, Heidelberg (2008)
Rauh, A., Auer, E., Hofer, E.P.: ValEncIA-IVP: A Comparison with Other Initial Value Problem Solvers. In: CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany. IEEE Computer Society, Los Alamitos (2007)
Henze, M., Harremoës, P., Arvin, E., la Cour Jansen, J.: Wastewater Treatment, 3rd edn. Springer, Berlin (2002)
Rauh, A., Kletting, M., Aschemann, H., Hofer, E.P.: Reduction of Overestimation in Interval Arithmetic Simulation of Biological Wastewater Treatment Processes. Journal of Computational and Applied Mathematics 199(2), 207–212 (2007)
Office for Official Publications of the European Communities: Council Directive of 21 May 1991 Concerning Urban Waste Water Treatment (91/271/EEC) (2003), http://ec.europa.eu/environment/water/water-urbanwaste/directiv.html
Fliess, M., Lévine, J., Martin, P., Rouchon, P.: Flatness and Defect of Nonlinear Systems: Introductory Theory and Examples. International Journal of Control 61, 1327–1361 (1995)
Marquez, H.J.: Nonlinear Control Systems. John Wiley & Sons, Inc., New Jersey (2003)
Khalil, H.K.: Nonlinear Systems, 3rd edn. Prentice-Hall, Upper Saddle River (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rauh, A., Minisini, J., Hofer, E.P. (2009). Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. In: Cuyt, A., Krämer, W., Luther, W., Markstein, P. (eds) Numerical Validation in Current Hardware Architectures. Lecture Notes in Computer Science, vol 5492. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-01591-5_11
Download citation
DOI: https://doi.org/10.1007/978-3-642-01591-5_11
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-01590-8
Online ISBN: 978-3-642-01591-5
eBook Packages: Computer ScienceComputer Science (R0)