离散事件动态系统的输出调节

摘要

离散控制系统在运行过程中会对外界产生输出,根据不同的应用场景,需要对输出进行控制与调节.为了方便研究系统的输出特性,在离散事件动态系统(discrete-event dynamic system,DEDS)的理论框架下提出了其输出调节问题.通过研究系统的行为与输出的同步关系,将定义在输出层面的规约转移到系统层面,建立了一种基于规约转化的输出调节监控器构造算法.经过数学证明,该算法可以保证问题转化前后的安全性和最小约束性质不变.最后,通过实例验证了DEDS框架下输出调节问题的监控器构造算法的可行性和有效性.