Modeling and simulation of behavioural systems

This paper describes a modeling methodology that is matched to behavioural system descriptions. The approach covers a wide range of systems occurring in automatic control. A modeling language called Omola and an environment of computer tools called OmSim support the methodology. Models can be decomposed hierarchically with well-defined interfaces for describing interactions. All components are represented as classes. Inheritance and specialization support easy modification. Behavioral descriptions are given in terms of differential-algebraic equations, difference equations and elements of discrete events