Modelling and analysis of hybrid systems Original Research Article

The paper discusses the practical importance of and techniques for modelling and analysis of hybrid systems. The emphasis of the discussion is on the problems encountered for systems of realistic size as they arise in technical applications and on potentially effective modelling paradigms and analysis methods.