检索结果-南通市图书馆

检索条件"主题词=formal control synthesis"

共 1 条记录，以下是1-10 订阅

全选清除本页清除全部题录导出标记到"检索档案"

详细简洁

排序：

Modeling and Analysis of Flexible Manufacturing Systems Based on Linear Temporal Logic

Modeling and Analysis of Flexible Manufacturing Systems Base...

引用

第35届中国过程控制会议

作者： Yuxin Cen Shaoyuan Li Xiang Ying Department of Automation Shanghai Jiao Tong University

In this paper, we investigate the modeling and analysis problems of flexible manufacturing systems based on *** work on this topic primarily focuses on supervisory control theory and discrete event systems. In our approach, we propose to use LTS to model the system and LTL to describe system properties. We present utilizing model checking methods to verify system properties and generate deterministic system control sequences. To address non-deterministic system control problems, we propose a game-based formal control synthesis method that transforms the system control problem into a game problem. We provide the algorithms for model checking and three games. Finally, we illustrate the feasibility of our proposed method through a case study.

关键词： Lable transtion system linear temporal logic model checking formal control synthesis

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

全选清除本页清除全部题录导出标记到“检索档案”

共1页 << < 1 > >>

回到顶部

执行限定条件

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：