Analysis of hybrid systems