CORC

在结果中检索

CORC

浏览/检索结果: 共14条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks 期刊论文
IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 1, 页码: 240-248
作者:  Dan You;  Shouguang Wang
收藏  |  浏览/下载：1/0  |  提交时间：2024/01/02
An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy 期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2016, 卷号: 8, 期号: 7
作者:  Li, Shaoyong;  Xiao, Xingda;  Cai, Ying;  Ma, Bingshan;  Hou, Caiqin
收藏  |  浏览/下载：1/0  |  提交时间：2022/03/01
An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy 期刊论文
ADVANCES IN MECHANICAL ENGINEERING, 2016, 卷号: 8, 期号: 7
作者:  Li, Shaoyong;  Xiao, Xingda;  Cai, Ying;  Ma, Bingshan;  Hou, Caiqin
收藏  |  浏览/下载：13/0  |  提交时间：2019/11/15
Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems 期刊论文
2015, 卷号: 17, 期号: 1, 页码: 190
作者:  Wang, Shouguang[1,2];  Zhou, Mengchu[2,3];  Wu, Wenhui[1]
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons 期刊论文
Journal of Intelligent Manufacturing, 2013, 卷号: 24, 期号: 6, 页码: 1157-1173
作者:  Li, Shao Yong;  An, Ai Min;  Wang, Ying;  Wang, Gang;  Hou, Cai Qin
收藏  |  浏览/下载：0/0  |  提交时间：2022/02/17
Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons 期刊论文
JOURNAL OF INTELLIGENT MANUFACTURING, 2013, 卷号: 24, 期号: 6, 页码: 1157-1173
作者:  Li, Shao Yong;  An, Ai Min;  Wang, Ying;  Wang, Gang;  Hou, Cai Qin
收藏  |  浏览/下载：0/0  |  提交时间：2019/11/15
Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control 期刊论文
International Journal of Production Research, 2012, 卷号: 50, 期号: 22, 页码: 6203-6218
作者:  Li, Shaoyong;  Li, Zhiwu
收藏  |  浏览/下载：0/0  |  提交时间：2022/02/17
Structure reduction of liveness-enforcing Petri nets using mixed integer programming 期刊论文
Asian Journal of Control, 2012, 卷号: 14, 期号: 2, 页码: 384-399
作者:  Li, Shao-Yong;  Li, Zhi-Wu
收藏  |  浏览/下载：13/0  |  提交时间：2020/11/14
STRUCTURE REDUCTION OF LIVENESS-ENFORCING PETRI NETS USING MIXED INTEGER PROGRAMMING 期刊论文
ASIAN JOURNAL OF CONTROL, 2012, 卷号: 14, 期号: 2, 页码: 384-399
作者:  Li, Shao-Yong;  Li, Zhi-Wu
收藏  |  浏览/下载：4/0  |  提交时间：2019/11/15
Solving siphons with the minimal cardinality in Petri nets and its applications to deadlock control 期刊论文
INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, 2012, 卷号: 50, 期号: 22, 页码: 6203-6218
作者:  Li, Shaoyong;  Li, Zhiwu
收藏  |  浏览/下载：6/0  |  提交时间：2019/11/15

©版权所有 ©2017 CSpace - Powered by CSpace