|
题名:
|
实时随机系统模型检测 / 张君华著 , |
|
ISBN:
|
978-7-302-44881-5 价格： 46.8 |
|
语种:
|
chi |
|
载体形态:
|
107页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 清华大学出版社 出版日期： 2016.09 |
|
内容提要:
|
本书以实时随机系统为研究对象，以描述实时随机系统的典型模型－离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础，就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题，展开了一系列研究。 |
|
中图分类法:
|
O231.3 版次： |