Fault Detection by Labeled Petri Nets in Centralized and Distributed Approaches
暂无分享,去创建一个
Walter Ukovich | Maria Pia Fanti | Agostino Marcello Mangini | M. P. Fanti | A. M. Mangini | W. Ukovich
[1] Peter Radford,et al. Petri Net Theory and the Modeling of Systems , 1982 .
[2] MengChu Zhou,et al. Petri net synthesis for discrete event control of manufacturing systems , 1992, The Kluwer international series in engineering and computer science.
[3] V. S. Srinivasan,et al. Fault detection/monitoring using time Petri nets , 1993, IEEE Trans. Syst. Man Cybern..
[4] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..
[5] Stéphane Lafortune,et al. Active diagnosis of discrete event systems , 1997, Proceedings of the 36th IEEE Conference on Decision and Control.
[6] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[7] Christoforos N. Hadjicostis,et al. Monitoring Discrete Event Systems Using Petri Net Embeddings , 1999, ICATPN.
[8] Stéphane Lafortune,et al. Coordinated Decentralized Protocols for Failure Diagnosis of Discrete Event Systems , 2000, Discret. Event Dyn. Syst..
[9] MengChu Zhou,et al. Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems , 2001, IEEE Trans. Robotics Autom..
[10] J.H. van Schuppen,et al. Decentralized failure diagnosis for discrete-event systems with costly communication between diagnosers , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
[11] W. M. Wonham,et al. Distributed diagnosis for qualitative systems , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..
[12] Albert Benveniste,et al. Diagnosis of asynchronous discrete-event systems: a net unfolding approach , 2003, IEEE Trans. Autom. Control..
[13] Shahin Hashtrudi-Zad,et al. Fault diagnosis in discrete-event systems: framework and model reduction , 2003, IEEE Trans. Autom. Control..
[14] Alessandro Giua,et al. Marking Estimation of Petri Nets With Silent Transitions , 2007, IEEE Transactions on Automatic Control.
[15] Alessandro Giua,et al. Marking estimation of Petri nets with silent transitions , 2004 .
[16] Jan Lunze,et al. Sensor and actuator fault diagnosis of systems with discrete inputs and outputs , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).
[17] Christoforos N. Hadjicostis,et al. Algebraic approaches for fault identification in discrete-event systems , 2005, IEEE Transactions on Automatic Control.
[18] Michel Bigand,et al. A MONITORING APPROACH FOR DISCRETE EVENT SYSTEMS BASED ON A TIME PETRI NET MODEL , 2005 .
[19] Alessandro Giua,et al. Fault detection for discrete event systems using Petri nets with unobservable transitions , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.
[20] George Jiroveanu,et al. A distributed approach for fault detection and diagnosis based on Time Petri Nets , 2006, Math. Comput. Simul..
[21] W. Qiu,et al. Decentralized failure diagnosis of discrete event systems , 2006, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[22] Stéphane Lafortune,et al. Diagnosability of Discrete Event Systems with Modular Structure , 2006, Discret. Event Dyn. Syst..
[23] MengChu Zhou,et al. Deadlock Resolution in Automated Manufacturing Systems With Robots , 2007, IEEE Transactions on Automation Science and Engineering.
[24] Dimitri Lefebvre,et al. Diagnosis of DES With Petri Net Models , 2007, IEEE Transactions on Automation Science and Engineering.
[25] Stéphane Lafortune,et al. Distributed Diagnosis of Place-Bordered Petri Nets , 2007, IEEE Transactions on Automation Science and Engineering.
[26] Stéphane Lafortune,et al. Diagnosis of Discrete Event Systems Using Decentralized Architectures , 2007, Discret. Event Dyn. Syst..
[27] G. De Tommasi,et al. An efficient approach for on-line diagnosis of discrete event systems , 2007, 2007 Mediterranean Conference on Control & Automation.
[28] Antonio Ramírez-Treviño,et al. Online Fault Diagnosis of Discrete Event Systems. A Petri Net-Based Approach , 2007, IEEE Transactions on Automation Science and Engineering.
[29] Behzad Bordbar,et al. On-Line Monitoring of Large Petri Net Models Under Partial Observation , 2008, Discret. Event Dyn. Syst..
[30] Naiqi Wu,et al. System Modeling and Control with Resource-Oriented Petri Nets , 2009 .
[31] Ratnesh Kumar,et al. Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures , 2009, IEEE Transactions on Automation Science and Engineering.
[32] ZhiWu Li,et al. Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior , 2009, IEEE Transactions on Automation Science and Engineering.
[33] Leyuan Shi,et al. IEEE Transactions on Automation Science and Engineering , 2009, IEEE Transactions on Automation Science and Engineering.
[34] Andrea Paoli,et al. Rule-based Composable Modelling of Industrial Automation Automata under Nominal and Faulty Conditions , 2009 .
[35] Jean-Jacques Lesage,et al. An FDI Method for Manufacturing Systems Based on an Identified Model , 2009 .
[36] Walter Ukovich,et al. On-line fault diagnosis in a Petri Net framework , 2009, 2009 IEEE International Conference on Automation Science and Engineering.
[37] Gianmaria De Tommasi,et al. An Efficient Approach for Online Diagnosis of Discrete Event Systems , 2009, IEEE Transactions on Automatic Control.
[38] Walter Ukovich,et al. On-line fault detection in discrete event systems by Petri nets and integer linear programming , 2009, Autom..
[39] MengChu Zhou,et al. Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.
[40] Shengbing Jiang,et al. Diagnosis of Dense-Time Systems Under Event and Timing Masks , 2010, IEEE Transactions on Automation Science and Engineering.
[41] Alessandro Giua,et al. A new protocol for the decentralized diagnosis of labeled Petri nets , 2010, WODES.
[42] MengChu Zhou,et al. Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets , 2010, IEEE Transactions on Automation Science and Engineering.
[43] MengChu Zhou,et al. Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.
[44] MengChu Zhou,et al. Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints , 2011, IEEE Transactions on Automation Science and Engineering.
[45] Christoforos N. Hadjicostis,et al. Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets With Unobservable Transitions , 2011, IEEE Transactions on Automation Science and Engineering.
[46] A. Giua,et al. Decentralized Diagnosability Analysis of Discrete Event Systems using Petri Nets , 2011 .
[47] MengChu Zhou,et al. Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets , 2011, IEEE Transactions on Automation Science and Engineering.