The computation of Lie derivatives and Lie brackets based on automatic differentiation

ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik

Volumn 84, Issue 2, 2004, Pages 114-123

  Röbenack, Klaus ^a   Reinschke, Kurt J ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Controller design; Exact linearization; Observability matrix; Univariate Taylor series

Indexed keywords

EID: 1142300490     PISSN: 00442267     EISSN: None     Source Type: Journal    
DOI: 10.1002/zamm.200320077     Document Type: Article

References (43)

1. C. Bendtsen and O. Stauning, TADIFF, a flexible C++ package for automatic differentiation, Technical Report IMM-REP-1997-07, TU of Denmark, Dept. of Mathematical Modelling, Lungby (1997).
2. O. Bernard, G. Sallet, and A. Sciandra, Nonlinear observers for a class of biological systems: Application to validation of a phytoplanktonic growth model, IEEE Trans. Autom. Control 43(8), 1056-1065 (1998).
3. J. Birk, Rechnergestützte Analyse und Synthese nichtlinearer Beobachtungsaufgaben. VDI-Fortschrittsberichte, Reihe 8: Meß-, Steuerungs- und Regelungstechnik, 294 (VDI-Verlag, Düsseldorf, 1992).
4. Y. F. Chang, Automatic solution of differential equations, in: Constructive and Computational Methods for Differential and Integral Equations, Lecture Notes in Mathematics, 430, edited by D. L. Colton and R. P. Gilbert (Springer Verlag, New York, 1974), pp. 61-94.
5. Y. F. Chang, The ATOMCC toolbox, BYTE 11(4), 215-224 (1986).
6. B. Christianson, Reverse accumulation and accurate rounding error estimates for Taylor series, Optimization Methods and Software 1, 81-94 (1992).
7. G. Ciccarella, M. D. Mora, and A. Germani, A Luenberger-like observer for nonlinear systems, Int. J. Control 57(3), 537-556 (1993).
8. G. Corliss, C. Faure, A. Griewank, L. Hascoët, and U. Naumann (eds.), Automatic Differentiation: From Simulation to Optimization (Springer, New York, 2002).
9. G. F. Corliss and Y. F. Chang, Solving ordinary differential equations using Taylor series, ACM Trans. Math. Softw. 8, 114-144 (1982).
10. B. de Jager, The use of symbolic computation in nonlinear control: Is it viable? IEEE Trans. Autom. Control 40(1), 84-89 (1995).
11. B. de Jager, Symbolic computation in nonlinear control system modelling and analysis, 10th IEEE Int. Symp. on Computer Aided Control System Design jointly with the 1999 Conference on Control Applications (1999 IEEE CCA/CACSD), Kohala Coast, Island of Hawaii (USA) (1999).
12. R. Franke, Vergleich von Regelungsalgorithmen zur Bewegungssteuerung am Beispiel eines Manipulators, Diplomarbeit, TU Dresden, Institut für Regelungs- und Steuerungstheorie (2000).
13. G. Freeland and T. Durrani, Nonlinear state observers for chaotic systems and their application to communications, in: Proceedings of the IEE Colloquium on Exploiting Chaos in Signal Processing, London, 1994, pp. 10/1-10/6.
14. J. P. Gauthier, H. Hammouri, and I. Kupka, Observers for nonlinear systems, in: Proceedings of the 30th Conference on Decision and Control (CDC) (1991), pp. 1483-1489.
15. J. P. Gauthier, H. Hammouri, and S. Othman, A simple observer for nonlinear systems - application to bioreactors, IEEE Trans. Autom. Control 37(6), 875-880 (1992).
16. A. Griewank, ODE solving via automatic differentiation and rational prediction, in: Numerical Analysis 1995, edited by D. F. Griffiths and G. A. Watson, Pitman Research Notes in Mathematics Series, 344 (Addison-Wesley, Longman, 1995).
17. A. Griewank, Evaluating Derivatives - Principles and Techniques of Algorithmic Differentiation, Frontiers in Applied Mathematics, 19. SIAM, Philadelphia, 2000.
18. A. Griewank, D. Juedes, and J. Utke, ADOL-C: a package for automatic differentiation of algorithms written in C/C++, ACM Trans. Math. Softw. 22, 131-167 (1996).
19. S. Haykin, Neuronal Networks, Macmillan College Publishing Company, 1994.
20. R. Hermann, and A. J. Krener, Nonlinear controllability and observability, IEEE Trans. Autom. Control 22(5), 728-740 (1977).
21. H. Hermes, On local and global controllability, SIAM J. Control Optim. 12, 252-261 (1974).
22. A. Isidori, Nonlinear Control Systems: An Introduction, 3rd edition (Springer, London, 1995).
23. Y.-B. Jia and M. Erdmann, Observing pose and motion through contact, in: Proceedings of the 1998 IEEE Int. Conf. on Robotics and Automation, Leuven, Belgium, 1998.
24. L. Kocarev and U. Parlitz, Lie derivatives and dynamical systems, Chaos Solitons Fractals 9(8), 1359-1366 (1998).
25. f,g) invariant and controllability distributions, SIAM J. Control Optim. 23(4), 523-524 (1985).
26. A. J. Krener and A. Isidori, Linearization by output injection and nonlinear observers, Syst. Control Lett. 3, 47-52 (1983).
27. A. Kugi, K. Schlacher, and R. Novaki, Symbolic Computation for the Analysis and Synthesis of Nonlinear Control Systems. Software for Electrical Engineering, Analysis and Design IV (WIT-Press, Southampton 1999), pp. 255-264.
28. H. G. Kwatny and G. L. Blankenship, Nonlinear Control and Analytical Mechanics: A Computational Approach (Birkhäuser, Boston, 2000).
29. J. Levine and R. Marino, Nonlinear system immersion, observers and finite-dimensional filters, Syst. Control Lett. 7, 133-142 (1986).
30. R. Marino and G. Cesareo, Nonlinear control theory and symbolic algebraic manipulation, in: Mathematical Theory of Networks and Systems, Proceedings of the MTNS'83, Beer Sheva, Israel 1983, Lecture Notes in Control and Information Science 58 (Springer, Berlin, 1984), pp. 725-740.
31. R. Marino, W. Respondek, and A. J. van der Schaft, Equivalence of nonlinear systems to input-output prime forms, SIAM J. Control Optim. 32, 387-107 (1994).
32. N. Munro (ed.), Symbolic Methods in Control System Analysis and Design (IEE Press, London, 1999).
33. H. Nijmeijer and A. J. van der Schaft, Nonlinear Dynamical Control systems (Springer, New York, 1990).
34. W. Oevel, F. Postel, G. Rüscher, and S. Wehrmeier, Das MuPAD Tutorium, Deutsche Ausgabe (Springer, Berlin, 1999).
35. K. Röbenack, Beobachterentwurf für nichtlineare Zustandssysteme mit Hilfe des Automatischen Differenzierens (Shaker-Verlag, Aachen, 2003).
36. K. Röbenack, Nonlinear controller design based on algorithmic plant description, in: Proceedings of the 4th MATHMOD, Vienna 2003, edited by I. Troch and F. Breitenecker, pp. 1421-1430.
37. K. Röbenack und K. J. Reinschke, Reglerentwurf mit Hilfe des Automatischen Differenzierens, Automatisierungstechnik 48(2), 60-66 (2000).
38. R. Rothfuss und M. Zeitz, Einführung in die Analyse nichtlinearer Systeme, in: Entwurf nichtlinearer Regelungen, herausgegeben von S. Engell (Oldenbourg-Verlag, München, 1995), pp. 3-22.
39. C. Rui, I. V. Kolmanovsky, and N. H. McClamroch, Symbolic computation in nonlinear control of multibody space systems, in: Proceedings of the ACC'98 (American Control Conference), Philadelphia 1998.
40. E. D. Sontag, Mathematical Control Theory, Texts in Applied Mathematics, Vol 6, 2nd edition (Springer-Verlag, New York, 1998).
41. H. J. Sussmann, Lie brackets and local controllability: A sufficient condition for scalar-input systems, SIAM J. Control Optim. 21(5), 686-713 (1983).
42. M. Tiller, Introduction to Physical Modeling with Modelica (Kluwer, Boston, 2001).
43. A. Varga, J. Moreno, and M. Zeitz, Order extension of nonlinear systems for observer design under reduced observability properties, in: Proceedings of the 15th Triennial World Congress of the International Federation of Automatic Control, Barcelona 2002.