Advertisement

Structural Analysis for the Design of Reliable Controllers and State Estimators for Continuous-Time Dynamical Systems with Uncertainties

Chapter
Part of the Mathematical Engineering book series (MATHENGIN, volume 3)

Abstract

The task of designing feedforward control strategies for finite-dimensional systems in such a way that the output variables match predefined trajectories is a common goal in control engineering. Besides the widely used formulation of the corresponding system models as explicit sets of ordinary differential equations, differential-algebraic representations allow for a unified treatment of both system analysis and synthesis. For modeling and analysis of many real-life dynamic processes, differential-algebraic equations are a natural description to take into account interconnections between different physical components. Each component of such interconnected systems is described by a separate dynamic model, for instance the electric drive and the mechanical components in power trains.Moreover, side conditions are required to connect these component models by a description of power flow or, for example, geometric constraints imposed by links and joints. During system synthesis, control design tasks can be formulated in terms of initial value problems for sets of differential-algebraic equations. To check solvability, verified and nonverified algorithms are applicable which analyze the underlying system structures. The same holds for the reconstruction of internal variables and parameters on the basis of measured data. In this contribution, constructive approaches are discussed for solving both the control and estimator design using differential-algebraic formulations. It is demonstrated how these approaches can be used to show controllability and observability of dynamical systems. Numerical results for two applications conclude this paper.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Ackermann, J., Blue, P., B¨unte, T., G¨uvenc, L., Kaesbauer, D., Kordt, M., Muhler, M., Odenthal, D.: Robust Control: The Parameter Space Approach, 2nd edn. Springer–Verlag, London (2002)Google Scholar
  2. 2.
    Aschemann, H., Minisini, J., Rauh, A.: Interval Arithmetic Techniques for the Design of Controllers for Nonlinear Dynamical Systems with Applications in Mechatronics — Part 1. Izvestiya RAN. Teoriya i sistemy upravleniya (Journal of Computer and Systems Sciences International) (3), 3–14 (2010)Google Scholar
  3. 3.
    Auer, E., Rauh, A., Hofer, E.P., Luther, W.: Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP. In: Proc. of Dagstuhl Seminar 06021: Reliable Implementation of Real Number Algorithms: Theory and Practice, Lecture Notes in Computer Science, pp. 1–27 (2008)Google Scholar
  4. 4.
    Bendsten, C., Stauning, O.: FADBAD++, Version 2.1 (2007). http://www.fadbad.com Google Scholar
  5. 5.
    Berz, M., Makino, K.: COSY INFINITY Version 8.1. User’s Guide and Reference Manual. Tech. Rep. MSU HEP 20704, Michigan State University (2002)Google Scholar
  6. 6.
    Delanoue, N.: Algoritmes num´eriques pour l’analyse topologique — Analyse par intervalles et th´eorie des graphes. Ph.D. thesis, ´ Ecole Doctorale d’Angers (2006). In FrenchGoogle Scholar
  7. 7.
    Fliess, M., L´evine, J., Martin, P., Rouchon, P.: Flatness and Defect of Nonlinear Systems: Introductory Theory and Examples. International Journal of Control 61, 1327–1361 (1995)Google Scholar
  8. 8.
    Freihold, M., Hofer, E.P.: Derivation of Physically Motivated Constraints For Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems. Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS, “VerifiedGoogle Scholar
  9. 9.
    Methods: Applications in Medicine and Engineering” 19(3), 485–499 (2009)Google Scholar
  10. 10.
    Griewank, A., Walther, A.: Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation. SIAM, Philadelphia (2008)MATHGoogle Scholar
  11. 11.
    Isidori, A.: Nonlinear Control Systems 1. An Introduction. Springer–Verlag, Berlin (1995)Google Scholar
  12. 12.
    Jaulin, L., Kieffer, M., Didrit, O., Walter, ´ E.: Applied Interval Analysis. Springer–Verlag, London (2001)Google Scholar
  13. 13.
    Keil, C.: Profil/BIAS, Version 2.0.8 (2008). www.ti3.tu-harburg.de/keil/profil/ Google Scholar
  14. 14.
    Kletting, M., Rauh, A., Aschemann, H., Hofer, E.P.: Interval Observer Design Based on Taylor Models for Nonlinear Uncertain Continuous-Time Systems. In: CD-Proc. of the 12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2006. IEEE Computer Society, Duisburg, Germany (2007)Google Scholar
  15. 15.
    Krawczyk, R.: Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing 4, 189–201 (1969). In GermanGoogle Scholar
  16. 16.
    Lerch, M., Tischler, G., Wolff von Gudenberg, J., Hofschuster, W., Kr¨amer, W.: The Interval Library filib++ 2.0 : Design, Features and Sample Programs. Tech. Rep. 2001/4, Bergische Universit¨at GH Wuppertal (2001)Google Scholar
  17. 17.
    Lin, Y., Stadtherr, M.: Validated solution of initial value problems for ODEs with interval parameters. In: NSF Workshop Proceeding on Reliable Engineering Computing. Savannah GA (2006)Google Scholar
  18. 18.
    Marquez, H.J.: Nonlinear Control Systems. John Wiley & Sons, Inc., New Jersey (2003)MATHGoogle Scholar
  19. 19.
    Moore, R.: Interval Arithmetic. Prentice-Hall, Englewood Cliffs, New Jersey (1966)Google Scholar
  20. 20.
    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. IEEE Computer Society, Duisburg, Germany (2007)Google Scholar
  21. 21.
    Nedialkov, N.S., Pryce, J.D.: Solving Differential-Algebraic Equations by Taylor Series (I): Computing Taylor Coefficients. BIT 45(3), 561–591 (2005)MathSciNetMATHCrossRefGoogle Scholar
  22. 22.
    Nedialkov, N.S., Pryce, J.D.: Solving Differential-Algebraic Equations by Taylor Series (II): Computing the System Jacobian. BIT 47(1), 121–135 (2007)MathSciNetMATHCrossRefGoogle Scholar
  23. 23.
    Nedialkov, N.S., Pryce, J.D.: DAETS — Differential-Algebraic Equations by Taylor Series (2008). http://www.cas.mcmaster.ca/˜nedialk/daets/ Google Scholar
  24. 24.
    Nedialkov, N.S., Pryce, J.D.: Solving Differential-Algebraic Equations by Taylor Series (III): the DAETS Code. J. Numerical Analysis, Industrial and AppliedMathematics 3, 61–80 (2008)Google Scholar
  25. 25.
    Rauh, A., Aschemann, H.: Sensitivity-Based Feedforward and Feedback Control Using Algorithmic Differentiation. In: Proc. of IEEE Intl. Conference on Methods and Models in Automation and Robotics MMAR 2010. Miedzyzdroje, Poland (2010)Google Scholar
  26. 26.
    Rauh, A., Kersten, J., Auer, E., Aschemann, H.: Sensitivity Analysis for Reliable Feedforward and Feedback Control of Dynamical Systems with Uncertainties. In: 8th Intl. Conference on Structural Dynamics EURODYN 2011. Leuven, Belgium (2011)Google Scholar
  27. 27.
    Rauh, A., Auer, E., Freihold, M., Hofer, E.P., Aschemann, H.: Detection and Reduction of Overestimation in Guaranteed Simulations of Hamiltonian Systems. In: Proc. of the 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2008 in Special Issue of Reliable Computing. El Paso, Texas, USA (2010)Google Scholar
  28. 28.
    Rauh, A., Brill, M., G¨unther, C.: A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP. Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS, “Verified Methods: Applications in Medicine and Engineering” 19(3), 381–397 (2009)Google Scholar
  29. 29.
    Rauh, A., Grigoryev, V., Aschemann, H., Paschen, M.: Incremental Gain Scheduling and Sensitivity-Based Control for Underactuated Ships. In: Proc. of IFAC Conference on Control Applications in Marine Systems, CAMS 2010. Rostock-Warnem¨unde, Germany (2010)Google Scholar
  30. 30.
    Rauh, A., Hofer, E.P.: Interval Methods for Optimal Control. In: A. Frediani, G. Buttazzo (eds.) Proc. of the 47th Workshop on Variational Analysis and Aerospace Engineering 2007, pp. 397–418. Springer–Verlag, School of Mathematics, Erice, Italy (2009)Google Scholar
  31. 31.
    Rauh, A., Minisini, J., Aschemann, H.: Interval Arithmetic Techniques for the Design of Controllers for Nonlinear Dynamical Systems with Applications in Mechatronics — Part 2. Izvestiya RAN. Teoriya i sistemy upravleniya (Journal of Computer and Systems Sciences International) (2010). Under reviewGoogle Scholar
  32. 32.
    Rauh, A., Minisini, J., Hofer, E.P.: Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering. In: Proc. of Dagstuhl Seminar 08021: Numerical Validation in Current Hardware Architectures, Lecture Notes in Computer Science, vol. 5492, pp. 175–188. Springer–Verlag, Dagstuhl, Germany (2008)Google Scholar
  33. 33.
    Rauh, A.,Minisini, J., Hofer, E.P.: Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties. Special Issue of the International Journal of Applied Mathematics and Computer Science AMCS, “Verified Methods: Applications in Medicine and Engineering” 19(3), 425–439 (2009)Google Scholar
  34. 34.
    Rauh, A., Minisini, J., Hofer, E.P., Aschemann, H.: Robust and Optimal Control of Uncertain Dynamical Systems with State-Dependent Switchings Using Interval Arithmetic. In: Proc. of the 13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics SCAN 2008 in Special Issue of Reliable Computing. El Paso,Google Scholar
  35. 35.
    Texas, USA (2010)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  1. 1.Chair of MechatronicsUniversity of RostockRostockGermany

Personalised recommendations