Hybrid Models of Physical Systems and Discrete Controllers

A unifying modeling method is presented that (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.