实时随机系统模型检测

实时随机系统模型检测

张君华, 著

出版社:清华大学出版社

年代:2016

定价:30.0

书籍简介:

本书以实时随机系统为研究对象,以描述实时随机系统的典型模型—离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础,就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题,展开了一系列研究。

书籍规格:

书籍详细信息
书名实时随机系统模型检测站内查询相似图书
9787302448815
如需购买下载《实时随机系统模型检测》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地北京出版单位清华大学出版社
版次1版印次1
定价(元)30.0语种简体中文
尺寸26 × 19装帧平装
页数印数 100

书籍信息归属:

实时随机系统模型检测是清华大学出版社于2016.出版的中图分类号为 O231 的主题关于 随机系统-系统模型-检测 的书籍。