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

Output regulation of discrete event dynamic systems

作　　者：杨弘博 吕鹏 殷翔 李少远[1,2] YANG Hongbo;Lü Peng;YIN Xiang;LI Shaoyuan(School of Electronic Information and Electrial Engineering,Shanghai Jiao Tong University,Shanghai 201100,China;Institute of Automation,Shanghai Jiao Tong University,Shanghai 200030,China)

机构地区：[1]上海交通大学电子信息与电气工程学院,上海201100 [2]上海交通大学自动化研究所,上海200030

出　　处：《厦门大学学报（自然科学版）》2022年第6期927-932,共6页Journal of Xiamen University：Natural Science

摘　　要：离散控制系统在运行过程中会对外界产生输出,根据不同的应用场景,需要对输出进行控制与调节.为了方便研究系统的输出特性,在离散事件动态系统(discrete-event dynamic system,DEDS)的理论框架下提出了其输出调节问题.通过研究系统的行为与输出的同步关系,将定义在输出层面的规约转移到系统层面,建立了一种基于规约转化的输出调节监控器构造算法.经过数学证明,该算法可以保证问题转化前后的安全性和最小约束性质不变.最后,通过实例验证了DEDS框架下输出调节问题的监控器构造算法的可行性和有效性.In practical applications,discrete control systems will produce some representations to the outside world,which are called the"output"of the system.For the purpose of facilitating the study of output characteristics of the system,the problem of its output regulation is raised under the theoretical framework of the discrete event dynamic system.By studying the synchronization relationship between the behavior and the output of the system,the specification defined on the output level can be transferred to the system level.Furthermore,based on this specification conversion method,an output regulation supervisor construction algorithm is established.With the mathematical proof,the algorithm can ensure both the safety and the unchanging of min-constraint properties before and after the specification transformation.Finally,an example is given to illustrate the feasibility and effectiveness of the supervisor construction algorithm to solve output regulation problems modeled under the DEDS framework.

关 键 词：离散事件动态系统 输出调节 监控理论 

分 类 号：TP13[自动化与计算机技术—控制理论与控制工程]