收藏本站
《第24届中国控制与决策会议论文集》2012年
收藏 | 手机打开
二维码
手机客户端打开本文

Representation of Supervisory Controls using State Tree Structures, Binary Decision Diagrams, Automata, and Supervisor Reduction

【摘要】:In the synthesis of an optimal nonblocking supervisor for a discrete-event system (DES), the problem of state explosion is a well-known computational obstacle. This problem can often be managed successfully by the use of state-tree structures (STS) and binary decision diagrams (BDD). Unfortunately BDD control functions may become quite large, and as such difficult to represent and interpret. In some cases it may, therefore, be convenient to convert an STS/BDD based controller to automaton form, and then apply a well known algorithm for supervisor reduction. In this paper we illustrate the advantage of this approach with a concrete example.
【基金】:supported by China Scholarship Council under Grant[2010]3006
【分类号】:TP273;TP301.1

【共引文献】
中国期刊全文数据库 前1条
1 王飞,胡奇英;事件反馈与状态反馈的混合模监控[J];控制理论与应用;2004年06期
中国重要会议论文全文数据库 前2条
1 扬小军;郑应平;;离散事件系统监控与状态反馈的关系[A];1992年中国控制与决策学术年会论文集[C];1992年
2 颜文俊;孙优贤;;基于事件反馈的DES监控理论[A];1994中国控制与决策学术年会论文集[C];1994年
中国博士学位论文全文数据库 前1条
1 闵帆;基于试探的任务分配算法研究[D];电子科技大学;2003年
中国硕士学位论文全文数据库 前2条
1 王飞;离散事件系统的混合监控[D];西安电子科技大学;2004年
2 张小花;基于MAS的分布式制造系统动态控制元结构的研究[D];广东工业大学;2005年
【相似文献】
中国重要会议论文全文数据库 前10条
1 ;Construction of Based on Horn Chess Game Automata Systems[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
2 ;How Subordinates Reciprocate Supervisor's Trust:A Cross-level Model[A];Proceedings 2010 IEEE 2nd Symposium on Web Society[C];2010年
3 Sahar Mohajerani;Robi Malik;Simon Ware;Martin Fabian;;Compositional Synthesis of Discrete Event Systems Using Synthesis Abstraction[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
4 ;Supervised Networked Control Systems with Multiple Time Delays[A];Proceedings of the 2011 Chinese Control and Decision Conference(CCDC)[C];2011年
5 卢军静;;Supervisor Feedback on Employee Voice Influencing Employee Organizational Commitment:Typology of Feedback Playing a Vital Role[A];第六届(2011)中国管理学年会——组织行为与人力资源管理分会场论文集[C];2011年
6 KARIMADINI Mohammad;;Reliable Task Decomposability for Cooperative Multi-agent Systems[A];中国自动化学会控制理论专业委员会B卷[C];2011年
7 ;Research on Trilateral Game among Owner,Contractor and Engineering Supervisor in Communication Construction Market[A];Proceedings of 2010 Chinese Control and Decision Conference[C];2010年
8 ;Edge Detection of Images Based on Cloud Model Cellular Automata[A];第二十七届中国控制会议论文集[C];2008年
9 ;Two Overflow-resistant Strategies in LVCSR System[A];第六届全国人机语音通讯学术会议论文集[C];2001年
10 ;Component-oriented Design and Causality Interaction Analysis of Distributed Real-time Control System[A];第二十七届中国控制会议论文集[C];2008年
中国重要报纸全文数据库 前10条
1 高雪娟;RegPoint 防患于“症状”[N];中国计算机报;2003年
2 王锐;在Novell网中用ARJ清除垃圾文件[N];计算机世界;2002年
3 安宜小子;CMOS设置路路通[N];电脑报;2001年
4 薛新勇;计算机CMOS密码设置与解除[N];战士报;2001年
5 王鹏;开机密码为什么不见了?[N];中国电脑教育报;2004年
6 张威;宽进严出——澳大利亚博士论文的指导与审查[N];中国教育报;2002年
7 顾海兵;质疑“博导遴选”制度[N];南方周末;2003年
8 陈洪峰;摆平 硬盘保护卡和纽扣电池[N];中国电脑教育报;2004年
9 姚一;你的领导力够国际化吗?[N];中国高新技术产业导报;2005年
10 ;Nexus交换机如何实现数据中心优化[N];网络世界;2011年
中国博士学位论文全文数据库 前8条
1 张君华;实时随机系统的分析诊断与控制研究[D];南京航空航天大学;2011年
2 胡核算;自动制造系统的Petri网控制器设计及优化[D];西安电子科技大学;2010年
3 陈玉峰;柔性制造系统最大许可行为Petri网控制器设计[D];西安电子科技大学;2011年
4 杨琛;打结不变的命题投影时序逻辑与模型检测[D];西安电子科技大学;2010年
5 王建良;亚对数空间限定多墨水点交替式下推自动机的研究[D];中国海洋大学;2010年
6 韩召伟;几类基于量子逻辑的自动机的代数及逻辑刻画[D];陕西师范大学;2011年
7 刘改云;自动制造系统的Petri网结构分析和控制器设计[D];西安电子科技大学;2011年
8 肖林荣;基于QCA的数字逻辑电路设计研究[D];浙江大学;2012年
中国硕士学位论文全文数据库 前10条
1 肖霄;可扩展逻辑云ELC系统的研究与设计[D];电子科技大学;2010年
2 张绿云;师生互动中导师职业身份话语建构[D];首都师范大学;2012年
3 张倩婕;基于AJAX应用程序的跨站脚本攻击防御方法研究[D];湖南大学;2010年
4 孟金刚;若干初等元胞自动机演化语言复杂性[D];华东理工大学;2011年
5 鱼先锋;单道批处理系统建模与验证[D];陕西师范大学;2011年
6 王锟;基于领域本体的构建方法和映射流程的研究与实践[D];湖南师范大学;2012年
7 姚艳菊;在线信访系统的设计与实现[D];吉林大学;2010年
8 康银志;基于一维元胞自动机的伪随机数发生器的研究[D];西南交通大学;2010年
9 赵永乐;乌尔第三王朝狗牧的档案重建[D];东北师范大学;2010年
10 董红林;工作流管理系统中基于任务和角色动态访问控制的研究[D];重庆大学;2010年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026