实时离散事件系统的状态反馈逻辑  

STATE FEEDBACK LOGIC FOR A CLASS OF REAL TIME DISCRETE EVENT SYSTEM

作　　者：李勇华[1] 高为炳[1] 

机构地区：[1]北京航空航天大学第七研究室,北京100083

出　　处：《航空学报》1992年第11期A647-A653,共7页Acta Aeronautica et Astronautica Sinica

基　　金：国家教委博士点基金

摘　　要：基于状态时间的概念,在Ramadge-Wonham模型的基础上提出了一种新的实时离散事件系统模型。在控制目标是保持某给定谓词在闭环系统状态轨迹上为真的情况下,给出了实时控制不变性的定义。研究表明,对这类系统,存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为真的充要条件是该谓词是实时控制不变的。证明了给定谓词所含的最大实时控制不变子谓词的存在性并给出了计算方法。最后,给出一个例子来说明有关结果。In this paper, a new kind of real time discrete event system model is proposed based on the concept of state sojourn times. A definition of real time control-invariance is given for a certain predicate. It is shown that for this class of system, there is a state feedback controller such that the given predicate remains true at the state trajectories of the closed loop system if and only if the given predicate is real time control-invariant. It is also shown that for a given predicate, there is a unique supreme real time control-invariant subpredicate. A procedure is presented for its computation. Finally, an example is given to illustrate the results.

关 键 词：离散事件系统 状态反馈 实时控制 

分 类 号：TP273[自动化与计算机技术—检测技术与自动化装置]