Quantitative Supervisory Control of Discrete Event Systems and Its Applications
Quantitative Supervisory Control of Discrete Event Systems and Its Applications
离散事件系统的定量监控及其应用
批准号：
24656262
负责人：
Ushio Toshimitsu
金额：
$2.5万
依托单位：
依托单位国家：
日本
项目类别：
Grant-in-Aid for Challenging Exploratory Research
财政年份：
2012
资助国家：
日本
项目状态：
已结题
起止时间：
2012-04-01 至 2016-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(14)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Optimal Directed Control of Discrete Event Systems with Linear Temporal Logic Constraints
具有线性时态逻辑约束的离散事件系统的最优定向控制
具有线性时态逻辑约束的离散事件系统的最优定向控制
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Ami Sakakibara, Sasinee Pruekprasert, and Toshimitsu Ushio]
通讯作者：
and Toshimitsu Ushio
Distributed Event-Triggered Output Feedback Control with Cloud-Assisted Observer
使用云辅助观察器进行分布式事件触发输出反馈控制
使用云辅助观察器进行分布式事件触发输出反馈控制
DOI：
--
发表时间：
2015
期刊：
影响因子：
--
作者：
[Ami Sakakibara, Sasinee Pruekprasert, and Toshimitsu Ushio, Kohei Fujita and Toshimitsu Ushio]
通讯作者：
Kohei Fujita and Toshimitsu Ushio
Formal Framework for Detection of Automation Surprises in Human-machine Systems Modeled by Hybrid Automata
混合自动机建模的人机系统中自动化意外检测的正式框架
混合自动机建模的人机系统中自动化意外检测的正式框架
DOI：
--
发表时间：
2014
期刊：
影响因子：
--
作者：
[Ami Sakakibara, Sasinee Pruekprasert, and Toshimitsu Ushio, Kohei Fujita and Toshimitsu Ushio, 石井大貴，潮俊光, Daiki Ishii and Toshimitsu Ushio]
通讯作者：
Daiki Ishii and Toshimitsu Ushio
DOI：
10.1109/tac.2015.2513901
发表时间：
2016-10
期刊：
IEEE Transactions on Automatic Control
影响因子：
6.8
作者：
[Sasinee Pruekprasert;T. Ushio;Takafumi Kanazawa]
通讯作者：
Sasinee Pruekprasert;T. Ushio;Takafumi Kanazawa
LTL制約の下での定量的離散事象システムの最適制御器設計
LTL约束下定量离散事件系统的最优控制器设计
LTL约束下定量离散事件系统的最优控制器设计
DOI：
--
发表时间：
2016
期刊：
影响因子：
--
作者：
[榊原 愛海，Sasinee Pruekprasert, 潮俊光]
通讯作者：
潮俊光
共 14 条
海外基金