CONSISTENCY OF DISCRETE EVENT SPECIFICATION TO CONTINUOUS STATE SYSTEMS IN HYBRID DYNAMICAL SYSTEMS
Zhang Guohua · Information and Computation · 1997
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.