混合动态系统中连续状态系统用离散事件系统描述的一致性
CONSISTENCY OF DISCRETE EVENT SPECIFICATION TO CONTINUOUS STATE SYSTEMS IN HYBRID DYNAMICAL SYSTEMS
-
摘要: 混合动态系统起因于离散事件系统用于监控连续状态系统的行为.本文用抽象语言方法描述连续状态系统,研究了连续状态系统用离散事件系统描述的一致性.基于输入输出观点简要地讨论了离散控制器综合.Abstract: 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.