机构

• 自动化研究所 [13]
• 计算技术研究所 [1]
• 沈阳自动化研究所 [1]
• 软件研究所 [1]

采集方式

• OAI收割 [16]

内容类型

• 期刊论文 [13]
• 学位论文 [2]
• 会议论文 [1]

发表日期

• 2021 [1]
• 2020 [1]
• 2019 [1]
• 2016 [2]
• 2008 [3]
• 2007 [1]
• 更多

学科主题

筛选

浏览/检索结果: 共16条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 Deadlock-free Supervisor Design for Robotic Manufacturing Cells With Uncontrollable and Unobservable Events 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2021, 卷号: 8, 期号: 3, 页码: 597-605 作者:  Bo Huang;  MengChu Zhou;  Cong Wang;  Abdullah Abusorrah;  Yusuf Al-Turki   |  收藏  |  浏览/下载：26/0  |  提交时间：2021/04/09 Deadlock prevention  Petri nets  robotic manufacturing cells  structure-minimized supervisor  supervisory control  uncontrollability  unobservability   Robust Deadlock Avoidance Policy for Automated Manufacturing System With Multiple Unreliable Resources 期刊论文  OAI收割 IEEE/CAA Journal of Automatica Sinica, 2020, 卷号: 7, 期号: 3, 页码: 812-821 作者:  Jianchao Luo;  Zhiqiang Liu;  Shuogang Wang;  Keyi Xing   |  收藏  |  浏览/下载：25/0  |  提交时间：2021/03/11 Automated manufacturing system (AMS)  deadlock avoidamce policy (DAP)  modified Banker’s algorithm (MBA)  Petri net   A Dynamic Buffer Reservation Method Based on Markov Chain to Solve Deadlock Problem in Scheduling 会议论文  OAI收割 Tianjin, China, July 13-15, 2019 作者:  Han ZH(韩忠华);  Liu, Yuehan;  Shi HB(史海波);  Tian, Xutian   |  收藏  |  浏览/下载：45/0  |  提交时间：2020/01/04 Flexible flow shop  Reentrant process  Limited buffer  Deadlock situation  Markov Chain   Multiple-combinational-channel: A network architecture for workload balance and deadlock free 期刊论文  OAI收割 FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2016, 卷号: 56, 页码: 238-246 作者:  Chen, Liwei;  Wang, Yipeng;  Wang, Huandong;  Wang, Wenxiang;  Jing, Hua   |  收藏  |  浏览/下载：20/0  |  提交时间：2019/12/13 NoC  CC-NUMA  Channel  Load balance  Deadlock free   Dynamic Testing for Deadlocks via Constraints 期刊论文  OAI收割 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2016, 卷号: 42, 期号: 9, 页码: 825-842 Cai, Y; Lu, Q   |  收藏  |  浏览/下载：29/0  |  提交时间：2016/12/09 Deadlock triggering  scheduling  should-happen-before relation  constraint  reliability  verification   On siphon computation for deadlock control in a class of Petri nets 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 3, 页码: 667-679 作者:  Li, ZhiWu;  Zhou, MengChu 收藏  |  浏览/下载：20/0  |  提交时间：2015/11/08 automated manufacturing system  deadlock prevention  elementary siphon  flexible manufacturing system (FMS)  Petri net  resource allocation system  siphon   A maximally permissive deadlock prevention policy for FMS based on Petri net siphon control and the theory of regions 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2008, 卷号: 5, 期号: 1, 页码: 182-188 作者:  Li, Zhiwu;  Zhou, MengChu;  Jeng, MuDer 收藏  |  浏览/下载：24/0  |  提交时间：2015/11/08 deadlock prevention  flexible manufacturing system  Petri net  siphon  theory of regions   Control of elementary and dependent siphons in Petri nets and their application 期刊论文  OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2008, 卷号: 38, 期号: 1, 页码: 133-148 作者:  Li, Zhiwu;  Zhou, MengChu 收藏  |  浏览/下载：19/0  |  提交时间：2015/11/08 automated manufacturing system  deadlock control  deadlock prevention  elementary siphon  flexible manufacturing system  Petri net   Deadlock resolution in automated manufacturing systems with robots 期刊论文  OAI收割 IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2007, 卷号: 4, 期号: 3, 页码: 474-480 作者:  Wu, Naiqi;  Zhou, MengChu 收藏  |  浏览/下载：25/0  |  提交时间：2015/11/08 automated manufacturing systems (AMS)  deadlock avoidance  modeling and control  Petri net   Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets 期刊论文  OAI收割 IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2006, 卷号: 2, 期号: 4, 页码: 313-325 作者:  Li, ZhiWu;  Zhou, MengChu 收藏  |  浏览/下载：30/0  |  提交时间：2015/11/07 deadlock prevention  elementary siphon  flexible  manufacturing system  Petri net  siphon