Starten Sie Ihre Suche...


Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

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

Volltext über DOI/URN

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

Verknüpfte Personen


Carlo Simon