ZhiWu Li

According to our database1, ZhiWu Li authored at least 247 papers between 2003 and 2019.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2016, "Or contributions to Petri nets and their applications to automated manufacturing systems".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2019

Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2019

High-Accuracy Signal Subspace Separation Algorithm Based on Gaussian Kernel Soft Partition.
IEEE Trans. Industrial Electronics, 2019

Improving Risk Evaluation in FMEA With Cloud Model and Hierarchical TOPSIS Method.
IEEE Trans. Fuzzy Systems, 2019

Granular Data Aggregation: An Adaptive Principle of the Justifiable Granularity Approach.
IEEE Trans. Cybernetics, 2019

Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures.
IEEE Trans. Automation Science and Engineering, 2019

Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly.
IEEE Trans. Automation Science and Engineering, 2019

Deadlock analysis and control using Petri net decomposition techniques.
Inf. Sci., 2019

A hybrid multi-objective optimization approach for energy-absorbing structures in train collisions.
Inf. Sci., 2019

Bicriterion scheduling with a negotiable common due window and resource-dependent processing times.
Inf. Sci., 2019

A new integrated MCDM model for sustainable supplier selection under interval-valued intuitionistic uncertain linguistic environment.
Inf. Sci., 2019

Influence minimization in linear threshold networks.
Automatica, 2019

A Non-Invasive Sleep Analysis Approach Based on a Fuzzy Inference System and a Finite State Machine.
IEEE Access, 2019

A Data-Driven-Based Wavelet Support Vector Approach for Passenger Flow Forecasting of the Metropolitan Hub.
IEEE Access, 2019

Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Access, 2019

On Reconfiguration Theory of Discrete-Event Systems: From Initial Specification Until Final Deployment.
IEEE Access, 2019

Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach.
IEEE Access, 2019

Source Resizing and Improved Power Distribution for High Available Island Microgrid: A Case Study on a Tunisian Petroleum Platform.
IEEE Access, 2019

2018
Structural Decomposition and Decentralized Control of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

AHP, Gray Correlation, and TOPSIS Combined Approach to Green Performance Evaluation of Design Alternatives.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Multiobjective Program and Hybrid Imperialist Competitive Algorithm for the Mixed-Model Two-Sided Assembly Lines Subject to Multiple Constraints.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

R-Node: New Pipelined Approach for an Effective Reconfigurable Wireless Sensor Node.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Decentralized Diagnosis by Petri Nets and Integer Linear Programming.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Linguistic Petri Nets Based on Cloud Model Theory for Knowledge Representation and Reasoning.
IEEE Trans. Knowl. Data Eng., 2018

Design of Distributed Cyber-Physical Systems for Connected and Automated Vehicles With Implementing Methodologies.
IEEE Trans. Industrial Informatics, 2018

Granular Models and Granular Outliers.
IEEE Trans. Fuzzy Systems, 2018

A Design of Granular Takagi-Sugeno Fuzzy Model Through the Synergy of Fuzzy Subspace Clustering and Optimal Allocation of Information Granularity.
IEEE Trans. Fuzzy Systems, 2018

Granular Representation of Data: A Design of Families of ϵ-Information Granules.
IEEE Trans. Fuzzy Systems, 2018

Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems.
IEEE Trans. Automation Science and Engineering, 2018

Toward a New Methodology for an Efficient Test of Reconfigurable Hardware Systems.
IEEE Trans. Automation Science and Engineering, 2018

A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems.
IEEE Trans. Automat. Contr., 2018

Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics.
IEEE Trans. Automat. Contr., 2018

A Petri Net Approach to Fault Diagnosis and Restoration for Power Transmission Systems to Avoid the Output Interruption of Substations.
IEEE Systems Journal, 2018

Improved frame-by-frame object pose tracking in complex environments.
Multimedia Tools Appl., 2018

Reconfiguration-based methodology for improving recovery performance of faults in smart grids.
Inf. Sci., 2018

Supervisory control of state-tree structures with partial observation.
Inf. Sci., 2018

Environmentally friendly MCDM of reliability-based product optimisation combining DEMATEL-based ANP, interval uncertainty and Vlse Kriterijumska Optimizacija Kompromisno Resenje (VIKOR).
Inf. Sci., 2018

On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places.
IMA J. Math. Control & Information, 2018

On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach.
IMA J. Math. Control & Information, 2018

Event-triggered cooperative learning from output feedback control for multi-agent systems.
Neurocomputing, 2018

Current-state opacity enforcement in discrete event systems under incomparable observations.
Discrete Event Dynamic Systems, 2018

Embodied modeling approach to explore tumour cells drug resistance.
CASM, 2018

Model-based fault identification of discrete event systems using partially observed Petri nets.
Automatica, 2018

Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems.
Automatica, 2018

On-line verification of current-state opacity by Petri nets and integer linear programming.
Automatica, 2018

Anomaly detection using piecewise aggregate approximation in the amplitude domain.
Appl. Intell., 2018

Comparative Analysis of Sequential and Combinatorial Auctions Based on Petri Nets.
IEEE Access, 2018

Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems.
IEEE Access, 2018

Permeance Analysis and Calculation of the Double-Radial Rare-Earth Permanent Magnet Voltage-Stabilizing Generation Device.
IEEE Access, 2018

Coordinated Control Algorithm of a Dual Motor for an Electric Variable Transmission Hybrid System.
IEEE Access, 2018

Fault Diagnosis in Partially Observed Petri Nets Using Redundancies.
IEEE Access, 2018

Mining Resource Community and Resource Role Network From Event Logs.
IEEE Access, 2018

State-Based Control of Discrete-Event Systems Under Partial Observation.
IEEE Access, 2018

Data Representation Based on Interval-Sets for Anomaly Detection in Time Series.
IEEE Access, 2018

Energy-Efficiency Models of Sustainable Urban Transportation Structure Optimization.
IEEE Access, 2018

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems.
IEEE Access, 2018

Coherence and Feasibility of Real-Time Software Tasks in Networked Adaptive Systems.
IEEE Access, 2018

One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy.
IEEE Access, 2018

Random Fuzzy Cost-Profit Equilibrium Model for Locating a Discrete Service Enterprise.
IEEE Access, 2018

Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints.
IEEE Access, 2018

Firing Rate Optimization of Deterministic Timed Event Graphs by Server Performance Improvement.
IEEE Access, 2018

Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems.
IEEE Access, 2018

R-Codesign: Codesign Methodology for Real-Time Reconfigurable Embedded Systems Under Energy Constraints.
IEEE Access, 2018

Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs.
IEEE Access, 2018

Multi-Agent Adaptive Architecture for Flexible Distributed Real-Time Systems.
IEEE Access, 2018

Exploiting Local Persistency for Reduced State Space Generation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2018

Stealthy Attacks for Partially-Observed Discrete Event Systems.
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

Critical Observability of Safe Petri Nets via Integer Linear Programming.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Shortest Legal Firing Sequence of Net Condition/Event Systems Using Integer Linear Programming.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

2017
Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Multiagent Framework for Smart Grids Recovery.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Granular Encoders and Decoders: A Study in Processing Information Granules.
IEEE Trans. Fuzzy Systems, 2017

Granular Data Description: Designing Ellipsoidal Information Granules.
IEEE Trans. Cybernetics, 2017

Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation.
IEEE Trans. Contr. Sys. Techn., 2017

RWiN: New Methodology for the Development of Reconfigurable WSN.
IEEE Trans. Automation Science and Engineering, 2017

Verification of State-Based Opacity Using Petri Nets.
IEEE Trans. Automat. Contr., 2017

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Automat. Contr., 2017

Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.
IEEE Trans. Automat. Contr., 2017

A Piecewise Aggregate pattern representation approach for anomaly detection in time series.
Knowl.-Based Syst., 2017

Iterative optimization for frame-by-frame object pose tracking.
J. Visual Communication and Image Representation, 2017

Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement.
Inf. Sci., 2017

Anomaly detection based on a dynamic Markov model.
Inf. Sci., 2017

Deadlock and liveness characterization for a class of generalized Petri nets.
Inf. Sci., 2017

Dual mode for vehicular platoon safety: Simulation and formal verification.
Inf. Sci., 2017

Deadlock recovery for flexible manufacturing systems modeled with Petri nets.
Inf. Sci., 2017

Fuzzy Petri nets for knowledge representation and reasoning: A literature review.
Eng. Appl. of AI, 2017

Decidability of opacity verification problems in labeled Petri net systems.
Automatica, 2017

Fuzzy clustering with nonlinearly transformed data.
Appl. Soft Comput., 2017

Development of associative memories with transformed data.
Appl. Soft Comput., 2017

Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions.
IEEE Access, 2017

On Computation Reduction of Liveness-Enforcing Supervisors.
IEEE Access, 2017

Energy Control Strategy of HEB Based on the Instantaneous Optimization Algorithm.
IEEE Access, 2017

A Cyber-Physical System for Product Conceptual Design Based on an Intelligent Psycho-Physiological Approach.
IEEE Access, 2017

Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets.
IEEE Access, 2017

Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-Locally Approach and Vector Covering for Flexible Manufacturing Systems.
IEEE Access, 2017

A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems.
IEEE Access, 2017

A novel solution approach to scheduling of crude-oil operations based on an improved continuous-time formulation.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Computation of admissible marking sets in weighted state machines by dynamic programming.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Scheduling of crude oil operations in refineries with least tank requirement.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Optimization of deterministic timed weighted marked graphs.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

2016
Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control.
IEEE Trans. Industrial Informatics, 2016

On the Equivalence of Observation Structures for Petri Net Generators.
IEEE Trans. Automat. Contr., 2016

Design of granular interval-valued information granules with the use of the principle of justifiable granularity and their applications to system modeling of higher type.
Soft Comput., 2016

A new strategy for the suppression of cross-terms in pseudo Wigner-Ville distribution.
Signal, Image and Video Processing, 2016

A double circle structure descriptor and Hough voting matching for real-time object detection.
Pattern Anal. Appl., 2016

A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems.
J. Intelligent Manufacturing, 2016

Deadlock analysis and control in resource allocation systems.
Inf. Sci., 2016

Matching demanders and suppliers in knowledge service: A method based on fuzzy axiomatic design.
Inf. Sci., 2016

A resource configuration method for liveness of a class of Petri nets.
IMA J. Math. Control & Information, 2016

Confusion avoidance for discrete event systems by P/E constraints and supervisory control.
IMA J. Math. Control & Information, 2016

Fuzzy associative memories: A design through fuzzy clustering.
Neurocomputing, 2016

Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines.
Enterprise IS, 2016

Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.
Automatica, 2016

Granular data imputation: A framework of Granular Computing.
Appl. Soft Comput., 2016

Supervisory enforcement of current-state opacity with uncomparable observations.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Buffer space configuration and scheduling analysis of single-arm multi-cluster tools.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

CRMPSoC: New Solution for Feasible Reconfigurable MPSoC.
Proceedings of the Software Technologies, 11th International Joint Conference, 2016

New Methodology for Feasible Reconfigurable Real-Time Network-on-Chip NoC.
Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - Volume 1: ICSOFT-EA, Lisbon, Portugal, July 24, 2016

Granular description of data: Building information granules with the aid of the principle of justifiable granularity.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

Marking optimization of deterministic timed weighted marked graphs under infinite server semantics.
Proceedings of the International Conference on Control, 2016

Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Fault diagnosis in DESs modeled by partially observed Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Optimizing close-down processes of single-robot cluster tools via linear programing.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Verification of language-based opacity in Petri nets using verifier.
Proceedings of the 2016 American Control Conference, 2016

2015
Decentralized Supervision of Petri Nets With a Coordinator.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions".
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Reconfigurable Coordination of Distributed Discrete Event Control Systems.
IEEE Trans. Contr. Sys. Techn., 2015

Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks.
IEEE Trans. Automation Science and Engineering, 2015

Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.
IEEE Trans. Automat. Contr., 2015

Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach.
IEEE Robot. Automat. Mag., 2015

A two-stage method for member selection of emergency medical service.
J. Comb. Optim., 2015

Green design assessment of electromechanical products based on group weighted-AHP.
Enterprise IS, 2015

Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101].
Automatica, 2015

On the enforcement of a class of nonlinear constraints on Petri nets.
Automatica, 2015

Verification of initial-state opacity in Petri nets.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

A method to verify the controllability of language specifications in Petri nets based on basis marking analysis.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Cycle time optimization of deterministic timed weighted marked graphs.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Verification of current-state opacity using Petri nets.
Proceedings of the American Control Conference, 2015

A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures.
Proceedings of the American Control Conference, 2015

2014
New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Corrections to "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems".
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach.
IEEE Trans. Automation Science and Engineering, 2014

Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems.
Inf. Sci., 2014

A versatile supervisor with one monitor based on macro-tokens.
IMA J. Math. Control & Information, 2014

Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets.
Int. J. Computer Integrated Manufacturing, 2014

Authors' Reply to 'Comments on "Liveness of an extended S3PR " [Automatica 46(6) (2010) 1008-1018]'.
Automatica, 2014

Observation Equivalence of Petri Net Generators.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Maximally Permissive Petri Net Supervisors with a Novel Structure.
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014

Marking optimization of deterministic timed weighted marked graphs.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

A monitor solution to enforce legal transition firing sequences problems by using Petri nets.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

A General Approach for the Computation of a Liveness Enforcing Supervisor for the Petri Net Model of an FMS.
Proceedings of the ADECS 2014, 2014

2013
On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets.
IEEE Trans. Industrial Informatics, 2013

Runtime Reconfigurations of Embedded Controllers.
ACM Trans. Embedded Comput. Syst., 2013

Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems.
ACM Trans. Embedded Comput. Syst., 2013

An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems.
IEEE Trans. Automation Science and Engineering, 2013

Supervisor Reconfiguration for Deadlock Prevention by Resources Reallocation.
J. Applied Mathematics, 2013

Robustness of deadlock control for a class of Petri nets with unreliable resources.
Inf. Sci., 2013

A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets.
Automatica, 2013

A novel method to simplify supervisor for AMS based on Petri nets and inequality analysis.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

General observation structures for Petri nets.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

2012
A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Iterative Deadlock Control by Using Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2012

Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Deadlock Control of Automated Manufacturing Systems Based on Petri Nets - A Literature Review.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2012

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems".
IEEE Trans. Automation Science and Engineering, 2012

Erratum to "Liveness of an extended S3PR " [Automatica 46 (2010) 1008-1018].
Automatica, 2012

On structural minimality of optimal supervisors for flexible manufacturing systems.
Automatica, 2012

2011
A Component-Based Approach for the Development of Automated Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2011

Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2011

Reconfigurable Multiagent Embedded Control Systems: From Modeling to Implementation.
IEEE Trans. Computers, 2011

Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets.
IEEE Trans. Automation Science and Engineering, 2011

Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems.
IEEE Trans. Automation Science and Engineering, 2011

Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets.
Int. J. Computer Integrated Manufacturing, 2011

Reversed fuzzy Petri nets and their application for fault diagnosis.
Computers & Industrial Engineering, 2011

Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems.
Automatica, 2011

On behaviorally and structurally optimal supervisor to solve forbidden state problems in discrete event systems.
Proceedings of the IEEE International Conference on Systems, 2011

Liveness supervision of AMS with complex processes using Petri nets.
Proceedings of the IEEE International Conference on Systems, 2011

Dynamic Low Power Reconfigurations of Real-time Embedded Systems.
Proceedings of the PECCS 2011, 2011

Feasible Dynamic Reconfigurations of Petri Nets - Application to a Production System.
Proceedings of the ICSOFT 2011, 2011

Optimal Petri net supervisor with lowest implemental cost for flexible manufacturing systems.
Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011

2010
Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2010

Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets.
IEEE Trans. Automation Science and Engineering, 2010

Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets.
IEEE Trans. Automation Science and Engineering, 2010

Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons.
J. Intelligent Manufacturing, 2010

Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming.
Int. J. Systems Science, 2010

Liveness of an extended S3PR.
Automatica, 2010

Deadlock resolution method for automated manufacturing systems modeled with Petri nets.
Proceedings of the IEEE International Conference on Systems, 2010

Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2010

2009
An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2009

Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems".
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets.
IEEE Trans. Multimedia, 2009

Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior.
IEEE Trans. Automation Science and Engineering, 2009

A Deadlock Prevention Policy for a Class of Petri Nets S3PMR.
J. Inf. Sci. Eng., 2009

Liveness Enforcing Supervision in Video Streaming Systems using Siphons.
J. Inf. Sci. Eng., 2009

A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models.
Eng. Comput. (Lond.), 2009

On systematic methods to remove redundant monitors from liveness-enforcing net supervisors.
Computers & Industrial Engineering, 2009

Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs.
Computers & Industrial Engineering, 2009

A New Class of Petri Nets for Modeling and Control of Ratio-enforced Resource Allocation Systems.
Proceedings of the IEEE International Conference on Systems, 2009

2008
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2008

On Siphon Computation for Deadlock Control in a Class of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

Control of Elementary and Dependent Siphons in Petri Nets and Their Application.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions.
IEEE Trans. Automation Science and Engineering, 2008

Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems.
Proceedings of the IEEE International Conference on Systems, 2008

On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

A Deadlock Prevention Policy for FMS Using Elementary Siphons of Petri Nets with Uncontrollable Transitions.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

2007
On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006
Clarifications on the Definitions of Elementary Siphons in Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.
IEEE Trans. Industrial Informatics, 2006

On deadlock prevention in case of failures in flexible manufacturing systems.
IJMTM, 2006

A fast algorithm to find a set of elementary siphons for a class of petri nets.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

On Modeling a Soccer Robot System Using Petri Nets.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets.
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006

2005
Modified PSO Algorithm for Deadlock Control in FMS.
Proceedings of the Computational Intelligence and Security, International Conference, 2005

A deadlock prevention policy for FMS using mathematical programming.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Edge location of cannon barrel image based on non-contact measurement of CCD.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

Right-circular corner-filleted flexure hinges.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005

2004
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2004

A polynomial algorithm to find a set of elementary siphons in a class of Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

A deadlock prevention approach using elementary siphons for a class of Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

Some results and open problems concerning elementary siphons of Petri nets.
Proceedings of the IEEE International Conference on Systems, 2004

A deadlock prevention approach for FMS using siphons and the theory of regions.
Proceedings of the IEEE International Conference on Systems, 2004

An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control.
Proceedings of the IEEE International Conference on Systems, 2004

An Effective FMS Deadlock Prevention Policy based on Elementary Siphons.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

An effective deadlock prevention policy using elementary siphons of Petri nets for FMS.
Proceedings of the 8th International Conference on Control, 2004

A deadlock prevention method for FMS with multiple resource acquisitions.
Proceedings of the 8th International Conference on Control, 2004

Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems.
Proceedings of the 8th International Conference on Control, 2004

2003
A novel siphon-based deadlock control method for FMS.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003


  Loading...