arXiv subjects

Markus Lohmayer

Publications and source records attributed to Markus Lohmayer.

7 recordsLinked to original sources

arXiv2025

Directories: A Convenient and Well-Behaved Formalism for Hierarchical Organization in Categorical Systems Theory

This paper introduces an inherently strict presentation of categories with products, coproducts, or symmetric monoidal products that is inspired by file systems and directories. Rather than using nested binary tuples to combine objects or morphisms, the presentation uses named tuples. Specifically, we develop 2-monads whose strict 2-algebras are product categories, coproduct categories, or symmetric monoidal categories, in a similar vein to the classical Fam construction, but where the elements of the indexing set are period-separated identifiers like $\mathtt{cart.motor.momentum}$. Our development of directories is also intended to serve the secondary purpose of expositing certain aspects of polynomial monads, and is accompanied by Haskell code that shows how the mathematical ideas can be implemented.

math.CT↗

arXiv2024

Energy-based, geometric, and compositional formulation of fluid and plasma models

Fluid dynamics plays a crucial role in various multiphysics applications, including energy systems, electronics cooling, and biomedical engineering. Developing models for complex coupled systems can be challenging and time-consuming. In particular, ensuring the consistent integration of models from diverse physical domains requires meticulous attention. Considering the example of (electro-)magneto hydrodynamics (on a fixed spatial domain and with linear polarization and magnetization), this article demonstrates how relatively complex models can be composed from simpler parts by means of a formal language for multiphysics modeling. The Exergetic Port-Hamiltonian Systems (EPHS) modeling language features a simple graphical syntax for expressing the energy-based interconnection of subsystems. This reduces cognitive load and facilitates communication, especially in multidisciplinary environments. As the example demonstrates, existing models can be easily integrated as subsystems of new models. Specifically, an ideal fluid model is used as a subsystem of a Navier-Stokes-Fourier fluid model, which in turn is reused as a subsystem of an (electro-)magneto hydrodynamics model. The energy-based, compositional approach simplifies understanding complex models, and it makes it easy to encapsulate, reuse, and replace (parts of) models. Moreover, structural properties of EPHS models guarantee fundamental properties of thermodynamic systems, such as conservation of energy, non-negative entropy production, and Onsager reciprocal relations.

cs.CE↗

arXiv2024

Exergetic Port-Hamiltonian Systems for Multibody Dynamics

Multibody dynamics simulation plays an important role in various fields, including mechanical engineering, robotics, and biomechanics. Setting up computational models however becomes increasingly challenging as systems grow in size and complexity. Especially the consistent combination of models across different physical domains usually demands a lot of attention. This motivates us to study formal languages for compositional modeling of multiphysical systems. This article shows how multibody systems, or more precisely assemblies of rigid bodies connected by lower kinematic pairs, fit into the framework of Exergetic Port-Hamiltonian Systems (EPHS). This approach is based on the hierarchical decomposition of systems into their ultimately primitive components, using a simple graphical syntax. Thereby, cognitive load can be reduced and communication is facilitated, even with non-experts. Moreover, the encapsulation and reuse of subsystems promotes efficient model development and management. In contrast to established modeling languages such as Modelica, the primitive components of EPHS are not defined by arbitrary equations. Instead, there are four kinds of components, each defined by a particular geometric structure with a clear physical interpretation. This higher-level approach could make the process of building and maintaining large-scale models simpler and also safer.

eess.SY↗

arXiv2024

Exergetic Port-Hamiltonian Systems Modeling Language

Mathematical modeling of real-world physical systems requires the consistent combination of a multitude of physical laws and phenomenological models. This challenging task can be greatly simplified by hierarchically decomposing systems into ultimately simple components. Moreover, the use of diagrams for expressing the decomposition helps make the process more intuitive and facilitates communication, even with non-experts. As an important requirement, models have to respect fundamental physical laws such as the first and the second law of thermodynamics. While some existing modeling frameworks make such guarantees based on structural properties of their models, they lack a formal graphical syntax. We present a compositional and thermodynamically consistent modeling language with a graphical syntax. In terms of its semantics, we essentially endow port-Hamiltonian systems with additional structural properties and a fixed physical interpretation, ensuring thermodynamic consistency in a manner closely related to the metriplectic or GENERIC formalism. While port-Hamiltonian systems are inspired by graphical modeling with bond graphs, neither the link between the two, nor bond graphs themselves, can be easily formalized. In contrast, our syntax is based on a refinement of the well-studied operad of undirected wiring diagrams. By combining a compositional, graphical syntax with an energy-based, thermodynamic approach, the presented modeling language simplifies the understanding, reuse, and modification of complex physical models.

eess.SY↗

arXiv2022

Exergetic Port-Hamiltonian Systems: Navier-Stokes-Fourier Fluid

The Exergetic Port-Hamiltonian Systems modeling language combines a graphical syntax inspired by bond graphs with a port-Hamiltonian semantics akin to the GENERIC formalism. The syntax enables the modular and hierarchical specification of the composition pattern of lumped and distributed-parameter models. The semantics reflects the first and second law of thermodynamics as structural properties. Interconnected and hierarchically defined models of multiphysical thermodynamic systems can thus be expressed in a formal language accessible to humans and computers alike. We discuss a composed model of the Navier-Stokes-Fourier fluid on a fixed spatial domain as an example of an open distributed-parameter system. At the top level, the system comprises five subsystems which model kinetic energy storage, internal energy storage, thermal conduction, bulk viscosity, and shear viscosity.

eess.SY↗

arXiv2022

EPHS: A Port-Hamiltonian Modelling Language

A prevalent theme throughout science and engineering is the ongoing paradigm shift away from isolated systems towards 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 inspired by bond graphs and its functorial semantics together enable a modular and hierarchical approach to model specification.

eess.SY↗

arXiv2020

Exergetic Port-Hamiltonian Systems: Modelling Basics

Port-Hamiltonian systems theory provides a structured approach to modelling, optimization and control of multiphysical systems. Yet, its relationship to thermodynamics seems to be unclear. The Hamiltonian is traditionally thought of as energy, although its meaning is exergy. This insight yields benefits: 1. Links to the GENERIC structure are identified, making it relatively easy to borrow ideas from a popular framework for nonequilibrium thermodynamics. 2. The port-Hamiltonian structure combined with a suitable bond-graph syntax is expected to become a main ingredient in thermodynamic optimization methods akin to exergy analysis and beyond. The intuitive nature of exergy and diagrammatic language facilitates interdisciplinary communication that is necessary for implementing sustainable energy systems and processes. Port-Hamiltonian systems are cyclo-passive, meaning that a power-balance equation immediately follows from their definition. For exergetic port-Hamiltonian systems, cyclo-passivity is synonymous with degradation of energy and follows from the first and the second law of thermodynamics being encoded as structural properties.

physics.class-ph↗