Naiqi Wu

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2025
Global and local semantic enhancement of samples for cross-modal hashing.
Neurocomputing, 2025

Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints.
Autom., 2025

2024
On the Existence of Nonblocking Bounded Supervisors for Discrete-Event Systems.
IEEE Trans. Autom. Control., November, 2024

Collaborative Scheduling for Single-Arm Cluster Tools With an Equipment Front-End Module Subject to Chamber Cleaning Requirements.
IEEE Trans. Syst. Man Cybern. Syst., October, 2024

Problem-Specific Knowledge Based Multi-Objective Meta-Heuristics Combined Q-Learning for Scheduling Urban Traffic Lights With Carbon Emissions.
IEEE Trans. Intell. Transp. Syst., October, 2024

Quasi Group Role Assignment With Agent Satisfaction in Self-Service Spatiotemporal Crowdsourcing.
IEEE Trans. Comput. Soc. Syst., 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

Efficient Deterministic Verification and Rapid Corruption Localization for Edge Data Integrity.
IEEE Internet Things J., October, 2024

Efficient Optimal Cyclic Scheduling of High Throughput Screening System for Enzyme-Linked Immunoassay.
IEEE Trans. Syst. Man Cybern. Syst., September, 2024

Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems Under Supervisory Control.
IEEE Trans. Autom. Control., September, 2024

Scheduling of Time-Constrained Single-Arm Cluster Tools with Two-Space Process Modules in Semiconductor Manufacturing.
IEEE Robotics Autom. Lett., July, 2024

Scheduling Multiobjective Dynamic Surgery Problems via Q-Learning-Based Meta-Heuristics.
IEEE Trans. Syst. Man Cybern. Syst., June, 2024

A Novel Evolutionary Algorithm for Scheduling Distributed No-Wait Flow Shop Problems.
IEEE Trans. Syst. Man Cybern. Syst., June, 2024

HSA-EDI: An Efficient One-Round Integrity Verification for Mobile Edge Caching Using Hierarchical Signature Aggregation.
IEEE Trans. Netw. Serv. Manag., June, 2024

Robust Asymmetric Cross-Modal Hashing Retrieval With Dual Semantic Enhancement.
IEEE Trans. Comput. Soc. Syst., June, 2024

State-Based Opacity Verification of Networked Discrete Event Systems Using Labeled Petri Nets.
IEEE CAA J. Autom. Sinica, May, 2024

Adjacent initial states-based differential privacy for probabilistic labeled Petri nets.
Expert Syst. Appl., March, 2024

Symbolic state estimation in bounded timed labeled Petri nets.
Autom., February, 2024

Discrete cross-modal hashing with relaxation and label semantic guidance.
World Wide Web (WWW), January, 2024

Joint Specifics and Dual-Semantic Hashing Learning for Cross-Modal Retrieval.
Neurocomputing, January, 2024

A blockchain-based data storage architecture for Internet of Vehicles: Delay-aware consensus and data query algorithms.
Veh. Commun., 2024

OR-EDI: A Per-Edge One-Round Data Integrity Verification Scheme for Mobile Edge Computing.
IEEE Trans. Netw. Sci. Eng., 2024

Dynamic Confidence Sampling and Label Semantic Guidance Learning for Domain Adaptive Retrieval.
IEEE Trans. Multim., 2024

Scalable Discrete and Asymmetric Unequal Length Hashing Learning for Cross-Modal Retrieval.
IEEE Trans. Multim., 2024

Autonomous driving policy learning from demonstration using regression loss function.
Knowl. Based Syst., 2024

Identification of labeled Petri nets from finite automata.
Inf. Sci., 2024

Efficient approach to cyclic scheduling of high throughput screening systems for bioengineering.
Inf. Sci., 2024

Cycle time analysis for cluster tools with parallel process chambers, processing time variation, and chamber cleaning operations.
Expert Syst. Appl., 2024

Ensemble meta-heuristics and Q-learning for staff dissatisfaction constrained surgery scheduling and rescheduling.
Eng. Appl. Artif. Intell., 2024

Scheduling analysis of automotive glass manufacturing systems subject to sequence-independent setup time, no-idle machines, and permissive maximum total tardiness constraint.
Eng. Appl. Artif. Intell., 2024

Correction to "On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets".
IEEE Access, 2024

Cyclic Scheduling of Single-arm Cluster Tools with Equipment Front-End Module and One-in-one-out Loadlocks.
Proceedings of the 20th IEEE International Conference on Automation Science and Engineering, 2024

2023
Design of Safety Petri Net Controllers for Deadlock Prevention at a Class of Road Intersections.
IEEE Trans. Intell. Transp. Syst., December, 2023

Scheduling Eight-Phase Urban Traffic Light Problems via Ensemble Meta-Heuristics and Q-Learning Based Local Search.
IEEE Trans. Intell. Transp. Syst., December, 2023

Optimization of Inventory Space in Smart Factory for Integrated Periodic Production and Delivery Scheduling.
IEEE Trans. Comput. Soc. Syst., December, 2023

Knowledge Transfer Learning via Dual Density Sampling for Resource-Limited Domain Adaptation.
IEEE CAA J. Autom. Sinica, December, 2023

Scheduling Single-Arm Multicluster Tools for Two-Type Wafers With Lower-Bound Cycle Time.
IEEE Trans. Syst. Man Cybern. Syst., November, 2023

Error- and Tamper-Tolerant State Estimation for Discrete Event Systems Under Cost Constraints.
IEEE Trans. Autom. Control., November, 2023

Adaptive Graph Embedding with Consistency and Specificity for Domain Adaptation.
IEEE CAA J. Autom. Sinica, November, 2023

Selected confidence sample labeling for domain adaptation.
Neurocomputing, October, 2023

An Efficient Scheduling Method for Single-Arm Cluster Tools With Multifunctional Process Modules.
IEEE Trans. Syst. Man Cybern. Syst., June, 2023

Solving Biobjective Distributed Flow-Shop Scheduling Problems With Lot-Streaming Using an Improved Jaya Algorithm.
IEEE Trans. Cybern., June, 2023

Development of Fault Detection Systems: The Hadoop Ecosystem Implementation.
IEEE Robotics Autom. Mag., June, 2023

Semantic-guided hashing learning for domain adaptive retrieval.
World Wide Web (WWW), May, 2023

Fast Asymmetric and Discrete Cross-Modal Hashing With Semantic Consistency.
IEEE Trans. Comput. Soc. Syst., April, 2023

Modeling and analysis of traffic warning message dissemination system in VANETs.
Veh. Commun., February, 2023

Improved Meta-Heuristics for Solving Distributed Lot-Streaming Permutation Flow Shop Scheduling Problems.
IEEE Trans Autom. Sci. Eng., 2023

IEEE ITSC 2022 [Conference Activities].
IEEE Intell. Transp. Syst. Mag., 2023

A Survey on Cyber-Physical Systems Security.
IEEE Internet Things J., 2023

Scheduling Dual-Arm Multi-Cluster Tools With Regulation of Post-Processing Time.
IEEE CAA J. Autom. Sinica, 2023

Optimal scheduling of electric vehicle charging operations considering real-time traffic condition and travel distance.
Expert Syst. Appl., 2023

Optimally Scheduling Single-Arm Multicluster Tools for Manufacturing Hybrid-Type Wafers.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Implementation of Novel Scheduling Methods for Dual-arm Cluster Tools with Multiple-time Reentrant flows based on Petri Nets.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

Scheduling Analysis of Diffusion Area in Semiconductor Manufacturing.
Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2022
A Novel Control-Theory-Based Approach to Scheduling of High-Throughput Screening System for Enzymatic Assay.
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

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

Urban Road Network Partitioning Based on Bi-Modal Traffic Flows With Multiobjective Optimization.
IEEE Trans. Intell. Transp. Syst., 2022

Route Choice Behavior Modeling for Emergency Evacuation and Efficiency Analysis Based on Type-II Fuzzy Theory.
IEEE Trans. Intell. Transp. Syst., 2022

SMSPL: Robust Multimodal Approach to Integrative Analysis of Multiomics Data.
IEEE Trans. Cybern., 2022

An Efficient Binary Integer Programming Model for Residency Time-Constrained Cluster Tools With Chamber Cleaning Requirements.
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

Optimally Scheduling Dual-Arm Multi-Cluster Tools to Process Two Wafer Types.
IEEE Robotics Autom. Lett., 2022

Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode.
J. Frankl. Inst., 2022

Game current-state opacity formulation in probabilistic resource automata.
Inf. Sci., 2022

Constrained multi-objective optimization of short-term crude oil scheduling with dual pipelines and charging tank maintenance requirement.
Inf. Sci., 2022

Secret inference and attacktability analysis of discrete event systems.
Inf. Sci., 2022

Spatiotemporal Analysis of Mobile Phone Network Based on Self-Organizing Feature Map.
IEEE Internet Things J., 2022

Domain adaptation via incremental confidence samples into classification.
Int. J. Intell. Syst., 2022

SLNL: A novel method for gene selection and phenotype classification.
Int. J. Intell. Syst., 2022

Continuous-Time Prediction of Industrial Paste Thickener System With Differential ODE-Net.
IEEE CAA J. Autom. Sinica, 2022

Adaptive genetic algorithm for two-stage hybrid flow-shop scheduling with sequence-independent setup time and no-interruption requirement.
Expert Syst. Appl., 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

Robust predictability of stochastic discrete-event systems and a polynomial-time verification.
Autom., 2022

Inventory Space Minimization in Smart Factory by a Designed Grey Wolf Optimizer.
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

Liveness Enforcement for Time Petri Nets.
Proceedings of the 8th International Conference on Control, 2022

An Adaptive Method for Flexible Configurations of Single-Arm Cluster Tools: Modeling and Scheduling.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Efficient Approach to Scheduling of High Throughput Screening Systems: A Case Study.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

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

Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2021

Solving Last-Mile Logistics Problem in Spatiotemporal Crowdsourcing via Role Awareness With Adaptive Clustering.
IEEE Trans. Comput. Soc. Syst., 2021

Reducing Wafer Delay Time by Robot Idle Time Regulation for Single-Arm Cluster Tools.
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

A novel consensus learning approach to incomplete multi-view clustering.
Pattern Recognit., 2021

Supervisory control of discrete-event systems under external attacks.
Inf. Sci., 2021

Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints.
Inf. Sci., 2021

Wafer sojourn time fluctuation analysis for time-constrained dual-arm multi-cluster tools with activity time variation.
Int. J. Comput. Integr. Manuf., 2021

Consensus Control of Leader-Following Multi-Agent Systems in Directed Topology With Heterogeneous Disturbances.
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

Anomaly detection via a combination model in time series data.
Appl. Intell., 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

Urban Traffic Light Control Considering Capacity Difference Between Public Bus and Private Vehicles.
IEEE Access, 2021

Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets.
IEEE Access, 2021

Minimization of Product Transportation and Temporary Storage Costs for Home Appliances Manufacturing Factories.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Virtual Wafer-based Scheduling Method for Dual-arm Cluster Tools with Chamber Cleaning Requirements.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

A Partitioning Algorithm for Bi-modal Road Networks.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2021

Error- and Tamper-Tolerant Decentralized Diagnosability of Discrete Event Systems under Cost Constraints<sup>*</sup>.
Proceedings of the 2021 European Control Conference, 2021

2020
Multiobjective Scheduling of Dual-Blade Robotic Cells in Wafer Fabrication.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Modeling and Optimal Cyclic Scheduling of Time-Constrained Single-Robot-Arm Cluster Tools via Petri Nets and Linear Programming.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools With Parallel Chambers.
IEEE Trans. Syst. Man Cybern. Syst., 2020

On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Propagation Dynamics of a Periodic Epidemic Model on Weighted Interconnected Networks.
IEEE Trans. Netw. Sci. Eng., 2020

Wafer Residency Time Analysis for Time-Constrained Single-Robot-Arm Cluster Tools With Activity Time Variation.
IEEE Trans. Control. Syst. Technol., 2020

Many-objective optimization for scheduling of crude oil operations based on NSGA-Ⅲ with consideration of energy efficiency.
Swarm Evol. Comput., 2020

Robust deadlock control for automated manufacturing systems based on elementary siphon theory.
Inf. Sci., 2020

Post-processing time-aware optimal scheduling of single robotic cluster tools.
IEEE CAA J. Autom. Sinica, 2020

Current-state opacity modelling and verification in partially observed Petri nets.
Autom., 2020

Homomorphic Encryption of Supervisory Control Systems Using Automata.
IEEE Access, 2020

On Multiplexity-Aware Influence Spread in Social Networks.
IEEE Access, 2020

Fault Diagnosis of Backward Conflict-Free Petri Nets by Generalized Markings.
IEEE Access, 2020

A Comparative Study on Contract Recommendation Model: Using Macao Mobile Phone Datasets.
IEEE Access, 2020

Modeling and Deadlock Control of Reconfigurable Multi-Unit Resource Systems.
IEEE Access, 2020

Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets.
IEEE Access, 2020

Bi-modal Traffic Management Integrating Perimeter Control and Regional Bus Service Frequency Setting.
Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020

2019
Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions.
IEEE Trans. Syst. Man Cybern. Syst., 2019

Robust Scheduling of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Disturbance.
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

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

Optimal Petri net supervisor synthesis for forbidden state problems using marking mask.
Inf. Sci., 2019

Multiagent and Bargaining-Game-Based Real-Time Scheduling for Internet of Things-Enabled Flexible Job Shop.
IEEE Internet Things J., 2019

Optimal integrated schedule of entire process of dual-blade multi-cluster tools from start-up to close-down.
IEEE CAA J. Autom. Sinica, 2019

A Petri Net-Based Heuristic Algorithm for Short-Term Vehicle Scheduling in a Vehicle Inspection System.
IEEE Access, 2019

On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets.
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

A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis.
IEEE Access, 2019

Diagnosability of Vector Discrete-Event Systems Using Predicates.
IEEE Access, 2019

Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach.
IEEE Access, 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

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

2018
Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools.
IEEE Trans. Syst. Man Cybern. Syst., 2018

Optimal One-Wafer Cyclic Scheduling of Hybrid Multirobot Cluster Tools With Tree Topology.
IEEE Trans. Syst. Man Cybern. Syst., 2018

Wafer Sojourn Time Fluctuation Analysis of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Variation.
IEEE Trans. Syst. Man Cybern. Syst., 2018

Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems.
IEEE Trans Autom. Sci. Eng., 2018

Scheduling Cluster Tools in Semiconductor Manufacturing: Recent Advances and Challenges.
IEEE Trans Autom. Sci. Eng., 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

Supervisory control of state-tree structures with partial observation.
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

Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets.
IEEE CAA J. Autom. Sinica, 2018

IoT-based smart and complex systems: a guest editorial report.
IEEE CAA J. Autom. Sinica, 2018

SVM-DT-based adaptive and collaborative intrusion detection.
IEEE CAA J. Autom. Sinica, 2018

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

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

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

Petri Net-Based Efficient Determination of Optimal Schedules for Transport-Dominant Single-Arm Multi-Cluster Tools.
IEEE Access, 2018

A Method for Construction of Software Protection Technology Application Sequence Based on Petri Net With Inhibitor Arcs.
IEEE Access, 2018

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

State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems.
IEEE Access, 2018

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

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

Short-Term Scheduling of Vehicle Testing System Using Object Petri Net.
IEEE Access, 2018

Petri net-based deadlock avoidance for single-arm cluster tools with concurrently processing two-type wafers.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Scheduling of crude oil operations for minimizing the usage of simultaneously-charging-and-feeding mode.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Cyclic Scheduling Analysis of Single-arm Cluster Tools with Wafer Residency Time Constraint and Chamber Cleaning Operations.
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 One-Wafer Cyclic Scheduling of Time-Constrained Hybrid Multicluster Tools via Petri Nets.
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

Scheduling and Control of Startup Process for Single-Arm Cluster Tools With Residency Time Constraints.
IEEE Trans. Control. Syst. Technol., 2017

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

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

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

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

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

Close-down process scheduling of wafer residence time-constrained multi-cluster tools.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 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

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

2016
An Efficient Scheduling Method for Crude Oil Operations in Refinery With Crude Oil Type Mixing Requirements.
IEEE Trans. Syst. Man Cybern. Syst., 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

IoT-Enabled Real-Time Production Performance Analysis and Exception Diagnosis Model.
IEEE Trans Autom. Sci. Eng., 2016

A novel method for deadlock prevention of AMS by using resource-oriented Petri nets.
Inf. Sci., 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

Optimal Scheduling of Complex Multi-Cluster Tools Based on Timed Resource-Oriented Petri Nets.
IEEE Access, 2016

Optimal scheduling of time-constrained single-arm cluster tools with wafer revisiting.
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

Efficient and optimal scheduling of time-constrained hybrid multi-cluster tools in semiconductor industry.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Scheduling crude oil operations in refineries with genetic algorithm.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, 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

Optimal scheduling analysis of treelike hybrid multi-cluster tools.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Optimal one-wafer cyclic scheduling analysis of transport-dominant single-arm multi-cluster tools.
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

2015
Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule.
IEEE Trans. Syst. Man Cybern. Syst., 2015

A Novel Algorithm for Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Wafer Residency Time Constraints and Activity Time Variation.
IEEE Trans. Syst. Man Cybern. Syst., 2015

Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints.
IEEE Trans Autom. Sci. Eng., 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

Cycle time analysis of dual-arm cluster tools for wafer fabrication processes with multiple wafer revisiting times.
Comput. Oper. Res., 2015

Scheduling Close-Down Processes Subject to Wafer Residency Constraints for Single-Arm Cluster Tools.
Proceedings of the 2015 IEEE International Conference on Systems, 2015

Resource-Oriented Petri Net-Based Approach to Deadlock Prevention of AMSs.
Proceedings of the 2015 IEEE International Conference on Systems, 2015

Modeling and scheduling of cluster tools dealing with wafer revisiting: A brief review.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

Modeling and optimization for short-term scheduling of crude oil operations in refinery.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

2014
Petri Net-Based Polynomially Complex Approach to Optimal One-Wafer Cyclic Scheduling of Hybrid Multi-Cluster Tools in Semiconductor Manufacturing.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Optimal One-Wafer Cyclic Scheduling of Single-Arm Multicluster Tools With Two-Space Buffering Modules.
IEEE Trans. Syst. Man Cybern. Syst., 2014

Scheduling of Dual-Arm Cluster Tools With Wafer Revisiting and Residency Time Constraints.
IEEE Trans. Ind. Informatics, 2014

A novel failure response policy for single-arm cluster tools with residency time constraints.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Simulation modeling and visualization of start-up transient processes of dual-arm cluster tools with wafer revisiting.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Optimal one-wafer cyclic scheduling analysis of hybrid multi-cluster tools with one-space buffering module.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Control-theoretic and model-based scheduling of crude oil transportation for refinery industry.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

Petri net-based response policies to process module failure in time-constrained single-arm cluster tools.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Linear programming-based approach to scheduling of crude oil operations in refinery with oil type mixing requirement.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

2013
A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting.
IEEE Trans. Syst. Man Cybern. Syst., 2013

Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting.
IEEE Trans. Syst. Man Cybern. Syst., 2013

One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets.
ACM Trans. Embed. Comput. Syst., 2013

Scheduling of single-arm multi-cluster tools to achieve the minimum cycle time.
Proceedings of the 2013 IEEE International Conference on Robotics and Automation, 2013

Petri net-based scheduling analysis of dual-arm cluster tools subject to wafer revisiting and residency time constraints.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Scheduling of time constrained dual-arm cluster tools with wafer revisiting.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012
A Novel Approach to Optimization of Refining Schedules for Crude Oil Operations in Refinery.
IEEE Trans. Syst. Man Cybern. Part C, 2012

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

Modeling, Analysis and Control of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation Based on Petri Nets.
IEEE Trans Autom. Sci. Eng., 2012

Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation.
IEEE Trans Autom. Sci. Eng., 2012

Real-Time Scheduling of Single-Arm Cluster Tools Subject to Residency Time Constraints and Bounded Activity Time Variation.
IEEE Trans Autom. Sci. Eng., 2012

A novel scheduling approach to dual-arm cluster tools with wafer revisiting.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2012

Petri net-based real-time scheduling of time-constrained single-arm cluster tools with activity time variation.
Proceedings of the IEEE International Conference on Robotics and Automation, 2012

Real-time control policy for single-arm cluster tools with residency time constraints and activity time variation by using Petri net.
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011
Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance System.
IEEE Trans. Intell. Transp. Syst., 2011

Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints.
IEEE Trans Autom. Sci. Eng., 2011

Petri Net-Based Scheduling of Single-Arm Cluster Tools With Reentrant Atomic Layer Deposition Processes.
IEEE Trans Autom. Sci. Eng., 2011

Cycle time analysis for wafer revisiting process in scheduling of single-arm cluster tools.
Int. J. Autom. Comput., 2011

Petri net-based cycle time analysis of dual-arm cluster tools with wafer revisiting and swapping strategy.
Proceedings of the IEEE International Conference on Robotics and Automation, 2011

Interaction behavior modeling of advanced driving assistance systems by using Petri net.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011

Closed-form solution for cycle time of revisiting processes in single-arm cluster tool scheduling with atomic layer deposition.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011

Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

2010
Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery.
IEEE Trans. Syst. Man Cybern. Part C, 2010

A Closed-Form Solution for Schedulability and Optimal Scheduling of Dual-Arm Cluster Tools With Wafer Residency Time Constraint Based on Steady Schedule Analysis.
IEEE Trans Autom. Sci. Eng., 2010

A Cooperative Network Intrusion detection Based on Fuzzy SVMs.
J. Networks, 2010

Tank cycling and scheduling analysis of high fusion point oil transportation for crude oil operations in refinery.
Comput. Chem. Eng., 2010

Design and implementation of a DIDS.
Proceedings of the IEEE International Conference on Wireless Communications, 2010

Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation.
Proceedings of the IEEE Conference on Automation Science and Engineering, 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
Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint.
IEEE Trans. Syst. Man Cybern. Part C, 2009

A novel approach to scheduling of single-arm cluster tools with wafer revisiting.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

Heuristic for lane reservation problem in time constrained transportation.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

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

Short-Term Schedulability Analysis of Crude Oil Operations in Refinery With Oil Residency Time Constraint Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Part C, 2008

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

A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery.
IEEE Trans Autom. Sci. Eng., 2008

Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net.
Proceedings of the IEEE International Conference on Systems, 2008

Short-term schedulability analysis of crude oil operations in refinery with hybrid Petri net.
Proceedings of the IEEE International Conference on Systems, 2008

Modeling and Schedulability Analysis of Single-Arm Cluster Tools with Wafer Residency Time Constraints Using Petri Net.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007
Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net.
IEEE Trans. Syst. Man Cybern. Part C, 2007

Deadlock Resolution in Automated Manufacturing Systems With Robots.
IEEE Trans Autom. Sci. Eng., 2007

Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets.
OR Spectr., 2007

Schedulability analysis of short-term schedule for crude oil operations using Petri nets.
Proceedings of the IEEE International Conference on Systems, 2007

On Petri Net Modeling of Automated ManufacturingSystems.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

Cooperative Intrusion Detection Model Based on State Transition Analysis.
Proceedings of the Computer Supported Cooperative Work in Design IV, 2007

2006
Resource-Oriented Petri Net for Deadlock Resolution in Automated Manufacturing Systems with Robots.
Proceedings of the IEEE International Conference on Systems, 2006

Issues on Short-Term Scheduling of Oil Refinery.
Proceedings of the IEEE International Conference on Systems, 2006

Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net.
Proceedings of the 2006 IEEE International Conference on Automation Science and Engineering, 2006

2005
Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles.
IEEE Trans. Syst. Man Cybern. Part B, 2005

Readability of target refining schedule for oil refinery.
Proceedings of the IEEE International Conference on Systems, 2005

2004
Manufacturing process reengineering for mass customization by using flexibility analysis.
Proceedings of the IEEE International Conference on Systems, 2004

Hybrid Petri net modeling for refinery process.
Proceedings of the IEEE International Conference on Systems, 2004

2003
Resource selection for distributed manufacturing in agile manufacturing.
Proceedings of the IEEE International Conference on Systems, 2003

AGV routing for conflict resolution in AGV systems.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002
Deadlock Avoidance in Semiconductor Track Systems.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

2001
Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems.
IEEE Trans. Robotics Autom., 2001

Resource-Oriented Petri Nets in Deadlock Avoidance of AGV Systems.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

2000
Resource-Oriented Petri Nets for Deadlock Avoidance in Automated Manufacturing.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999
Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model.
IEEE Trans. Syst. Man Cybern. Part C, 1999

An approach to partner selection in agile manufacturing.
J. Intell. Manuf., 1999

1997
Avoiding deadlocks in automated manufacturing systems with shared material handling system.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

1991
An Approach to Hierarchical Planning and Scheduling for Flexible Manufacturing Cells.
Proceedings of the Information Technology for Advanced Manufacturing Systems, 1991


  Loading...