实时随机系统模型检测

收藏
  • 【作者】张君华
  • 【关键词】随机系统
  • 【出版社】清华大学出版社
  • 【出版日期】2016
  • 【ISBN】978-7-302-44881-5
  • 【中图分类号】 O231.3
  • 【内容简介】本书以实时随机系统为研究对象,以描述实时随机系统的典型模型-离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础,就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题,展开了一系列研究。全部展开
  • 【页码】107页
  • 【文献类型】图书
  • 【所属馆】

    温州市图书馆

  • 【获取途径】
联合资源统一检索系统 超星 V2.0
已保存的题录(0)
选出输出字段:
加载保存列表...
清空文件夹
注:
通过勾选,使对应参与检索,从而可以轻松获得更全面的检索结果。