Tichakorn的Wongpiromsarn；托普库，乌福；理查德·默里（Richard M.Murray）。 远期时间逻辑规划。 （英语） Zbl 1369.93392号 IEEE传输。自动。控制 57，第11期，2817-2830（2012）. 评论：未发送评论稿。 引用于11文件 MSC公司： 93元65角 离散事件控制/观测系统 03B44号 时间逻辑 93甲13 层次系统 93亿B50 合成问题 PDF格式BibTeX公司 XML格式引用 \textit{T.Wongpiromsarn}等人，IEEE Trans。自动。对照57，编号11，2817--2830（2012；Zbl 1369.93392） 全文： 内政部