马吕斯·克劳泽；卡林·贝尔塔 根据时序逻辑规范控制线性系统的全自动框架。 （英语） Zbl 1367.93202号 IEEE传输。自动。控制 53，第1期，287-297（2008）. 评论：未发送评论稿。 引用于66文件 MSC公司： 93B40码 系统理论中的计算方法（MSC2010） 93立方 由微分方程以外的函数关系控制的控制/观测系统（例如混合系统和开关系统） 60年第68季度 规范和验证（程序逻辑、模型检查等） 03B44号 时间逻辑 PDF格式BibTeX公司 XML格式引用 \textit{M.Kloetzer}和\textit{C.Belta}，IEEE Trans。自动。控制53，编号1，287--297（2008；Zbl 1367.93202） 全文： DOI程序