Martin Otter
YOU?
Author Swipe
View article: Variable Structure System Simulation via Predefined Acausal Components
Variable Structure System Simulation via Predefined Acausal Components Open
This article outlines a new approach of the experimental open-source modeling and simulation system Modia to simulate systems where the number of variables and equations can be changed after compilation and also during simulation, without …
View article: Modelling and Simulation of Physical Systems with Dynamically Changing Degrees of Freedom
Modelling and Simulation of Physical Systems with Dynamically Changing Degrees of Freedom Open
A new approach is introduced to model and simulate equation-based systems where variables can appear and disappear during simulation without re-generation and re-compilation of code when the numbers of equations and states change during ev…
View article: Signal Tables: An Extensible Exchange Format for Simulation Data
Signal Tables: An Extensible Exchange Format for Simulation Data Open
This article introduces Signal Tables as a format to exchange data associated with simulations based on dictionaries and multi-dimensional arrays. Typically, simulation results, as well as model parameters, reference signals, table-based i…
View article: Towards Modelica Models with Credibility Information
Towards Modelica Models with Credibility Information Open
Modeling and simulation is increasingly used in the design process for a wide span of applications. Rising demands and the complexity of modern products also increase the need for models and tools capable to cover areas such as virtual tes…
View article: Modia - Equation Based Modeling and Domain Specific Algorithms
Modia - Equation Based Modeling and Domain Specific Algorithms Open
A new design of the Modia experimental modeling language based on Julia is presented. It has simple yet powerful syntax and semantics. A unified means of describing the fundamental semantics, which is similar to Modelica, is outlined. Furt…
View article: Continuous Development and Management of Credible Modelica Models
Continuous Development and Management of Credible Modelica Models Open
Modeling and simulation is increasingly used in the design process for a~wide span of applications. Rising demands and the complexity of modern products also increases the need for models and tools capable to cover areas such as virtual te…
View article: eFMI: An open standard for physical models in embedded software
eFMI: An open standard for physical models in embedded software Open
This paper summarizes the final research results of the ITEA3 project EMPHYSIS (embedded systems with physical models in the production code software). Its core achievement is the new open eFMI Standard enabling automated workflows from hi…
View article: Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica
Formal requirements modeling for cyber-physical systems engineering: an integrated solution based on FORM-L and Modelica Open
The increasing complexity of cyber-physical systems (CPSs) makes their design, development and operation extremely challenging. Due to the nature of CPS that involves many heterogeneous components, which are often designed and developed by…
View article: Modia3D: Modeling and Simulation of 3D-Systems in Julia
Modia3D: Modeling and Simulation of 3D-Systems in Julia Open
Modia3D is an experimental Julia package to model and simulate 3D mechanical systems. Ideas from modern game engines are used to achieve a highly flexible setup and features of multi-body algorithms are used to get a rigid mathematical for…
View article: Component-Based 3D Modeling of Dynamic Systems
Component-Based 3D Modeling of Dynamic Systems Open
The objective is to model and simulate larger and more complex 3-dimensional systems as it is possible with a pure equation-based modeling system such as Modelica.The approach shall combine component-based 3D modeling, as used in modern ga…
View article: Thermodynamic Property and Fluid Modeling with Modern Programming Language Construct
Thermodynamic Property and Fluid Modeling with Modern Programming Language Construct Open
Modelica is used extensively to model thermo-fluid pipe networks. Experience shows that Modelica models in this domain have limitations due to missing functional expressiveness of the Modelica language. In this paper, a prototype is descri…
View article: Algorithms for Component-Based 3D Modeling
Algorithms for Component-Based 3D Modeling Open
The experimental modeling environment Modia3D is used to test and evaluate ideas to model and simulate larger and more complex 3-dimensional systems than is possible with a pure equation-based modeling system such as current Modelica. The …
View article: Structural Analysis of Multi-Mode DAE Systems
Structural Analysis of Multi-Mode DAE Systems Open
Differential Algebraic Equation (DAE) systems constitute the mathematical model supporting physical modeling languages such as Modelica, VHDL-AMS, or Simscape. Unlike ODEs, they exhibit subtle issues because of their implicit latent equati…
View article: Discrete-time models for control applications with FMI
Discrete-time models for control applications with FMI Open
The paper proposes an extension of FMI 2.0 for the rigorous treatment of discrete-time models. This includes the introduction of discrete-time states, the declaration of clocks in the model description and an extension of the calling inter…
View article: Transformation of Differential Algebraic Array Equations to Index One Form
Transformation of Differential Algebraic Array Equations to Index One Form Open
Several new algorithms are proposed that in effect transform DAEs (Differential Algebraic Equations) to a special index one form that can be simulated with standard DAE integrators. The transformation to this form is performed without solv…
View article: Model-based Embedded Control using Rosenbrock Integration Methods
Model-based Embedded Control using Rosenbrock Integration Methods Open
Directly generating controller code from models is
\nimportant for advanced model-based design. This
\npaper describes how Dymola can generate embedded
\nC-code from Modelica models, designed to be easy to
\nembed, with care about minimal …
View article: Innovations for Future Modelica
Innovations for Future Modelica Open
This paper discusses language innovations for future Modelica versions, on the one hand for generally applicable language elements, and on the other hand to improve modeling of multibody systems with contacts, and media modeling. In a comp…
View article: Structural Analysis of Multi-Mode DAE Systems
Structural Analysis of Multi-Mode DAE Systems Open
International audience
View article: Formal Requirements Modeling for Simulation-Based Verification
Formal Requirements Modeling for Simulation-Based Verification Open
This paper describes a proposal on how to model formal requirements in Modelica for simulation-based verification. The approach is implemented in the open source Modelica_Requirements library. It requires extensions to the Modelica languag…
View article: Multi-Mode DAE Systems with Varying Index
Multi-Mode DAE Systems with Varying Index Open
This paper discusses an approach to handle multi-mode Differential Algebraic Equation (DAE) systems described by continous-time state machines where mode-dependent state contraints are present. The goal is to perform static symbolic analys…
View article: Constructs for Meta Properties Modeling in Modelica
Constructs for Meta Properties Modeling in Modelica Open
This article proposes two new language constructs for meta-properties modeling in Modelica: 1) Accessing all instances of a given class and 2) extracting in a convenient way the desired information from such instances by allowing to pass t…
View article: Model Based Specifications in Aircraft Systems Design
Model Based Specifications in Aircraft Systems Design Open
This application paper describes the concept and needs on model based specifications in order to specify the basic behavior of aircraft systems and methods to check the requirements.It is demonstrated how it can be implemented by recent Mo…