Article
Licensed
Unlicensed
Requires Authentication
Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
-
H.-M. Hanisch
Published/Copyright:
September 25, 2009
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.
Published Online: 2009-09-25
Published in Print: 2001-02
You are currently not able to access this content.
You are currently not able to access this content.
Articles in the same Issue
- Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
- Technical Application of Hybrid Modeling Methods to specify Function Block Systems
- Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
- Approaches to the Formal Verification of Hybrid Systems
- Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
- Aktive Deadlockvermeidung in Ereignisdiskreten Systemen (Active Deadlock Avoidance for Discrete Event Systems)
- Professor Gerhard Vossius 75 Jahre
- The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)
- Gemeinsames Kolloquium der DFG-Schwerpunkprogramme Softwarespezifikation und KONDISK
- 1st IFAC-Conference on Mechatronic Systems
- 10. Workshop des GMA-Fachausschusses 5.22 Fuzzy Control
- Eine virtuelle Werkstatt für internationale Tele-Gruppenarbeit am Beispiel einer Fertigung von Drehteilen
Articles in the same Issue
- Special Issue on Hybrid Systems II:Analysis, Modeling, and Verification
- Technical Application of Hybrid Modeling Methods to specify Function Block Systems
- Modeling and Validation of Hybrid Systems using Extended Timestamp Nets
- Approaches to the Formal Verification of Hybrid Systems
- Erreichbarkeitsanalyse hybrider Systeme (Reachability Analysis of Hybrid Systems)
- Aktive Deadlockvermeidung in Ereignisdiskreten Systemen (Active Deadlock Avoidance for Discrete Event Systems)
- Professor Gerhard Vossius 75 Jahre
- The 4th International Conference on Automation of Mixed Processes: Hybrid Dynamic Systems (ADPM 2000)
- Gemeinsames Kolloquium der DFG-Schwerpunkprogramme Softwarespezifikation und KONDISK
- 1st IFAC-Conference on Mechatronic Systems
- 10. Workshop des GMA-Fachausschusses 5.22 Fuzzy Control
- Eine virtuelle Werkstatt für internationale Tele-Gruppenarbeit am Beispiel einer Fertigung von Drehteilen
