A controller for a Discrete Event System must achieve its goals despite that its environment being capable of resolving race conditions between controlled and uncontrolled events.Assuming that the controller loses all races is sometimes unrealistic. In many cases, a realistic assumption is that the controller sometimes wins races and is fast enough to perform multiple actions without being interrupted. However, in order to model this scenario using control of DES requires introducing foreign assumptions about scheduling, that are hard to figure out correctly. We propose a more balanced control problem, named run-to-completion (RTC), to alleviate this issue. RTC naturally supports an execution assumption in which both the controller and the environment are guaranteed to initiate and perform sequences of actions, without flooding or delaying each other indefinitely. We consider control of DES in the context where specifications are given in the form of linear temporal logic. We formalize the RTC control problem and show how it can be reduced to a standard control problem.

翻译：尽管环境能够解决受控事件和不受控制事件之间的种族条件。假设控制者失去所有种族有时是不现实的。在许多情况下,一个现实的假设是,控制者有时会赢比赛,而且足够快,可以不中断地采取多种行动。然而,为了模拟这种使用DES控制的情景,需要引入外国对时间安排的假设,而这种假设很难正确解析。我们提出了一个更平衡的控制问题,称为 " 跑到完成 " (RTC),以缓解这一问题。RTC自然支持一种执行假设,即控制者和环境都保证发起和进行一系列行动,而不会发生水灾或无限期拖延。我们考虑在以线性时间逻辑形式作出规格说明的情况下对DES的控制。我们把RTC控制问题正式化,并表明如何将其简化为标准控制问题。