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

作者：杨弘博; 吕鹏; 殷翔^*; 李少远

来源：厦门大学学报(自然科学版), 2022, 61(06): 927-932.

• 离散事件动态系统
• 输出调节
• 监控理论

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

• 单位
  上海交通大学