Verification techniques for sensitivity analysis and design of controllers for nonlinear dynamic systems with uncertainties

Andreas Rauh ; Johanna Minisini ; Eberhard P. Hofer

International Journal of Applied Mathematics and Computer Science, Tome 19 (2009), p. 425-439 / Harvested from The Polish Digital Mathematics Library

Résumé

Control strategies for nonlinear dynamical systems often make use of special system properties, which are, for example, differential flatness or exact input-output as well as input-to-state linearizability. However, approaches using these properties are unavoidably limited to specific classes of mathematical models. To generalize design procedures and to account for parameter uncertainties as well as modeling errors, an interval arithmetic approach for verified simulation of continuoustime dynamical system models is extended. These extensions are the synthesis, sensitivity analysis, and optimization of open-loop and closed-loop controllers. In addition to the calculation of guaranteed enclosures of the sets of all reachable states, interval arithmetic routines have been developed which verify the controllability and observability of the states of uncertain dynamic systems. Furthermore, they assure asymptotic stability of controlled systems for all possible operating conditions. Based on these results, techniques for trajectory planning can be developed which determine reference signals for linear and nonlinear controllers. For that purpose, limitations of the control variables are taken into account as further constraints. Due to the use of interval techniques, issues of the functionality, robustness, and safety of dynamic systems can be treated in a unified design approach. The presented algorithms are demonstrated for a nonlinear uncertain model of biological wastewater treatment plants.

Détail

Publié le : 2009-01-01

Zbl 1300.93060

EUDML-ID : urn:eudml:doc:207946

Bibliographie

[000] Ackermann, J., Blue, P., Bünte, T., Güvenc, L., Kaesbauer, D., Kordt, M., Muhler, M. and Odenthal, D. (2002). Robust Control: The Parameter Space Approach, 2nd Edn., Springer-Verlag, London.

[001] Aschemann, H., Rauh, A., Kletting, M. and Hofer, E. P. (2006). Flatness-based control of a simplified wastewater treatment plant, Proceedings of the IEEE International Conference on Control Applications CCA 2006, Munich, Germany, pp. 2243-2248.

[002] Auer, E., Rauh, A., Hofer, E. P. and Luther, W. (2008). Validated modeling of mechanical systems with S MART MOBILE: Improvement of performance by VAL E NC IA-IVP, Proceedings of the Dagstuhl Seminar 06021: Reliable Implementation of Real Number Algorithms. Theory and Practice, Dagstuhl, Germany, Lecture Notes in Computer Science, Vol. 5045, Springer-Verlag, Berlin/Heidelberg, pp. 1-27.

[003] Bendsten, C. and Stauning, O. (2007). FADBAD++, Version 2.1, available at: http://www.fadbad.com.

[004] Bünte, T. (2000). Mapping of Nyquist/Popov theta-stability margins into parameter space, Proceedings of the 3rd IFAC Symposium on Robust Control Design, Prague, Czech Republic.

[005] Delanoue, N. (2006). Algoritmes numériques pour l'analyse topologique-Analyse par intervalles et théorie des graphes, Ph.D. thesis, École Doctorale d'Angers, Angers, (in French).

[006] Fliess, M., Lévine, J., Martin, P. and Rouchon, P. (1995). Flatness and defect of nonlinear systems: Introductory theory and examples, International Journal of Control 61(6): 1327-1361. | Zbl 0838.93022

[007] Hammersley, J. M. and Handscomb, D. C. (1964). Monte-Carlo Methods, John Wiley & Sons, New York, NY. | Zbl 0121.35503

[008] Henze, M., Harremoës, P., Arvin, E. and la Cour Jansen, J. (2002). Wastewater Treatment, 3rd Edn., Springer-Verlag, Berlin.

[009] Hermann, R. and Krener, A. J. (1977). Nonlinear controllability and observability, IEEE Transactions on Automatic Control 22(5): 728-740. | Zbl 0396.93015

[010] Isidori, A. (1989). Nonlinear Control Systems, 2nd Edn., Springer-Verlag, Berlin. | Zbl 0693.93046

[011] Keil, C. (2007). P ROFIL /BIAS, Version 2.0.4, Available at: www.ti3.tu-harburg.de/keil/profil/.

[012] Khalil, H. K. (2002). Nonlinear Systems, 3rd Edn., PrenticeHall, Upper Saddle River, NJ. | Zbl 1003.34002

[013] Marquez, H. J. (2003). Nonlinear Control Systems, John Wiley & Sons, Inc., Hoboken, NJ. | Zbl 1037.93003

[014] Odenthal, D. and Blue, P. (2000). Mapping of frequency response magnitude specifications into parameter space, Proceedings of the 3rd IFAC Symposium on Robust Control Design, Prague, Czech Republic.

[015] Office for Official Publications of the European Communities (2003). Council Directive of 21 May 1991 Concerning Urban Waste Water Treatment (91/271/EEC), Available at: http://ec.europa.eu/environment/water/water-urbanwaste/directiv.html.

[016] Pepy, R., Kieffer, M. and Walter, E. (2008). Reliable robust path planner, Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), Nice, France, pp. 1655-1660.

[017] Rauh, A., Auer, E. and Hofer, E. P. (2007a). VAL E NC IA-IVP: A comparison with other initial value problem solvers, Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, IEEE Computer Society, Los Alamitos, CA, (on CDROM).

[018] Rauh, A., Auer, E., Minisini, J. and Hofer, E. P. (2007b). Extensions of VAL E NC IA-IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization, PAMM 7(1): 1023001-1023002.

[019] Rauh, A., Kletting, M., Aschemann, H. and Hofer, E. P. (2007c). Reduction of overestimation in interval arithmetic simulation of biological wastewater treatment processes, 199(2): 207-212. | Zbl 1104.92067

[020] Rauh, A., Minisini, J. and Hofer, E. P. (2007d). Interval techniques for design of optimal and robust control strategies, Proceedings of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006, Duisburg, Germany, IEEE Computer Society, Los Alamitos, CA, (on CDROM). | Zbl 1217.93057

[021] Rauh, A. and Hofer, E. P. (2005). Interval arithmetic optimization techniques for uncertain discrete-time systems, Proceedings of the 13th International Workshop on Dynamics and Control, Modeling and Control of Autonomous Decision Support Based Systems, Wiesensteig, Germany, Shaker Verlag, Aachen, pp. 141-148.

[022] Rauh, A. and Hofer, E. P. (2009). Interval methods for optimal control, Proceedings of the 47th Workshop on Variational Analysis and Aerospace Engineering 2007, Erice, Italy, Springer-Verlag, New York, NY, pp. 397-418. | Zbl 1182.49024

[023] Rauh, A., Minisini, J. and Hofer, E. P. (2009). Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering, Proceedings of the Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Dagstuhl, Germany, Lecture Notes in Computer Science, Vol. 5492, Springer-Verlag, Berlin/Heidelberg, pp. 175-188.

[024] Röbenack, K. (2002). On the efficient computation of higher order maps $ad^k_f g(x)$ using Taylor arithmetic and the Campbell-Baker-Hausdorff formula, in A. Zinober and D. Owens (Eds.), Nonlinear and Adaptive Control, Lecture Notes in Control and Information Science, Vol. 281, Springer, Berlin/Heidelberg, pp. 327-336. | Zbl 1157.93378

[025] Rohn, J. (1994). Positive definiteness and stability of interval matrices, SIAM Journal on Matrix Analysis and Applications 15(1): 175-184. | Zbl 0796.65065

[026] Rump, S. M. (2007). I NT L AB, Version 5.4, available at: http://www.ti3.tu-harburg.de/~rump/intlab/.

[027] Sienel, W., Bünte, T. and Ackermann, J. (1996). PARADISE - Parametric robust analysis and design interactive software environment: A MATLAB-based robust control toolbox, Proceedings of the 1996 IEEE International Symposium on Computer-Aided Control System Design, Dearborn, MI, USA, pp. 380-385.

[028] Sontag, E. D. (1998). Mathematical Control Theory - Deterministic Finite Dimensional Systems, Springer-Verlag, New York, NY. | Zbl 0945.93001