Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear TopologyBai, Liping ; Wu, Naiqi ; Li, Zhiwu ; Zhou, MengChuIEEE transactions on systems, man, and cybernetics. Systems, 2016-10, Vol.46 (10), p.1456-1467 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
2 |
Material Type: Artigo
|
Deadlock recovery for flexible manufacturing systems modeled with Petri netsChen, YuFeng ; Li, ZhiWu ; Al-Ahmari, Abdulrahman ; Wu, NaiQi ; Qu, TingInformation sciences, 2017-03, Vol.381, p.290-303 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
3 |
Material Type: Artigo
|
Scheduling and Control of Startup Process for Single-Arm Cluster Tools With Residency Time ConstraintsQiao, Yan ; Zhou, MengChu ; Wu, NaiQi ; Zhu, QingHuaIEEE transactions on control systems technology, 2017-07, Vol.25 (4), p.1243-1256 [Periódico revisado por pares]IEEETexto completo disponível |
|
4 |
Material Type: Artigo
|
A novel method for deadlock prevention of AMS by using resource-oriented Petri netsChen, Hefeng ; Wu, NaiQi ; Zhou, MengChuInformation sciences, 2016-10, Vol.363, p.178-189 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
|
5 |
Material Type: Artigo
|
Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability GraphsLiu, Gaiyun ; Li, Pei ; Li, Zhiwu ; Wu, NaiqiIEEE transactions on systems, man, and cybernetics. Systems, 2019-07, Vol.49 (7), p.1371-1385 [Periódico revisado por pares]IEEETexto completo disponível |
|
6 |
Material Type: Artigo
|
An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri NetsZhu, Guanghui ; Feng, Lei ; Li, Zhiwu ; Wu, NaiqiIEEE transactions on automatic control, 2021-05, Vol.66 (5), p.2393-2398 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
7 |
Material Type: Artigo
|
An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow GraphsLu, Yao ; Chen, YuFeng ; Li, ZhiWu ; Wu, NaiQiIEEE transactions on automation science and engineering, 2022-07, Vol.19 (3), p.1-12IEEETexto completo disponível |
|
8 |
Material Type: Artigo
|
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor ArcsYuFeng Chen ; ZhiWu Li ; Barkaoui, Kamel ; NaiQi Wu ; MengChu ZhouIEEE transactions on systems, man, and cybernetics. Systems, 2017-02, Vol.47 (2), p.364-379 [Periódico revisado por pares]New York: IEEETexto completo disponível |
|
9 |
Material Type: Artigo
|
IoT-Enabled Real-Time Production Performance Analysis and Exception Diagnosis ModelZhang, Yingfeng ; Wang, Wenbo ; Wu, Naiqi ; Qian, ChengIEEE transactions on automation science and engineering, 2016-07, Vol.13 (3), p.1318-1332New York: IEEETexto completo disponível |
|
10 |
Material Type: Artigo
|
Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart HousesQin, Tao ; Yin, Li ; Wu, Naiqi ; Li, ZhiwuIEEE transactions on automation science and engineering, 2023-12, p.1-13IEEETexto completo disponível |