Zhiwu Li
Orcid: 0000-0003-1547-5503Affiliations:
- Macau University of Science and Technology, Institute of Systems Engineering, Macau
- Xidian University, School of Electro-Mechanical Engineering, Xi'an, China (PhD 1995)
According to our database1,
Zhiwu Li
authored at least 555 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on publons.com
-
on orcid.org
On csauthors.net:
Bibliography
2025
Inf. Sci., 2025
Path detectability verification for time-dependent systems with application to flexible manufacturing systems.
Inf. Sci., 2025
Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems.
Inf. Sci., 2025
Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints.
Autom., 2025
2024
IEEE Trans. Syst. Man Cybern. Syst., November, 2024
IEEE Trans. Autom. Control., November, 2024
Adaptive Neural Control With Guaranteed Performance for Mechanical Systems Under Uncertain Initial Conditions: A Time-Varying Neuron Approach.
IEEE Trans. Syst. Man Cybern. Syst., October, 2024
IEEE Trans. Syst. Man Cybern. Syst., October, 2024
Adaptive Supervisory Control of Automated Manufacturing Systems With Unreliable Resources Based on Smart Switch Controllers.
IEEE Trans Autom. Sci. Eng., October, 2024
Verification of Current-State Opacity in Time Labeled Petri Nets With Its Application to Smart Houses.
IEEE Trans Autom. Sci. Eng., October, 2024
IEEE Trans Autom. Sci. Eng., October, 2024
IEEE Trans. Autom. Control., October, 2024
Event Concealment and Concealability Enforcement in Discrete Event Systems Under Partial Observation.
IEEE Trans. Autom. Control., October, 2024
Efficient Optimal Cyclic Scheduling of High Throughput Screening System for Enzyme-Linked Immunoassay.
IEEE Trans. Syst. Man Cybern. Syst., September, 2024
A Design of Fuzzy Rule-Based Classifier for Multiclass Classification and Its Realization in Horizontal Federated Learning.
IEEE Trans. Fuzzy Syst., September, 2024
Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems Under Supervisory Control.
IEEE Trans. Autom. Control., September, 2024
Learning to Score: A Coding System for Constructed Response Items via Interactive Clustering.
Syst., September, 2024
An extremum timed extended reachability graph for temporal analysis of time Petri nets.
Discret. Event Dyn. Syst., September, 2024
Knowledge-Based Lot-Splitting Optimization Method for Flexible Job Shops Considering Energy Consumption.
IEEE Trans Autom. Sci. Eng., July, 2024
Design of Supervisors for Partially Observed Discrete Event Systems Using Quiescent Information.
IEEE Trans Autom. Sci. Eng., July, 2024
Human-Robot Collaboration on a Disassembly-Line Balancing Problem with an Advanced Multiobjective Discrete Bees Algorithm.
Symmetry, July, 2024
A Novel Evolutionary Algorithm for Scheduling Distributed No-Wait Flow Shop Problems.
IEEE Trans. Syst. Man Cybern. Syst., June, 2024
Fuzzy Prediction Model in Privacy Protection: Takagi-Sugeno Rules Model via Differential Privacy.
IEEE Trans. Fuzzy Syst., June, 2024
IEEE Trans. Syst. Man Cybern. Syst., May, 2024
IEEE Trans. Fuzzy Syst., May, 2024
State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets.
IEEE CAA J. Autom. Sinica, May, 2024
IEEE Trans. Emerg. Top. Comput. Intell., April, 2024
Supervisory Control of Discrete Event Systems With Dynamic Control Specifications by Petri Nets.
IEEE Trans. Control. Syst. Technol., March, 2024
Fault Diagnosis of Hierarchical Discrete-Event Systems Based on State-Tree Structures.
IEEE Syst. J., March, 2024
Deadline-aware misinformation prevention in social networks with time-decaying influence.
Expert Syst. Appl., March, 2024
Multi-objective optimization of energy-efficient remanufacturing system scheduling problem with lot-streaming production mode.
Expert Syst. Appl., March, 2024
Adjacent initial states-based differential privacy for probabilistic labeled Petri nets.
Expert Syst. Appl., March, 2024
Privacy-Preserving Realization of Fuzzy Clustering and Fuzzy Modeling Through Vertical Federated Learning.
IEEE Trans. Syst. Man Cybern. Syst., February, 2024
Multi-Objective Home Health Care Routing and Scheduling With Sharing Service via a Problem-Specific Knowledge-Based Artificial Bee Colony Algorithm.
IEEE Trans. Intell. Transp. Syst., February, 2024
Autom., February, 2024
IEEE Trans. Cybern., January, 2024
Comparative Study on Noise-Estimation-Based Fuzzy C-Means Clustering for Image Segmentation.
IEEE Trans. Cybern., January, 2024
State estimation in labeled time Petri net systems using observed modified state class graph.
Inf. Sci., January, 2024
A multi-criteria decision-making approach for pressurized water reactor based on hesitant fuzzy-improved cumulative prospect theory and 2-additive fuzzy measure.
J. Ind. Inf. Integr., 2024
Inf. Sci., 2024
A robust and real-time lane detection method in low-light scenarios to advanced driver assistance systems.
Expert Syst. Appl., 2024
Mixed-integer linear programming and composed heuristics for three-stage remanufacturing system scheduling problem.
Eng. Appl. Artif. Intell., 2024
Extraction of evolutionary factors in smart manufacturing systems with heterogeneous product preferences and trust levels.
Eng. Appl. Artif. Intell., 2024
CoRR, 2024
CoRR, 2024
Multi-Scale Accent Modeling with Disentangling for Multi-Speaker Multi-Accent TTS Synthesis.
CoRR, 2024
Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems.
CoRR, 2024
Global and Local Error-Tolerant Decentralized State Estimation under Partially Ordered Observations.
CoRR, 2024
Liveness and deadlock-freeness verification and enforcement in bounded Petri nets using basis reachability graphs.
Autom., 2024
Energy-efficient multi-objective distributed assembly permutation flowshop scheduling by Q-learning based meta-heuristics.
Appl. Soft Comput., 2024
A wind speed point-interval fuzzy forecasting system based on data decomposition and multiobjective optimizer.
Appl. Soft Comput., 2024
A design of fuzzy rule-based classifier optimized through softmax function and information entropy.
Appl. Soft Comput., 2024
IEEE Access, 2024
Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs.
IEEE Access, 2024
On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA.
IEEE Access, 2024
Design of an Improved Think Globally Act Locally Approach for the Computation of Petri Nets Based Liveness Enforcing Supervisors of FMSs.
IEEE Access, 2024
Correction to "On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets".
IEEE Access, 2024
Online Verification and Enforcement of Sequential K-Opacity in Extended Probabilistic Automata.
IEEE Access, 2024
Resilient Networks for Multi-Agent Systems based on Graph Self-Organization into Random Approximate Regular Graphs.
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024
Data-mechanism-driven Product Performance Optimization with Multiple Parameters Under Uncertainties in Manufacturing Automation Systems.
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024
2023
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings.
IEEE Trans. Autom. Control., December, 2023
Inf. Sci., December, 2023
Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints.
IEEE Trans. Autom. Control., November, 2023
Opacity Enforcement in Discrete Event Systems Using Extended Insertion Functions Under Inserted Language Constraints.
IEEE Trans. Autom. Control., November, 2023
Inf. Sci., November, 2023
Robust fuzzy predictive switching control for nonlinear multi-phase batch processes with synchronous vs asynchronous cases.
Inf. Sci., November, 2023
A new heuristic algorithm based on multi-criteria resilience assessment of human-robot collaboration disassembly for supporting spent lithium-ion battery recycling.
Eng. Appl. Artif. Intell., November, 2023
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations.
J. Syst. Sci. Complex., October, 2023
Short-term power load forecasting system based on rough set, information granule and multi-objective optimization.
Appl. Soft Comput., October, 2023
Modeling and analysis of cardioimpedance signals using polynomial models and fuzzy rule-based models.
Appl. Soft Comput., September, 2023
IEEE Trans. Syst. Man Cybern. Syst., July, 2023
IEEE Trans Autom. Sci. Eng., July, 2023
IEEE Trans. Fuzzy Syst., June, 2023
Solving Biobjective Distributed Flow-Shop Scheduling Problems With Lot-Streaming Using an Improved Jaya Algorithm.
IEEE Trans. Cybern., June, 2023
A hybrid genetic algorithm with multiple decoding methods for energy-aware remanufacturing system scheduling problem.
Robotics Comput. Integr. Manuf., June, 2023
A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems.
Inf. Sci., June, 2023
An Enhanced Social Engineering Optimizer for Solving an Energy-Efficient Disassembly Line Balancing Problem Based on Bucket Brigades and Cloud Theory.
IEEE Trans. Ind. Informatics, May, 2023
Disassembly Sequence Planning of Product Structure With an Improved QICA Considering Expert Consensus for Remanufacturing.
IEEE Trans. Ind. Informatics, May, 2023
Approximately global optimal control for max-plus linear systems and its application on load distribution.
Int. J. Control, May, 2023
Wind speed interval prediction based on multidimensional time series of Convolutional Neural Networks.
Eng. Appl. Artif. Intell., May, 2023
Appl. Intell., May, 2023
A Bilevel Decomposition Approach for Many Homogeneous Computing Tasks Scheduling in Software-Defined Industrial Networks.
IEEE Trans. Ind. Informatics, April, 2023
IEEE Trans. Cybern., March, 2023
Autom., February, 2023
IEEE Trans. Syst. Man Cybern. Syst., 2023
IEEE Trans. Fuzzy Syst., 2023
IEEE Trans. Emerg. Top. Comput., 2023
Improved Meta-Heuristics for Solving Distributed Lot-Streaming Permutation Flow Shop Scheduling Problems.
IEEE Trans Autom. Sci. Eng., 2023
IEEE Trans Autom. Sci. Eng., 2023
Design of Optimal Supervisors for the Enforcement of Nonlinear Constraints on Petri Nets.
IEEE Trans Autom. Sci. Eng., 2023
A Decomposition-Based Approach for Multitask Scheduling With Execution Uncertainty in Industrial Internet of Things.
IEEE Internet Things J., 2023
Multivariate selection-combination short-term wind speed forecasting system based on convolution-recurrent network and multi-objective chameleon swarm algorithm.
Expert Syst. Appl., 2023
IEEE Control. Syst. Lett., 2023
Reduced-Complexity Verification for K-Step and Infinite-Step Opacity in Discrete Event Systems.
CoRR, 2023
Dynamic energy-efficient scheduling of multi-variety and small batch flexible job-shop: A case study for the aerospace industry.
Comput. Ind. Eng., 2023
Autom., 2023
Reducing the Learning Time of Reinforcement Learning for the Supervisory Control of Discrete Event Systems.
IEEE Access, 2023
Control Strategy of Discrete Event Systems Modeled by Labeled Petri Nets Based on Transition Priority.
IEEE Access, 2023
An Optimal Transition-Based Recovery Policy for Controlling Deadlock Within Flexible Manufacturing Systems Using Graph Technique.
IEEE Access, 2023
On Language-Based Opacity Verification Problem in Discrete Event Systems Under Orwellian Observation.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023
Reduced-Complexity Approach for Opacity Enforcement Based on Extended Insertion Functions with Limited Insertion Events.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023
Decentralized State Estimation via Breadth-First Search Through Partially Ordered Observation Sequences.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Springer, ISBN: 978-3-031-41968-3, 2023
2022
Construction and Evaluation of Information Granules: From the Perspective of Clustering.
IEEE Trans. Syst. Man Cybern. Syst., 2022
IEEE Trans. Syst. Man Cybern. Syst., 2022
A Novel Control-Theory-Based Approach to Scheduling of High-Throughput Screening System for Enzymatic Assay.
IEEE Trans. Syst. Man Cybern. Syst., 2022
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs.
IEEE Trans. Syst. Man Cybern. Syst., 2022
Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2022
IEEE Trans. Syst. Man Cybern. Syst., 2022
On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification.
IEEE Trans. Syst. Man Cybern. Syst., 2022
Short-Term Traffic Flow Forecasting Using Ensemble Approach Based on Deep Belief Networks.
IEEE Trans. Intell. Transp. Syst., 2022
IEEE Trans. Fuzzy Syst., 2022
IEEE Trans. Fuzzy Syst., 2022
Fuzzy Relational Matrix Factorization and Its Granular Characterization in Data Description.
IEEE Trans. Fuzzy Syst., 2022
IEEE Trans. Cybern., 2022
IEEE Trans. Cybern., 2022
Kullback-Leibler Divergence-Based Fuzzy C-Means Clustering Incorporating Morphological Reconstruction and Wavelet Frames for Image Segmentation.
IEEE Trans. Cybern., 2022
Tube-Based Output Feedback Robust MPC for LPV Systems With Scaled Terminal Constraint Sets.
IEEE Trans. Cybern., 2022
IEEE Trans. Cybern., 2022
Interval-Valued Intuitionistic Uncertain Linguistic Cloud Petri Net and Its Application to Risk Assessment for Subway Fire Accident.
IEEE Trans Autom. Sci. Eng., 2022
An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs.
IEEE Trans Autom. Sci. Eng., 2022
A Clustering Approach to Approximate the Timed Reachability Graph for a Class of Time Petri Nets.
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
IEEE Trans. Autom. Control., 2022
Editorial Conclusion for the Special Issue "Advanced Transportation Technologies and Symmetries in Intelligent Transportation Systems".
Symmetry, 2022
Robust liveness-enforcing supervisor for Petri nets with unreliable resources based on mixed integer programming.
Soft Comput., 2022
Two-additive fuzzy measure-based information integration approach to product design alternative evaluation.
J. Ind. Inf. Integr., 2022
Energy-efficient scheduling of flexible job shops with complex processes: A case study for the aerospace industry complex components in China.
J. Ind. Inf. Integr., 2022
J. Frankl. Inst., 2022
Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode.
J. Frankl. Inst., 2022
Multi-objective scheduling of priority-based rescue vehicles to extinguish forest fires using a multi-objective discrete gravitational search algorithm.
Inf. Sci., 2022
An integrated behavior decision-making approach for large group quality function deployment.
Inf. Sci., 2022
Performance balance oriented product structure optimization involving heterogeneous uncertainties in intelligent manufacturing with an industrial network.
Inf. Sci., 2022
Inf. Sci., 2022
CGFuzzer: A Fuzzing Approach Based on Coverage-Guided Generative Adversarial Networks for Industrial IoT Protocols.
IEEE Internet Things J., 2022
IEEE CAA J. Autom. Sinica, 2022
Granular computing: An augmented scheme of degranulation through a modified partition matrix.
Fuzzy Sets Syst., 2022
Design of a combined system based on multi-objective optimization for point and interval forecasting of air pollution.
Expert Syst. Appl., 2022
Adaptive genetic algorithm for two-stage hybrid flow-shop scheduling with sequence-independent setup time and no-interruption requirement.
Expert Syst. Appl., 2022
Expert Syst. Appl., 2022
IEEE Control. Syst. Lett., 2022
IEEE Control. Syst. Lett., 2022
Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems.
Comput. Informatics, 2022
Online verification of K-step opacity by Petri nets in centralized and decentralized structures.
Autom., 2022
Autom., 2022
Granular data representation under privacy protection: Tradeoff between data utility and privacy via information granularity.
Appl. Soft Comput., 2022
A combined forecasting system based on multi-objective optimization and feature extraction strategy for hourly PM<sub>2.5</sub> concentration.
Appl. Soft Comput., 2022
Granular models as networks of associations of information granules: A development scheme via augmented principle of justifiable granularity.
Appl. Soft Comput., 2022
Exact and metaheuristic algorithms for the vehicle routing problem with a factory-in-a-box in multi-objective settings.
Adv. Eng. Informatics, 2022
An Improved Marine Predators Algorithm for Optimal Reactive Power Dispatch With Load and Wind-Solar Power Uncertainties.
IEEE Access, 2022
An Improved Synthesis Method Based on ILPP and Colored Petri Net for Liveness Enforcing Controller of Flexible Manufacturing Systems.
IEEE Access, 2022
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022
Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets.
Proceedings of the 8th International Conference on Control, 2022
Proceedings of the 8th International Conference on Control, 2022
Proceedings of the 8th International Conference on Control, 2022
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022
Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications<sup>*</sup>.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022
2021
Fuzzy Grey Choquet Integral for Evaluation of Multicriteria Decision Making Problems With Interactive and Qualitative Indices.
IEEE Trans. Syst. Man Cybern. Syst., 2021
Efficient Approach to Failure Response of Process Module in Dual-Arm Cluster Tools With Wafer Residency Time Constraints.
IEEE Trans. Syst. Man Cybern. Syst., 2021
Closing-Down Optimization for Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints.
IEEE Trans. Syst. Man Cybern. Syst., 2021
Neural Network-Based Cooperative Identification for a Class of Unknown Nonlinear Systems via Event-Triggered Communication.
IEEE Trans. Syst. Man Cybern. Syst., 2021
Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2021
On Feasibility of Multichannel Reconfigurable Wireless Sensor Networks Under Real-Time and Energy Constraints.
IEEE Trans. Syst. Man Cybern. Syst., 2021
A New Integrated Approach for Risk Evaluation and Classification With Dynamic Expert Weights.
IEEE Trans. Reliab., 2021
An Edge-Based Distributed Decision-Making Method for Product Design Scheme Evaluation.
IEEE Trans. Ind. Informatics, 2021
A Development of Hierarchically Structured Granular Models Realized Through Allocation of Information Granularity.
IEEE Trans. Fuzzy Syst., 2021
Sparse Regularization-Based Fuzzy C-Means Clustering Incorporating Morphological Grayscale Reconstruction and Wavelet Frames.
IEEE Trans. Fuzzy Syst., 2021
Residual-Sparse Fuzzy C-Means Clustering Incorporating Morphological Reconstruction and Wavelet Frame.
IEEE Trans. Fuzzy Syst., 2021
G-Image Segmentation: Similarity-Preserving Fuzzy C-Means With Spatial Information Constraint in Wavelet Space.
IEEE Trans. Fuzzy Syst., 2021
RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2021
On Parametrizing Feasible Reconfigurable Systems Under Real-Time, Energy, and Resource Sharing Constraints.
IEEE Trans Autom. Sci. Eng., 2021
An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets.
IEEE Trans. Autom. Control., 2021
Real-Time Scheduling Based on Nonblocking Supervisory Control of State-Tree Structures.
IEEE Trans. Autom. Control., 2021
IEEE Trans. Autom. Control., 2021
IEEE Trans. Autom. Control., 2021
IEEE Trans. Autom. Control., 2021
Predictive Intelligent Transportation: Alleviating Traffic Congestion in the Internet of Vehicles.
Sensors, 2021
Knowl. Based Syst., 2021
Augmentation of the reconstruction performance of Fuzzy C-Means with an optimized fuzzification factor vector.
Knowl. Based Syst., 2021
A randomization mechanism for realizing granular models in distributed system modeling.
Knowl. Based Syst., 2021
Output feedback MPC for uncertain delayed system and control of a wind tunnel system.
Inf. Sci., 2021
Inf. Sci., 2021
Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints.
Inf. Sci., 2021
An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions.
Inf. Sci., 2021
IEEE CAA J. Autom. Sinica, 2021
IEEE CAA J. Autom. Sinica, 2021
Performance Evaluation of Public Bus Transportation by Using DEA Models and Shannon's Entropy: An Example From a Company in a Large City of China.
IEEE CAA J. Autom. Sinica, 2021
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation.
IEEE CAA J. Autom. Sinica, 2021
Optimizing the prototypes with a novel data weighting algorithm for enhancing the classification performance of fuzzy clustering.
Fuzzy Sets Syst., 2021
CoRR, 2021
Verification and enforcement of strong infinite- and k-step opacity using state recognizers.
Autom., 2021
Initial-state detectability and initial-state opacity of unambiguous weighted automata.
Autom., 2021
Autom., 2021
Designing of higher order information granules through clustering heterogeneous granular data.
Appl. Soft Comput., 2021
Appl. Soft Comput., 2021
Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net.
IEEE Access, 2021
Deadlock Control and Fault Detection and Treatment in Reconfigurable Manufacturing Systems Using Colored Resource-Oriented Petri Nets Based on Neural Network.
IEEE Access, 2021
Diagnosability Analysis of Discrete Event Systems Using a Compact State Space Representation.
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
Privacy Enforcement Strategies in Discrete Event Systems via Observation Modification and Supervisory Control.
Proceedings of the 2021 European Control Conference, 2021
2020
Fuel Minimization of the Electric Engine Cooling System With Active Grille Shutter by Iterative Quadratic Programming.
IEEE Trans. Veh. Technol., 2020
On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2020
On Methodology for the Verification of Reconfigurable Timed Net Condition/Event Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2020
An Extended Object Constraint Language for Adaptive Discrete Event Systems With Application to Reconfigurable Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2020
IEEE Trans. Syst. Man Cybern. Syst., 2020
Development and Analysis of Neural Networks Realized in the Presence of Granular Data.
IEEE Trans. Neural Networks Learn. Syst., 2020
Neural Network-Based Distributed Cooperative Learning Control for Multiagent Systems via Event-Triggered Communication.
IEEE Trans. Neural Networks Learn. Syst., 2020
Optimal Petri-Net Controller for Avoiding Collisions in a Class of Automated Guided Vehicle Systems.
IEEE Trans. Intell. Transp. Syst., 2020
A Weighted Fidelity and Regularization-Based Method for Mixed or Unknown Noise Removal From Images on Graphs.
IEEE Trans. Image Process., 2020
Multistage Impact Energy Distribution for Whole Vehicles in High-Speed Train Collisions: Modeling and Solution Methodology.
IEEE Trans. Ind. Informatics, 2020
Nonblocking Supervisory Control of State-Tree Structures With Conditional-Preemption Matrices.
IEEE Trans. Ind. Informatics, 2020
Improved Fuzzy Bayesian Network-Based Risk Analysis With Interval-Valued Fuzzy Sets and D-S Evidence Theory.
IEEE Trans. Fuzzy Syst., 2020
IEEE Trans. Cybern., 2020
Reconfiguration Control of Dynamic Reconfigurable Discrete Event Systems Based on NCESs.
IEEE Trans. Control. Syst. Technol., 2020
Control of Black-Box Embedded Systems by Integrating Automaton Learning and Supervisory Control Theory of Discrete-Event Systems.
IEEE Trans Autom. Sci. Eng., 2020
Multiobjective Bike Repositioning in Bike-Sharing Systems via a Modified Artificial Bee Colony Algorithm.
IEEE Trans Autom. Sci. Eng., 2020
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming.
IEEE Trans. Autom. Control., 2020
IEEE Trans. Autom. Control., 2020
An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems.
IEEE Trans. Autom. Control., 2020
IEEE Trans. Autom. Control., 2020
Many-objective optimization for scheduling of crude oil operations based on NSGA-Ⅲ with consideration of energy efficiency.
Swarm Evol. Comput., 2020
A design of information granule-based under-sampling method in imbalanced data classification.
Soft Comput., 2020
Mining event logs for knowledge discovery based on adaptive efficient fuzzy Kohonen clustering network.
Knowl. Based Syst., 2020
Observer-based output feedback robust MPC via zonotopic set-membership state estimation for LPV systems with bounded disturbances and noises.
J. Frankl. Inst., 2020
Innov. Syst. Softw. Eng., 2020
State-based fault diagnosis of discrete-event systems with partially observable outputs.
Inf. Sci., 2020
Inf. Sci., 2020
Scheduling periodic and aperiodic tasks with time, energy harvesting and precedence constraints on multi-core systems.
Inf. Sci., 2020
An adaptive Lagrangian relaxation-based algorithm for a coordinated water supply and wastewater collection network design problem.
Inf. Sci., 2020
CoRR, 2020
CoRR, 2020
Granular Computing: An Augmented Scheme of Degranulation Through a Modified Partition Matrix.
CoRR, 2020
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach.
CoRR, 2020
Residual-Sparse Fuzzy C-Means Clustering Incorporating Morphological Reconstruction and Wavelet frames.
CoRR, 2020
Autom., 2020
An integrated decision-making method for product design scheme evaluation based on cloud model and EEG data.
Adv. Eng. Informatics, 2020
Modeling and Scheduling Methods for Batch Production Systems Based on Petri Nets and Heuristic Search.
IEEE Access, 2020
Integrated Intelligent Green Scheduling of Predictive Maintenance for Complex Equipment based on Information Services.
IEEE Access, 2020
Adaptive Consensus of Two Coupled Heterogeneous Networked Systems With Bidirectional Actions.
IEEE Access, 2020
Colored Resource-Oriented Petri Net Based Ladder Diagrams for PLC Implementation in Reconfigurable Manufacturing Systems.
IEEE Access, 2020
Improved Multi-Core Real-Time Task Scheduling of Reconfigurable Systems With Energy Constraints.
IEEE Access, 2020
Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources.
IEEE Access, 2020
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020
Towards a Generic Framework for Formal Verification and Performance Analysis of Real-Time Scheduling Algorithms.
Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020
Efficient Scheduling of Periodic, Aperiodic, and Sporadic Real-Time Tasks with Deadline Constraints.
Proceedings of the Software Technologies - 15th International Conference, 2020
New Approach for Deadline Calculation of Periodic, Sporadic and Aperiodic Real-time Software Tasks.
Proceedings of the 15th International Conference on Software Technologies, 2020
A region-based approach for state estimation of timed automata under no event observation.
Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions.
IEEE Trans. Syst. Man Cybern. Syst., 2019
Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs.
IEEE Trans. Syst. Man Cybern. Syst., 2019
Multiobjective Optimization Approach for a Portable Development of Reconfigurable Real-Time Systems: From Specification to Implementation.
IEEE Trans. Syst. Man Cybern. Syst., 2019
Target Disassembly Sequencing and Scheme Evaluation for CNC Machine Tools Using Improved Multiobjective Ant Colony Algorithm and Fuzzy Integral.
IEEE Trans. Syst. Man Cybern. Syst., 2019
High-Accuracy Signal Subspace Separation Algorithm Based on Gaussian Kernel Soft Partition.
IEEE Trans. Ind. Electron., 2019
Constructing a Virtual Space for Enhancing the Classification Performance of Fuzzy Clustering.
IEEE Trans. Fuzzy Syst., 2019
IEEE Trans. Fuzzy Syst., 2019
Granular Data Aggregation: An Adaptive Principle of the Justifiable Granularity Approach.
IEEE Trans. Cybern., 2019
IEEE Trans. Circuits Syst. I Regul. Pap., 2019
Designing Efficient Reconfigurable Control Systems Using IEC61499 and Symbolic Model Checking.
IEEE Trans Autom. Sci. Eng., 2019
Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures.
IEEE Trans Autom. Sci. Eng., 2019
Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly.
IEEE Trans Autom. Sci. Eng., 2019
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions".
IEEE Trans. Autom. Control., 2019
Soft Comput., 2019
Knowl. Based Syst., 2019
Two-agent stochastic flow shop deteriorating scheduling via a hybrid multi-objective evolutionary algorithm.
J. Intell. Manuf., 2019
A multi-objective supplier selection and order allocation through incremental discount in a fuzzy environment.
J. Intell. Fuzzy Syst., 2019
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
An integrated approach for multi-objective optimisation and MCDM of energy internet under uncertainty.
Future Gener. Comput. Syst., 2019
SCT-based priority-free conditionally-preemptive scheduling of modular real-time systems with exact task execution time.
Discret. Event Dyn. Syst., 2019
Discret. Event Dyn. Syst., 2019
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems.
CoRR, 2019
Dynamic pricing and time-to-market strategy in a service supply chain with online direct channels.
Comput. Ind. Eng., 2019
A Non-Invasive Sleep Analysis Approach Based on a Fuzzy Inference System and a Finite State Machine.
IEEE Access, 2019
IEEE Access, 2019
A Data-Driven-Based Wavelet Support Vector Approach for Passenger Flow Forecasting of the Metropolitan Hub.
IEEE Access, 2019
On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets.
IEEE Access, 2019
Modeling and Verification of a Reliable Multi-Agent Solution Promoting the Autonomy and Self-Sufficiency of Microgrids in an Isolated Location.
IEEE Access, 2019
Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies.
IEEE Access, 2019
Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons.
IEEE Access, 2019
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Access, 2019
Group Consensus for Heterogeneous Multi-Agent Systems With Sampled and Quantized Data Under Directed Communication Topology.
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
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Robust Deadlock-free Scheduling for FMS with Liveness-enforcing Supervisor Combined with Beam Search Controller.
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Proceedings of the 2019 IEEE International Conference on Systems, Man and Cybernetics, 2019
Maximally Permissive Supervisor Synthesis Using Reachability and Structural Analysis of Petri Nets.
Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019
Proceedings of the 17th European Control Conference, 2019
Optimization on ACC Systems and Layout Design for Maximizing Thermal Comfort and Energy Saving in Large Rooms - A Case Study.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019
Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019
Proceedings of the 2019 American Control Conference, 2019
2018
IEEE Trans. Syst. Man Cybern. Syst., 2018
AHP, Gray Correlation, and TOPSIS Combined Approach to Green Performance Evaluation of Design Alternatives.
IEEE Trans. Syst. Man Cybern. Syst., 2018
Multiobjective Program and Hybrid Imperialist Competitive Algorithm for the Mixed-Model Two-Sided Assembly Lines Subject to Multiple Constraints.
IEEE Trans. Syst. Man Cybern. Syst., 2018
New Power-Oriented Methodology for Dynamic Resizing and Mobility of Reconfigurable Wireless Sensor Networks.
IEEE Trans. Syst. Man Cybern. Syst., 2018
IEEE Trans. Syst. Man Cybern. Syst., 2018
IEEE Trans. Syst. Man Cybern. Syst., 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. Ind. Informatics, 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 Syst., 2018
IEEE Trans. Fuzzy Syst., 2018
Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems.
IEEE Trans Autom. Sci. Eng., 2018
IEEE Trans Autom. Sci. Eng., 2018
A Learning-Based Synthesis Approach to the Supremal Nonblocking Supervisor of Discrete-Event Systems.
IEEE Trans. Autom. Control., 2018
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics.
IEEE Trans. Autom. Control., 2018
A Petri Net Approach to Fault Diagnosis and Restoration for Power Transmission Systems to Avoid the Output Interruption of Substations.
IEEE Syst. J., 2018
Multim. Tools Appl., 2018
Reconfiguration-based methodology for improving recovery performance of faults in smart grids.
Inf. Sci., 2018
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. Inf., 2018
On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach.
IMA J. Math. Control. Inf., 2018
Event-triggered cooperative learning from output feedback control for multi-agent systems.
Neurocomputing, 2018
IEEE CAA J. Autom. Sinica, 2018
Current-state opacity enforcement in discrete event systems under incomparable observations.
Discret. Event Dyn. Syst., 2018
Complex Adapt. Syst. Model., 2018
Model-based fault identification of discrete event systems using partially observed Petri nets.
Autom., 2018
Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems.
Autom., 2018
On-line verification of current-state opacity by Petri nets and integer linear programming.
Autom., 2018
Appl. Intell., 2018
IEEE Access, 2018
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
IEEE Access, 2018
IEEE Access, 2018
IEEE Access, 2018
IEEE Access, 2018
IEEE Access, 2018
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems.
IEEE Access, 2018
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
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
IEEE Access, 2018
Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018
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. Syst. Man Cybern. Syst., 2017
Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control.
IEEE Trans. Syst. Man Cybern. Syst., 2017
IEEE Trans. Syst. Man Cybern. Syst., 2017
Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm.
IEEE Trans. Syst. Man Cybern. Syst., 2017
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs.
IEEE Trans. Syst. Man Cybern. Syst., 2017
IEEE Trans. Fuzzy Syst., 2017
IEEE Trans. Cybern., 2017
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation.
IEEE Trans. Control. Syst. Technol., 2017
IEEE Trans Autom. Sci. Eng., 2017
IEEE Trans Autom. Sci. Eng., 2017
IEEE Trans. Autom. Control., 2017
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem.
IEEE Trans. Autom. Control., 2017
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations.
IEEE Trans. Autom. Control., 2017
A Piecewise Aggregate pattern representation approach for anomaly detection in time series.
Knowl. Based Syst., 2017
J. Vis. Commun. Image Represent., 2017
Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement.
Inf. Sci., 2017
Inf. Sci., 2017
Inf. Sci., 2017
Inf. Sci., 2017
Eng. Appl. Artif. Intell., 2017
Autom., 2017
Computation of an Optimal Transformed Linear Constraint in a Class of Petri Nets With Uncontrollable Transitions.
IEEE Access, 2017
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
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. Syst. Man Cybern. Syst., 2016
Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control.
IEEE Trans. Ind. Informatics, 2016
IEEE Trans. Autom. Control., 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 Video Process., 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. Intell. Manuf., 2016
Matching demanders and suppliers in knowledge service: A method based on fuzzy axiomatic design.
Inf. Sci., 2016
IMA J. Math. Control. Inf., 2016
Confusion avoidance for discrete event systems by P/E constraints and supervisory control.
IMA J. Math. Control. Inf., 2016
Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines.
Enterp. Inf. Syst., 2016
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators.
Autom., 2016
Appl. Soft Comput., 2016
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
Proceedings of the Software Technologies, 11th International Joint Conference, 2016
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
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016
Proceedings of the 2016 American Control Conference, 2016
2015
IEEE Trans. Syst. Man Cybern. Syst., 2015
Corrections to "Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions".
IEEE Trans. Syst. Man Cybern. Syst., 2015
IEEE Trans. Control. Syst. Technol., 2015
Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks.
IEEE Trans Autom. Sci. Eng., 2015
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints.
IEEE Trans. Autom. Control., 2015
Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach.
IEEE Robotics Autom. Mag., 2015
J. Comb. Optim., 2015
Enterp. Inf. Syst., 2015
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101].
Autom., 2015
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
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
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. Syst. Man Cybern. Syst., 2014
Corrections to "Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems".
IEEE Trans. Syst. Man Cybern. Syst., 2014
Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification Approach.
IEEE Trans Autom. Sci. Eng., 2014
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems.
Inf. Sci., 2014
IMA J. Math. Control. Inf., 2014
Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets.
Int. J. Comput. Integr. Manuf., 2014
Authors' Reply to 'Comments on "Liveness of an extended S<sup>3</sup>PR " [Automatica 46(6) (2010) 1008-1018]'.
Autom., 2014
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
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
Proceedings of the 12th International Workshop on Discrete Event Systems, 2014
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
IEEE Trans. Syst. Man Cybern. Syst., 2013
IEEE Trans. Syst. Man Cybern. Syst., 2013
A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2013
Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets.
IEEE Trans. Ind. Informatics, 2013
ACM Trans. Embed. Comput. Syst., 2013
Introduction to the Special Issue on Modeling and Verification of Discrete Event Systems.
ACM Trans. Embed. Comput. Syst., 2013
An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems.
IEEE Trans Autom. Sci. Eng., 2013
J. Appl. Math., 2013
Inf. Sci., 2013
A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets.
Autom., 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
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
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. Syst. Man Cybern. Part A, 2012
IEEE Trans. Syst. Man Cybern. Part C, 2012
Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions.
IEEE Trans. Syst. Man Cybern. Part A, 2012
Deadlock Control of Automated Manufacturing Systems Based on Petri Nets - A Literature Review.
IEEE Trans. Syst. Man Cybern. Part C, 2012
Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2012
Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2012
Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2012
Corrections to "Design of a Maximally Permissive Liveness-Enforcing Petri Net Supervisor for Flexible Manufacturing Systems".
IEEE Trans Autom. Sci. Eng., 2012
Erratum to "Liveness of an extended S<sup>3</sup>PR " [Automatica 46 (2010) 1008-1018].
Autom., 2012
Autom., 2012
2011
IEEE Trans. Syst. Man Cybern. Part A, 2011
Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2011
IEEE Trans. Computers, 2011
Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets.
IEEE Trans Autom. Sci. Eng., 2011
Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing Systems.
IEEE Trans Autom. Sci. Eng., 2011
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets.
Int. J. Comput. Integr. Manuf., 2011
Comput. Ind. Eng., 2011
Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems.
Autom., 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
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. Syst. Man Cybern. Part C, 2010
Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets.
IEEE Trans Autom. Sci. Eng., 2010
Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2010
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons.
J. Intell. Manuf., 2010
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming.
Int. J. Syst. Sci., 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
IEEE Trans. Syst. Man Cybern. Part A, 2009
A Divide-and-Conquer Strategy to Deadlock Prevention in Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part C, 2009
Comments on "An Iterative Synthesis Approach to Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems".
IEEE Trans. Syst. Man Cybern. Part A, 2009
Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets.
IEEE Trans. Multim., 2009
Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior.
IEEE Trans Autom. Sci. Eng., 2009
J. Inf. Sci. Eng., 2009
J. Inf. Sci. Eng., 2009
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models.
Eng. Comput., 2009
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors.
Comput. Ind. Eng., 2009
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs.
Comput. Ind. Eng., 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
IEEE Trans. Syst. Man Cybern. Part A, 2008
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part C, 2008
IEEE Trans. Syst. Man Cybern. Part A, 2008
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2008
IEEE Trans. Syst. Man Cybern. Part A, 2008
A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions.
IEEE Trans Autom. Sci. Eng., 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
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007
2006
IEEE Trans. Syst. Man Cybern. Part A, 2006
Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.
IEEE Trans. Ind. Informatics, 2006
Int. J. Manuf. Technol. Manag., 2006
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006
2005
Proceedings of the Computational Intelligence and Security, International Conference, 2005
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2005
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. Syst. Man Cybern. Part A, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the IEEE International Conference on Systems, 2004
Proceedings of the IEEE International Conference on Systems, 2004
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
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
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
Proceedings of the IEEE International Conference on Systems, 2003
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003