Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems (vol 8, pg 374, 2011)

被引：1

作者：

Chen, Yu Feng ^{[1
]}

Li, Zhi Wu ^{[1
]}

Khalgui, Mohamed ^{[2
]}

Mosbahi, Olfa ^{[2
]}

机构：

[1] Xidian Univ, Sch Electromech Engn, Xian 710071, Peoples R China

[2] Univ Halle Wittenberg, Inst Comp Sci, Automat Technol Lab, D-06120 Halle, Germany

来源：

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING | 2012年 / 9卷 / 02期

关键词：

D O I：

10.1109/TASE.2012.2183739

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：455 / 455

页数：1

共 50 条

[21] Designing Liveness-Enforcing Supervisors for Manufacturing Systems by Using Maximally Good Step Graphs of Petri Nets
Dou, Hao
You, Dan
Wang, Shouguang
Zhou, MengChu
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2024,
[22] Comments on "enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems"
Chao, Daniel Y.
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2012, 60 (5-8): : 625 - 629
[23] Comments on “enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems”
Daniel Y. Chao
The International Journal of Advanced Manufacturing Technology, 2012, 60 : 625 - 629
[24] A Practical Approach for Maximally Permissive Liveness-Enforcing Supervision of Complex Resource Allocation Systems
Nazeem, Ahmed
Reveliotis, Spyros
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2011, 8 (04) : 766 - 779
[25] Distributed Computation of Liveness-Enforcing Supervisory Control of Flexible Manufacturing Systems
Jafarinejad F.
Pouyan A.A.
1600, World Scientific (16): : 1 - 15
[26] Liveness-enforcing supervisors for flexible manufacturing systems with multiple resource acquisitions
Li, Zhiwu
Wang, Anrong
Wei, Na
PROCEEDINGS OF THE 2006 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, 2006, : 710 - 714
[27] MAXIMALLY PERMISSIVE PETRI NET SUPERVISORS FOR FLEXIBLE MANUFACTURING SYSTEMS WITH UNCONTROLLABLE AND UNOBSERVABLE TRANSITIONS
Chen, YuFeng
Barkaoui, Kamel
ASIAN JOURNAL OF CONTROL, 2014, 16 (06) : 1646 - 1658
[28] Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
Li, ZhiWu
Zhou, MengChu
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2006, 2 (04) : 313 - 325
[29] DESIGN OF LIVENESS-ENFORCING SUPERVISORS VIA TRANSFORMING PLANT PETRI NET MODELS OF FMS
Zhong, Chun-Fu
Li, Zhi-Wu
ASIAN JOURNAL OF CONTROL, 2010, 12 (03) : 240 - 252
[30] Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems
Chen, YuFeng
Li, ZhiWu
Zhou, MengChu
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2012, 42 (03): : 615 - 629

← 1 2 3 4 5 →