Compositional and uniform modelling of hybrid systems

We discuss fundamentals of hybrid system modelling. Emphasis is put on compositionality and the use of multiform time. Compositionality refers to the ability of freely composing hybrid systems. This amounts to relying on a behavioral approach. Since hybrid systems are considered, different time indices occur, and modularity calls for considering “time” as local to each module, this is what we call multiform time. Our framework is behavioral, and we discuss its relations with the more traditional state based point of view