Introducing Explicit Causality in Object-oriented Hybrid System Modeling
L. Liu, F. Felgner, and G. Frey. Proceedings of the 9th International Conference on Modeling, Optimization and Simulation (MOSIM'12), Bordeaux, France, (2012)
Abstract
Along with the rapid development of embedded devices and network technology, the area of Cyber Physical Systems (CPS), has arisen. In terms of modeling and simulation, CPS---like many technical systems---have a hybrid nature, i.e., discrete-event behavior and continuous-time dynamics have to be integrated with each other. Basically, this integration is supported by modern object-oriented modeling paradigms such as Modelica. The equation-based concept resolves the causality between interconnected components, which qualifies this modeling scheme for complex multi-domain systems. However, in hybrid systems, explicit causality is required to correctly manage iterative events. This paper highlights these issues, including algorithmic loops and instantaneous multiple updates, which essentially arise from incompatibilities between the object-oriented concept and specific discrete-event phenomena. We discuss several possible solutions and introduce the concept of re-allocating the objects' behavioral intelligence.
%0 Conference Paper
%1 LiuFelgnerFrey12MOSIM
%A Liu, Liu
%A Felgner, Felix
%A Frey, Georg
%B Proceedings of the 9th International Conference on Modeling, Optimization and Simulation (MOSIM'12), Bordeaux, France
%D 2012
%K v1205 paper embedded ai system engineering development test simulation tool code generation temporal zzz.cps
%T Introducing Explicit Causality in Object-oriented Hybrid System Modeling
%U http://www.aut.uni-saarland.de/publication-abstracts/2012/mosim/ll-ff-gf-mosim-juni-2012/
%X Along with the rapid development of embedded devices and network technology, the area of Cyber Physical Systems (CPS), has arisen. In terms of modeling and simulation, CPS---like many technical systems---have a hybrid nature, i.e., discrete-event behavior and continuous-time dynamics have to be integrated with each other. Basically, this integration is supported by modern object-oriented modeling paradigms such as Modelica. The equation-based concept resolves the causality between interconnected components, which qualifies this modeling scheme for complex multi-domain systems. However, in hybrid systems, explicit causality is required to correctly manage iterative events. This paper highlights these issues, including algorithmic loops and instantaneous multiple updates, which essentially arise from incompatibilities between the object-oriented concept and specific discrete-event phenomena. We discuss several possible solutions and introduce the concept of re-allocating the objects' behavioral intelligence.
@inproceedings{LiuFelgnerFrey12MOSIM,
abstract = {Along with the rapid development of embedded devices and network technology, the area of Cyber Physical Systems (CPS), has arisen. In terms of modeling and simulation, CPS---like many technical systems---have a hybrid nature, i.e., discrete-event behavior and continuous-time dynamics have to be integrated with each other. Basically, this integration is supported by modern object-oriented modeling paradigms such as Modelica. The equation-based concept resolves the causality between interconnected components, which qualifies this modeling scheme for complex multi-domain systems. However, in hybrid systems, explicit causality is required to correctly manage iterative events. This paper highlights these issues, including algorithmic loops and instantaneous multiple updates, which essentially arise from incompatibilities between the object-oriented concept and specific discrete-event phenomena. We discuss several possible solutions and introduce the concept of re-allocating the objects' behavioral intelligence.},
added-at = {2012-07-02T13:44:33.000+0200},
author = {Liu, Liu and Felgner, Felix and Frey, Georg},
biburl = {https://www.bibsonomy.org/bibtex/2ea37708bd26f046c2f5e62882dfc7712/flint63},
booktitle = {Proceedings of the 9th International Conference on Modeling, Optimization and Simulation (MOSIM'12), Bordeaux, France},
file = {Preprint:2012/LiuFelgnerFrey12MOSIM.pdf:PDF;Related Web Site:https\://modelica.org/:URL},
groups = {public},
interhash = {a1f9b3e38a7cb34b387fd94a166cb961},
intrahash = {ea37708bd26f046c2f5e62882dfc7712},
keywords = {v1205 paper embedded ai system engineering development test simulation tool code generation temporal zzz.cps},
timestamp = {2018-04-16T12:21:58.000+0200},
title = {Introducing Explicit Causality in Object-oriented Hybrid System Modeling},
url = {http://www.aut.uni-saarland.de/publication-abstracts/2012/mosim/ll-ff-gf-mosim-juni-2012/},
username = {flint63},
year = 2012
}