COMPOSITIONAL AND UNIFORM MODELING OF HYBRID SYSTEMS

This paper discusses fundamentals of hybrid system modeling. Emphasis is put on compositionality and the use of multiform time. Compositiona lity refers to the ability of freely composing hybrid systems. Since h ybrid systems are considered, different time indexes occur, and modula rity calls for considering ''time'' as local to each module, this is w hat is called multiform time. The proposed framework is behavioral, he nce a way is provided to automatically synthesize proper scheduling co nstraints for the joint simulation of discrete-time, event-based, and continuous-time components. Finally, the relations of this model with the more traditional state-based point of view are discussed.