EPHS: A Port-Hamiltonian Modelling Language

Authors

Markus Lohmayer, Sigrid Leyendecker

Abstract

A prevalent theme throughout science and engineering is the ongoing paradigm shift from isolated systems to open and interconnected systems. Port-Hamiltonian theory developed as a synthesis of geometric mechanics and network theory. The possibility to model complex multiphysical systems via interconnection of simpler components is often advertised as one of its most attractive features. The development of a port-Hamiltonian modelling language however remains a topic which has not been sufficiently addressed. We report on recent progress towards the formalization and implementation of a modelling language for exergetic port-Hamiltonian systems. Its diagrammatic syntax is the operad of undirected wiring diagrams with an interpretation akin to bond graphs. Together with a port-Hamiltonian semantics defined as an operad functor, this enables a modular and hierarchical approach to model specification.

Keywords

compositionality; applied category theory; operad; multiphysics; thermodynamics

Citation

• Journal: IFAC-PapersOnLine
• Year: 2022
• Volume: 55
• Issue: 30
• Pages: 347–352
• Publisher: Elsevier BV
• DOI: 10.1016/j.ifacol.2022.11.077
• Note: 25th International Symposium on Mathematical Theory of Networks and Systems MTNS 2022- Bayreuth, Germany, September 12-16, 2022

BibTeX

@article{Lohmayer_2022,
  title={{EPHS: A Port-Hamiltonian Modelling Language}},
  volume={55},
  ISSN={2405-8963},
  DOI={10.1016/j.ifacol.2022.11.077},
  number={30},
  journal={IFAC-PapersOnLine},
  publisher={Elsevier BV},
  author={Lohmayer, Markus and Leyendecker, Sigrid},
  year={2022},
  pages={347--352}
}

Download the bib file

References

• Baez JC, Erbele J (2015) Categories in Control. TAC 30:836–881. https://doi.org/10.70930/tac/d5nq5dv8 – 10.70930/tac/d5nq5dv8
• Baez JC, Courser K, Vasilakopoulou C (2022) Structured versus Decorated Cospans. Compositionality 4:3. https://doi.org/10.32408/compositionality-4-3 – 10.32408/compositionality-4-3
• Baez JC, Fong B (2018) A Compositional Framework for Passive Linear Networks. TAC 33:1158–1222. https://doi.org/10.70930/tac/zdyktmkc – 10.70930/tac/zdyktmkc
• Baez JC, Pollard BS (2017) A compositional framework for reaction networks. Rev Math Phys 29(09):1750028. https://doi.org/10.1142/s0129055x17500283 – 10.1142/s0129055x17500283
• Bakirtzis, Compositional cyber-physical systems modeling. (2021)
• Breiner S, Pollard B, Subrahmanian E, Marie-Rose O (2020) Modeling Hierarchical System with Operads. Electron Proc Theor Comput Sci 323:72–83. https://doi.org/10.4204/eptcs.323.5 – 10.4204/eptcs.323.5
• Coya, B. (2017). A compositional framework for bond graphs.
• Leinster, Higher Operads, Higher Categories. (2004)
• Libkind S, Baas A, Patterson E, Fairbanks J (2022) Operadic Modeling of Dynamical Systems: Mathematics and Computation. Electron Proc Theor Comput Sci 372:192–206. https://doi.org/10.4204/eptcs.372.14 – 10.4204/eptcs.372.14
• Lohmayer M, Kotyczka P, Leyendecker S (2021) Exergetic port-Hamiltonian systems: modelling basics. Mathematical and Computer Modelling of Dynamical Systems 27(1):489–521. https://doi.org/10.1080/13873954.2021.1979592 – 10.1080/13873954.2021.1979592
• Mac Lane, Categories for the Working Mathematician. (1998)
• Marquez FM, Zufiria PJ, Yebra LJ (2020) Port-Hamiltonian Modeling of Multiphysics Systems and Object-Oriented Implementation With the Modelica Language. IEEE Access 8:105980–105996. https://doi.org/10.1109/access.2020.3000129 – 10.1109/access.2020.3000129
• Modelica Association (2021). Modelica – A Unified Object-Oriented Language for Systems Modeling, language specification, version 3.5.
• Patterson E, Lynch O, Fairbanks J (2022) Categorical Data Structures for Technical Computing. Compositionality 4:5. https://doi.org/10.32408/compositionality-4-5 – 10.32408/compositionality-4-5
• Pfeifer M, Caspart S, Hampel S, Muller C, Krebs S, Hohmann S (2020) Explicit port-Hamiltonian formulation of multi-bond graphs for an automated model generation. Automatica 120:109121. https://doi.org/10.1016/j.automatica.2020.109121 – 10.1016/j.automatica.2020.109121
• Spivak, (2014)
• Spivak, D.I. (2013). The operad of wiring diagrams: formalizing a graphical language for databases, recursion, and plug-and-play circuits.
• van der Schaft A, Jeltsema D (2014) Port-Hamiltonian Systems Theory: An Introductory Overview. Foundations and Trends® in Systems and Control 1(2-3):173–378. https://doi.org/10.1561/2600000002 – 10.1561/2600000002
• Yau, (2016)
• Yau, (2018)