@第{zbMATH05134922条，作者={江、胜兵和库马尔、丹尼尔}，标题={具有{{（\mathrm{CTL}^*\）}}时序逻辑规范}的离散事件系统的监督控制，FJournal＝{SIAM控制与优化期刊}，日志={SIAM J.控制优化}，ISSN={0363-0129}，体积={44}，数字={6}，Pages＝{2079-2103}，年份={2006}，语言={英语}，DOI={10.1137/S0363012902409982}，关键词={93C65,93B50}，zbMATH={5134922}，Zbl={1132.93032}}