Inhaltszusammenfassung

The paper presents a new modeling paradigm for modular modeling of hybrid systems. Moduls are designed by using Extended Timestamp nets for representing the internal hybrid dynamic behavior of models. The input/output behavior of a module is defined by means of condition and event signals which may carry any information concerning internal states or state transitions, respectively. The focus of this paper is to illustrate capabilities for modular modeling and the modeling power. For this purp...The paper presents a new modeling paradigm for modular modeling of hybrid systems. Moduls are designed by using Extended Timestamp nets for representing the internal hybrid dynamic behavior of models. The input/output behavior of a module is defined by means of condition and event signals which may carry any information concerning internal states or state transitions, respectively. The focus of this paper is to illustrate capabilities for modular modeling and the modeling power. For this purpose, a batch plant and a controller with variable parameters are modeled and formally interconnected to a model of the closed-loop behavior.» weiterlesen» einklappen

Autoren

Klassifikation

DFG Fachgebiet:
Informatik

DDC Sachgruppe:
Informatik