Deadlock analysis and control using Petri net decomposition techniques
暂无分享,去创建一个
Naiqi Wu | Ting Qu | ZhiWu Li | Chunfu Zhong | Wenlong He | N. Wu | Zhiwu Li | T. Qu | Wenlong He | C. Zhong
[1] Hu-Chen Liu,et al. Fuzzy Petri nets for knowledge representation and reasoning: A literature review , 2017, Eng. Appl. Artif. Intell..
[2] Murat Uzam,et al. An Optimal Deadlock Prevention Policy for Flexible Manufacturing Systems Using Petri Net Models with Resources and the Theory of Regions , 2002 .
[3] Murat Uzam,et al. A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems , 2016, J. Intell. Manuf..
[4] Nidhal Rezg,et al. Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..
[5] Panos J. Antsaklis,et al. Feedback control of Petri nets based on place invariants , 1994, Proceedings of 1994 33rd IEEE Conference on Decision and Control.
[6] Zhiwu Li,et al. Decentralized Diagnosis by Petri Nets and Integer Linear Programming , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[7] Matteo Fischetti,et al. A Heuristic Method for the Set Covering Problem , 1999, Oper. Res..
[8] Alessandro Giua,et al. Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem , 2017, IEEE Transactions on Automatic Control.
[9] Kamel Barkaoui,et al. New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[10] Xi Wang,et al. Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures , 2019, IEEE Transactions on Automation Science and Engineering.
[11] Agostino Marcello Mangini,et al. On-line verification of initial-state opacity by Petri nets and integer linear programming. , 2018, ISA transactions.
[12] Naiqi Wu,et al. Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement , 2017, Inf. Sci..
[13] MengChu Zhou,et al. Modeling, Analysis and Control of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation Based on Petri Nets , 2012, IEEE Transactions on Automation Science and Engineering.
[14] Kamel Barkaoui,et al. A survey of siphons in Petri nets , 2016, Inf. Sci..
[15] Alessandro Giua,et al. On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.
[16] MengChu Zhou,et al. Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks , 2015, IEEE Transactions on Automation Science and Engineering.
[17] MengChu Zhou,et al. Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines , 2016, Enterp. Inf. Syst..
[18] Kamel Barkaoui,et al. On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..
[19] MengChu Zhou,et al. Wafer Sojourn Time Fluctuation Analysis of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Variation , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[20] Hamid Reza Karimi,et al. An Improved Result on Exponential Stabilization of Sampled-Data Fuzzy Systems , 2018, IEEE Transactions on Fuzzy Systems.
[21] Jianbin Qiu,et al. Sliding mode control for semi-Markovian jump systems via output feedback , 2017, Autom..
[22] Philippe Darondeau,et al. Theory of Regions , 1996, Petri Nets.
[23] Alessandro Giua,et al. Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.
[24] MengChu Zhou,et al. Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[25] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..
[26] MuDer Jeng,et al. A deadlock prevention policy for flexible manufacturing systems using siphons , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).
[27] MengChu Zhou,et al. Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[28] Bruce H. Krogh,et al. Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows , 1990, IEEE Trans. Robotics Autom..
[29] Shi-Chung Chang,et al. Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems , 1994, IEEE Trans. Robotics Autom..
[30] Hamid Reza Karimi,et al. A Novel Memory Filtering Design for Semi-Markovian Jump Time-Delay Systems , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[31] Roberto Cordone,et al. Selective Siphon Control for Deadlock Prevention in Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[32] Hyunbo Cho,et al. A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems , 1994 .
[33] Hamid Reza Karimi,et al. Fuzzy-Model-Based Sliding Mode Control of Nonlinear Descriptor Systems , 2019, IEEE Transactions on Cybernetics.
[34] Ting Qu,et al. Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems , 2018, IEEE Access.
[35] MengChu Zhou,et al. Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[36] MengChu Zhou,et al. Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[37] Ding Liu,et al. Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets , 2014, Int. J. Comput. Integr. Manuf..
[38] Feng Chu,et al. Deadlock analysis of Petri nets using siphons and mathematical programming , 1997, IEEE Trans. Robotics Autom..
[39] Alessandro Giua,et al. Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations , 2017, IEEE Transactions on Automatic Control.
[40] Naiqi Wu,et al. Model-based fault identification of discrete event systems using partially observed Petri nets , 2018, Autom..
[41] MengChu Zhou,et al. Deadlock control methods in automated manufacturing systems , 2004, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[42] Huimin Zhang,et al. Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems , 2018, IEEE Transactions on Automation Science and Engineering.
[43] Zhiwu Li,et al. Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions , 2019, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[44] MengChu Zhou,et al. A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems , 2009, IEEE Trans. Syst. Man Cybern. Part C.
[45] Zhiwu Li,et al. Decentralized Supervision of Petri Nets With a Coordinator , 2015, IEEE Transactions on Systems, Man, and Cybernetics: Systems.
[46] Olfa Mosbahi,et al. Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems , 2011, IEEE Transactions on Automation Science and Engineering.
[47] MengChu Zhou,et al. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems , 2006 .
[48] Abdulrahman Al-Ahmari,et al. Deadlock recovery for flexible manufacturing systems modeled with Petri nets , 2017, Inf. Sci..
[49] Huimin Zhang,et al. A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems , 2018, IEEE Transactions on Automatic Control.