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}
}
References
- Baez, Categories in control. Theory and Applications of Categories (2015)
- Baez, J. C., Courser, K. & Vasilakopoulou, C. Structured versus Decorated Cospans. Compositionality vol. 4 3 (2022) – 10.32408/compositionality-4-3
- Baez, J. C. & Pollard, B. S. A compositional framework for reaction networks. Reviews in Mathematical Physics vol. 29 1750028 (2017) – 10.1142/s0129055x17500283
- Bakirtzis, Compositional cyber-physical systems modeling. (2021)
- Breiner, S., Pollard, B., Subrahmanian, E. & Marie-Rose, O. Modeling Hierarchical System with Operads. Electronic Proceedings in Theoretical Computer Science vol. 323 72–83 (2020) – 10.4204/eptcs.323.5
- Leinster, Higher Operads, Higher Categories. (2004)
- Libkind, S., Baas, A., Patterson, E. & Fairbanks, J. Operadic Modeling of Dynamical Systems: Mathematics and Computation. Electronic Proceedings in Theoretical Computer Science vol. 372 192–206 (2022) – 10.4204/eptcs.372.14
- Lohmayer, M., Kotyczka, P. & Leyendecker, S. Exergetic port-Hamiltonian systems: modelling basics. Mathematical and Computer Modelling of Dynamical Systems vol. 27 489–521 (2021) – 10.1080/13873954.2021.1979592
- Mac Lane, Categories for the Working Mathematician. (1998)
- Marquez, F. M., Zufiria, P. J. & Yebra, L. J. Port-Hamiltonian Modeling of Multiphysics Systems and Object-Oriented Implementation With the Modelica Language. IEEE Access vol. 8 105980–105996 (2020) – 10.1109/access.2020.3000129
- Patterson, E., Lynch, O. & Fairbanks, J. Categorical Data Structures for Technical Computing. Compositionality vol. 4 5 (2022) – 10.32408/compositionality-4-5
- Pfeifer, M. et al. Explicit port-Hamiltonian formulation of multi-bond graphs for an automated model generation. Automatica vol. 120 109121 (2020) – 10.1016/j.automatica.2020.109121
- Spivak, (2014)
- van der Schaft, A. & Jeltsema, D. Port-Hamiltonian Systems Theory: An Introductory Overview. Foundations and Trends® in Systems and Control vol. 1 173–378 (2014) – 10.1561/2600000002
- Yau, (2016)
- Yau, (2018)