Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets
暂无分享,去创建一个
[1] Jonghun Park,et al. On the “Counter-Example” in the Article “Max $^{\prime}$-Controlled Siphons for Liveness of $S^{3}PGR^{2}$” Regarding the Results in “Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings” , 2001, IEEE Transactions on Automatic Control.
[2] Ugo Buy,et al. Formal Modeling of Sequential Function Charts With Time Petri Nets , 2011, IEEE Transactions on Control Systems Technology.
[3] Francesco Basile,et al. On the Implementation of Industrial Automation Systems Based on PLC , 2013, IEEE Transactions on Automation Science and Engineering.
[4] Francesco Basile,et al. A Hybrid Model of Complex Automated Warehouse Systems—Part II: Analysis and Experimental Results , 2012, IEEE Transactions on Automation Science and Engineering.
[5] Nidhal Rezg,et al. Design of a live and maximally permissive Petri net controller using the theory of regions , 2003, IEEE Trans. Robotics Autom..
[6] Kenzo Nonami,et al. Approach for Transforming Linear Constraints on Petri Nets , 2011, IEEE Transactions on Automatic Control.
[7] Francesco Basile,et al. On the Implementation of Supervised Control of Discrete Event Systems , 2007, IEEE Transactions on Control Systems Technology.
[8] 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.
[9] K. Barkaoui,et al. A deadlock prevention method for a class of FMS , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.
[10] Pasquale Chiacchio,et al. A Hybrid Model of Complex Automated Warehouse Systems—Part I: Modeling and Simulation , 2012, IEEE Transactions on Automation Science and Engineering.
[11] MengChu Zhou,et al. Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets , 2013, IEEE Transactions on Industrial Informatics.
[12] Alessandro Giua,et al. Generalized mutual exclusion contraints on nets with uncontrollable transitions , 1992, [Proceedings] 1992 IEEE International Conference on Systems, Man, and Cybernetics.
[13] Kurt Lautenbach,et al. Liveness in Bounded Petri Nets Which Are Covered by T-Invariants , 1994, Application and Theory of Petri Nets.
[14] MengChu Zhou,et al. Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.
[15] Mona Noori Hosseini,et al. Sensor Graphs for Discrete Event Modeling Applied to Formal Verification of PLCs , 2012, IEEE Transactions on Control Systems Technology.
[16] Robi Malik,et al. Hierarchical interface-based supervisory control using the conflict preorder , 2012, WODES.
[17] Alessandro Giua,et al. An Optimization Approach to Petri Net Monitor Design , 2007, IEEE Transactions on Automatic Control.
[18] MengChu Zhou,et al. An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems , 2007, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[19] Panos J. Antsaklis,et al. Synthesis of supervisors enforcing general linear constraints in Petri nets , 2003, IEEE Trans. Autom. Control..
[20] MengChu Zhou,et al. Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems , 2004, IEEE Trans. Syst. Man Cybern. Part A.
[21] Mi Zhao,et al. On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[22] MengChu Zhou,et al. Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets , 2009, IEEE Transactions on Multimedia.
[23] M. C. Cheng. General criteria for redundant and nonredundant linear inequalities , 1987 .
[24] Hesuan Hu,et al. Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis , 2014, IEEE Transactions on Automation Science and Engineering.
[25] Jean-Jacques Lesage,et al. Algebraic synthesis of logical controllers despite inconsistencies in specifications , 2012, WODES.
[26] Joaquín Ezpeleta,et al. Using linear programming and the Petri net structure for deadlock prevention in sequential resource allocation systems , 2005 .
[27] W. M. Wonham,et al. Supervisor Reduction for Discrete-Event Systems , 2004, Discret. Event Dyn. Syst..
[28] Alessandro Giua,et al. Monitor design for colored Petri nets: An application to deadlock prevention in railway networks , 2006 .
[29] Panos J. Antsaklis,et al. Petri net supervisors for DES with uncontrollable and unobservable transitions , 2000, IEEE Trans. Autom. Control..
[30] Javier Martínez,et al. A Petri net based deadlock prevention policy for flexible manufacturing systems , 1995, IEEE Trans. Robotics Autom..