Progressive events in supervisory control and compositional verification  

作　　者：Simon Ware Robi Malik 

机构地区：[1]School of Electronic and Electrical Engineering, Nanyang Technological University,Singapore [2]Department of Computer Science, University of Waikato,Hamilton, New Zealand

出　　处：《Control Theory and Technology》2014年第3期317-329,共13页控制理论与技术（英文版）

摘　　要：This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.This paper investigates some limitations of the nonblocking property when used for supervisor synthesis in discrete event systems. It is shown that there are cases where synthesis with the nonblocking property gives undesired results. To address such cases, the paper introduces progressive events as a means to specify more precisely how a synthesised supervisor should complete its tasks. The nonblocking property is modified to take progressive events into account, and appropriate methods for verification and synthesis are proposed. Experiments show that progressive events can be used in the analysis of industrial-scale systems, and can expose issues that remain undetected by standard nonblocking verification.

关 键 词：Model validation in design methods Controller constraints and structure Computational issues 

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