| Abstract [eng] |
Hybrid systems are one of the oldest modeling systems. They describe the area of models, where discrete and continuous variables are simulated. The main goal of hybrid systems is to describe system, where management and system performance depends on discrete and continuous variables. There are a lot of different hybrid system models designed. For the design and analysis of dynamic systems simulation is a declared technique. The development of simulation model requires starting with formal specification that is independent from the simulation implementation details. A general specification of dynamic system can specify a simulation model in one of the four following paradigms: a set of differential equations, a discrete time formalism, discrete event formalism and difference equation formalism. In this work I will overlook such discrete events formalisms: discrete event behavior model specification, structural model specification, dynamic system modeling in DEVS GDEVS and PLA. PLA specification of hybrid system has been explored. It has been adjusted for barrel filling system. |
