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

 Access to full text

 Full (PDF)

1. 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. 
2. 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. 
3. 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. 
4. Bendsten, C. and Stauning, O. (2007). FADBAD++, Version 2.1, available at: http://www.fadbad.com. 
5. 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. 
6. 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). 
7. 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. Zbl0838.93022
8. Hammersley, J. M. and Handscomb, D. C. (1964). Monte-Carlo Methods, John Wiley & Sons, New York, NY. Zbl0121.35503
9. Henze, M., Harremoës, P., Arvin, E. and la Cour Jansen, J. (2002). Wastewater Treatment, 3rd Edn., Springer-Verlag, Berlin. 
10. Hermann, R. and Krener, A. J. (1977). Nonlinear controllability and observability, IEEE Transactions on Automatic Control 22(5): 728-740. Zbl0396.93015
11. Isidori, A. (1989). Nonlinear Control Systems, 2nd Edn., Springer-Verlag, Berlin. Zbl0693.93046
12. Keil, C. (2007). P ROFIL /BIAS, Version 2.0.4, Available at: www.ti3.tu-harburg.de/keil/profil/. 
13. Khalil, H. K. (2002). Nonlinear Systems, 3rd Edn., PrenticeHall, Upper Saddle River, NJ. Zbl1003.34002
14. Marquez, H. J. (2003). Nonlinear Control Systems, John Wiley & Sons, Inc., Hoboken, NJ. Zbl1037.93003
15. 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. 
16. 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. 
17. 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. 
18. 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). 
19. 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. 
20. 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. Zbl1104.92067
21. 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). Zbl1217.93057
22. 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. 
23. 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. Zbl1182.49024
24. 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. 
25. Röbenack, K. (2002). On the efficient computation of higher order maps $a{d}_f^{k}g\left(x\right)$ 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. Zbl1157.93378
26. Rohn, J. (1994). Positive definiteness and stability of interval matrices, SIAM Journal on Matrix Analysis and Applications 15(1): 175-184. Zbl0796.65065
27. Rump, S. M. (2007). I NT L AB, Version 5.4, available at: http://www.ti3.tu-harburg.de/~rump/intlab/. 
28. 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. 
29. Sontag, E. D. (1998). Mathematical Control Theory - Deterministic Finite Dimensional Systems, Springer-Verlag, New York, NY. Zbl0945.93001

1. Andreas Rauh, Saif S. Butt, Harald Aschemann, Nonlinear state observers and extended Kalman filters for battery systems
2. Hasim A. Obaid, Rachid Ouifki, Kailash C. Patidar, An unconditionally stable nonstandard finite difference method applied to a mathematical model of HIV infection