实时随机系统模型检测

书籍简介:

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

书籍规格:

书籍信息归属:

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