The Synthesis Design and Application of Hybrid Systems

In this paper, a computational model for hybrid systems is defined. Based on this model, a partial order relation of hybrid systems is given and a lattice of hybrid systems is formalized. Armed with these notations, synthesis of hybrid systems is discussed. The synthesis can be seen as the operation of solving the least upper bound of members of the lattice. An example is given to illustrate the approach.