Modeling and Validation of Hybrid Systems using Extended Timestamp Nets

Abstract

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.