Sequential Control Issues in the Plant-Wide Control System

作     者：Daisuke Hiranaka Hirokazu Nishitani 

作者机构：Department of Information & Computer Science Osaka University 1-1 Machikaneyama Toyonaka Osaka Japan Graduatt School of Information Science Nara Institute of Seienee and Technology 8916-5 Takayama Ikoma Nara Japan (To whom correspondence should be addressed) 

出 版 物：《IFAC Proceedings Volumes》 

年 卷 期：1994年第27卷第2期

页      面：345-350页

主　　题：Programmable controllers Discrete systems Sequential control Verification Model checker 

摘      要：We have applied the model checker using the computation tree logic (CTL) to automatic verification of the sequential control system, of which mechanism is defined by the rules in series. The rule transition graph and the modified CTL formulas were introduced to determine if the system satisfies the specifications.