MARC状态：已编 文献类型：电子图书 浏览次数：31
- 题名/责任者:
- 实时随机系统模型检测/张君华著
- 出版发行项:
- 北京:清华大学出版社,2016.09
- ISBN及定价:
- 978-7-302-44881-5/CNY39.00
- 载体形态项:
- 107页;24cm
- 个人责任者:
- 张君华 (1970-) 著
- 学科主题:
- 随机系统-系统模型-检测
- 中图法分类号:
- O231.3
- 提要文摘附注:
- 本书以实时随机系统为研究对象，以描述实时随机系统的典型模型－离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础，就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题，展开了一系列研究。
- 使用对象附注:
- 本书适合高年级本科生或研究生阅读
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 | 还书位置 |
| O231.3/E0168431 | E0168431 | 罗庄校区—电子图书 | 可借 | 电子图书 |
显示全部馆藏信息