Modeling of hybrid systems