Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
at - Automatisierungstechnik. Bd. 49. H. 2. de Gruyter 2001 S. 60 - 65
Erscheinungsjahr: 2001
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1524/auto.2001.49.2.60
Inhaltszusammenfassung
The paper presents a new modeling approach for hybrid systems which is capable to handle even large-sized problems with reasonable effort. It is expressive enough to consider real-valued state variables over a real-valued time axis. In order to demonstrate the usability of our approach, we give an informal, example-based description and refer to the literature for formal definitions. We show the accuracy of our models by comparing simulated and measured behavior of an existing batch plant.
Autoren
Hanisch, Hans-Michael (Autor)
Lautenbach, Kurt (Autor)
Thieme, Jan (Autor)
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik