Hybrid Models of Physical Systems and Discrete Controllers

Kurzfassung

A unifying modeling method is presented the (1) extends the declarative, equation based, object oriented modeling approach by discontinuous and variable structure components which arise from abstractions in physical system models and (2) combines this with imperative, reactive, discrete event controllers based on the statechart and the sequential function chart formalisms.