莫特萨·拉希贾尼安;Sean B.安德森。;卡林·贝尔塔 离散随机系统的形式化验证与综合。 (英语) Zbl 1360.93650号 IEEE传输。自动。控制 60,第8期,2031-2045(2015). 评论:未发送评论稿。 引用于15文件 MSC公司: 93E03型 控制理论中的随机系统(综述) 60年第68季度 规范和验证(程序逻辑、模型检查等) PDF格式BibTeX公司 XML格式引用 \textit{M.Lahijanian}等人,IEEE Trans。自动。控制60,编号8,2031--2045(2015;Zbl 1360.93650) 全文: 内政部