Hamiltonian systems discrete-time approximation: Losslessness, passivity and composability

Authors

Said Aoues, Michael Di Loreto, Damien Eberard, Wilfrid Marquis-Favre

Abstract

In this paper a passive integrator dedicated to input/output Hamiltonian systems approximation is presented. In a first step, a discrete Hamiltonian framework endowed with a Lie derivative-like formula is introduced. It is shown that the discrete dynamics encodes energy conservation and passivity. Additionally, the characterization of the discrete dynamics in terms of Dirac structure is shown to be invariant by interconnection. The class is thus composable: networked systems belong to the class. In a second step, the discrete dynamics is considered as a one-step integration method. The method is shown to be convergent and provides a discrete-time approximation of an input/output Hamiltonian system. Accordingly, the discrete dynamics inherits intrinsic energetic characteristics (storage function and dissipation rate) from the original system. The method is thus tagged as passive integrator. As an illustration, the closed-loop behavior of interconnected subsystems and the stabilization of a rigid body spinning around its center of mass are presented.

Keywords

composability, dirac structure, energetic integrator, hamiltonian difference scheme, passive integrator

Citation

• Journal: Systems & Control Letters
• Year: 2017
• Volume: 110
• Issue:
• Pages: 9–14
• Publisher: Elsevier BV
• DOI: 10.1016/j.sysconle.2017.10.003

BibTeX

@article{Aoues_2017,
  title={{Hamiltonian systems discrete-time approximation: Losslessness, passivity and composability}},
  volume={110},
  ISSN={0167-6911},
  DOI={10.1016/j.sysconle.2017.10.003},
  journal={Systems \& Control Letters},
  publisher={Elsevier BV},
  author={Aoues, Said and Di Loreto, Michael and Eberard, Damien and Marquis-Favre, Wilfrid},
  year={2017},
  pages={9--14}
}

Download the bib file

References

• Greenspan, Discrete numerical methods. (1974)
• Itoh T, Abe K (1988) Hamiltonian-conserving discrete canonical equations based on variational difference quotients. Journal of Computational Physics 76(1):85–102. https://doi.org/10.1016/0021-9991(88)90132- – 10.1016/0021-9991(88)90132-5
• Shibberu Y (1994) Time-discretization of Hamiltonian dynamical systems. Computers & Mathematics with Applications 28(10–12):123–145. https://doi.org/10.1016/0898-1221(94)00189- – 10.1016/0898-1221(94)00189-8
• Gonzalez O (1996) Time integration and discrete Hamiltonian systems. J Nonlinear Sci 6(5):449–467. https://doi.org/10.1007/bf0244016 – 10.1007/bf02440162
• Cohen D, Hairer E (2011) Linear energy-preserving integrators for Poisson systems. Bit Numer Math 51(1):91–101. https://doi.org/10.1007/s10543-011-0310- – 10.1007/s10543-011-0310-z
• Channell PJ, Scovel C (1990) Symplectic integration of Hamiltonian systems. Nonlinearity 3(2):231–259. https://doi.org/10.1088/0951-7715/3/2/00 – 10.1088/0951-7715/3/2/001
• Aubry A, Chartier P (1998) Pseudo-symplectic Runge-Kutta methods. Bit Numer Math 38(3):439–461. https://doi.org/10.1007/bf0251025 – 10.1007/bf02510253
• McLachlan RI (2007) A New Implementation of Symplectic Runge–Kutta Methods. SIAM J Sci Comput 29(4):1637–1649. https://doi.org/10.1137/06065338 – 10.1137/06065338x
• Marsden, (1998)
• Bridges TJ (2006) Canonical multi-symplectic structure on the total exterior algebra bundle. Proc R Soc A 462(2069):1531–1551. https://doi.org/10.1098/rspa.2005.162 – 10.1098/rspa.2005.1629
• Hairer, (2002)
• Leimkuhler, (2005)
• Feng, (2010)
• Byrnes CI, Wei Lin (1994) Losslessness, feedback equivalence, and the global stabilization of discrete-time nonlinear systems. IEEE Trans Automat Contr 39(1):83–98. https://doi.org/10.1109/9.27334 – 10.1109/9.273341
• Wei Lin, Byrnes CI (1994) Design of discrete-time nonlinear control systems via smooth feedback. IEEE Trans Automat Contr 39(11):2340–2346. https://doi.org/10.1109/9.33379 – 10.1109/9.333790
• Laila DS, Astolfi A (2006) Construction of discrete-time models for port-controlled Hamiltonian systems with applications. Systems & Control Letters 55(8):673–680. https://doi.org/10.1016/j.sysconle.2005.09.01 – 10.1016/j.sysconle.2005.09.012
• Gören-Sümer L, Yalçιn Y (2008) Gradient Based Discrete-Time Modeling and Control of Hamiltonian Systems. IFAC Proceedings Volumes 41(2):212–217. https://doi.org/10.3182/20080706-5-kr-1001.0003 – 10.3182/20080706-5-kr-1001.00036
• Stramigioli S, Secchi C, van der Schaft AJ, Fantuzzi C (2005) Sampled data systems passivity and discrete port-Hamiltonian systems. IEEE Trans Robot 21(4):574–587. https://doi.org/10.1109/tro.2004.84233 – 10.1109/tro.2004.842330
• Monaco S, Normand-Cyrot D, Tiefensee F (2009) Nonlinear port controlled Hamiltonian systems under sampling. Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference 1782–178 – 10.1109/cdc.2009.5399866
• Bossavit, (1998)
• Marsden JE, West M (2001) Discrete mechanics and variational integrators. Acta Numerica 10:357–514. https://doi.org/10.1017/s096249290100006 – 10.1017/s096249290100006x
• Desbrun, Discrete Poincaré lemma. Appl. Nulerical Math. (2005)
• Leok M, Ohsawa T (2011) Variational and Geometric Structures of Discrete Dirac Mechanics. Found Comput Math 11(5):529–562. https://doi.org/10.1007/s10208-011-9096- – 10.1007/s10208-011-9096-2
• Hirani AN, Kalyanaraman K, VanderZee EB (2013) Delaunay Hodge star. Computer-Aided Design 45(2):540–544. https://doi.org/10.1016/j.cad.2012.10.03 – 10.1016/j.cad.2012.10.038
• Golo, Hamiltonian discretization of the the telegrapher’s equation. Automatica (2004)
• Talasila V, Clemente-Gallardo J, van der Schaft AJ (2006) Discrete port-Hamiltonian systems. Systems & Control Letters 55(6):478–486. https://doi.org/10.1016/j.sysconle.2005.10.00 – 10.1016/j.sysconle.2005.10.001
• Moulla R, Lefévre L, Maschke B (2012) Pseudo-spectral methods for the spatial symplectic reduction of open systems of conservation laws. Journal of Computational Physics 231(4):1272–1292. https://doi.org/10.1016/j.jcp.2011.10.00 – 10.1016/j.jcp.2011.10.008
• Seslija M, van der Schaft A, Scherpen JMA (2012) Discrete exterior geometry approach to structure-preserving discretization of distributed-parameter port-Hamiltonian systems. Journal of Geometry and Physics 62(6):1509–1531. https://doi.org/10.1016/j.geomphys.2012.02.00 – 10.1016/j.geomphys.2012.02.006
• van der Schaft, (1999)
• Aoues S, Eberard D, Marquis-Favre W (2013) Discrete IDA-PBC design for 2D port-Hamiltonian systems. IFAC Proceedings Volumes 46(23):134–139. https://doi.org/10.3182/20130904-3-fr-2041.0008 – 10.3182/20130904-3-fr-2041.00088
• Dalsmo M, van der Schaft A (1998) On Representations and Integrability of Mathematical Structures in Energy-Conserving Physical Systems. SIAM J Control Optim 37(1):54–91. https://doi.org/10.1137/s036301299631203 – 10.1137/s0363012996312039
• Aoues S, Eberard D, Marquis-Favre W (2013) Canonical interconnection of discrete linear port-Hamiltonian systems. 52nd IEEE Conference on Decision and Control 3166–317 – 10.1109/cdc.2013.6760366
• Libermann, (1987)