Analysis of hybrid systems | doi.page