蒋胜兵；丹尼尔·库马尔 具有时间逻辑规范的离散事件系统的监督控制。 （英语） Zbl 1132.93032号 SIAM J.控制优化。 44，第6号，2079-2103（2006）. 摘要：研究了具有时序逻辑规范的离散事件系统的监督控制问题。\（\text｛CTL｝^*\）的全分支时间逻辑用于表示离散事件系统的规范。（\text{CTL}^*\）的控制问题简化为（\text}CTL}^*\的决策问题。得到了（CTL）控制的一个小模型定理。结果表明，对于确定的双指数时间，（text{CTL}^*）（resp.，CTL）的控制问题是完全的。提出了一种完善的控制（文本{CTL}^*）的监督合成算法。还研究了计算树逻辑（CTL）和线性时间时序逻辑控制的特殊情况。 引用于7文件 MSC公司： 93元65角 离散事件控制/观测系统 93亿B50 合成问题 关键词：离散事件系统；监督控制；时序逻辑；计算树逻辑；线性时间时序逻辑 PDF格式BibTeX公司 XML格式引用 \textit{S.Jiang}和\textit{D.Kumar}，SIAM J.控制优化。44，第6号，2079--2103（2006；Zbl 1132.93032） 全文： 内政部