Analysis of hybrid systems based on hybrid net condition/event system model (Q5928920)

A hybrid net condition/event system (HNCES) is introduced here as a composition of a discrete PN with a continuous PN via coupling of all condition and event signals of these nets. Two methods for state reachability analysis (i.e., for two sets of states \(H_{0}\) and \(H_{f}\) it is necessary to check if \(H_{0} \to^{*} H_{f}\)) for the HNCESs are proposed. The first one is based on predicate transformations for the sequential computing of step successors of \(H_{0}\) for the linear HNCESs. The second one is based on enumerating firing sequences of discrete transitions and verification if a given set of states can be reached from another set by firing a sequence of discrete transitions. A technique for preventing infinite enumeration is developed.