CONSISTENCY OF DISCRETE EVENT SPECIFICATION TO CONTINUOUS STATE SYSTEMS IN HYBRID DYNAMICAL SYSTEMS

Hybrid dynamical systems originate from the application of discrete event systems to monitoring continuous state systems. Using abstract languages method to describe-continuous state systems, this paper studies the consistency of discrete event specification to continuous state systems. Synthesis of discrete controller is also discussed briefly on the basis of input-output relationship.