IP用户,欢迎您!
登录
注册
客户端下载
使用手册
帮助中心
您的建议
书城
书城
本馆资源
高级检索
全部
题名
ISBN
作者
出版社
内容简介
首页
本馆资源
数字资源平台
>
工学
>
控制科学与工程
>
控制理论与控制工程
>
实时随机系统模型检测
阅读次数:
43
下载次数:
0
荐购次数:
0
收藏次数:
0
实时随机系统模型检测
作者:
张君华著
出版社:
清华大学出版社
出版时间:
2016.09
ISBN:
978-7-302-44881-5
主题:
随机系统
中图法分类号:
O231.3
【中图法分类】
O 数理科学和化学
->
O1数学
->
O23控制论、信息论(数学理论)
【学科分类】
工学
->
控制科学与工程
->
控制理论与控制工程
理学
->
数学
->
运筹学与控制论
文件大小:
11.80MB
页码:
117
建议阅读终端:
随书光盘:
扫描用手机阅读此书支持Android/iPhone
在线试读
荐购
分享到
新浪微博
QQ空间
腾讯微博
豆瓣网
人人网
内容简介
本书以实时随机系统为研究对象,以描述实时随机系统的典型模型-离散(连续)时间Markov决策过程、概率时间自动机及其扩展模型为基础,就实时随机系统的模型检测、反例生成、模型修复与控制器合成问题,展开了一系列研究。
目录
展开 ∨
发表评论
评分
1
2
3
4
5
评价:
请输入评论信息
5
0
/255
最新上架