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

 基于状态时间的概念,在Ramadge-Wonham模型的基础上提出了一种新的实时离散事件系统模型。在控制目标是保持某给定谓词在闭环系统状态轨迹上为真的情况下,给出了实时控制不变性的定义。研究表明,对这类系统,存在一个状态反馈控制器使给定谓词在闭环系统状态轨迹上保持为真的充要条件是该谓词是实时控制不变的。证明了给定谓词所含的最大实时控制不变子谓词的存在性并给出了计算方法。最后,给出一个例子来说明有关结果。

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

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.