Naiqi Wu
#156,175
Most Influential Person Now
Naiqi Wu's AcademicInfluence.com Rankings
Naiqi Wucomputer-science Degrees
Computer Science
#8607
World Rank
#9048
Historical Rank
Database
#5602
World Rank
#5812
Historical Rank

Download Badge
Computer Science
Why Is Naiqi Wu Influential?
(Suggest an Edit or Addition)Naiqi Wu's Published Works
Number of citations in a given year to any of this author's works
Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author
Published Works
- Deadlock Control of Automated Manufacturing Systems Based on Petri Nets—A Literature Review (2012) (278)
- A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems (2008) (265)
- System Modeling and Control with Resource-Oriented Petri Nets (2009) (214)
- Avoiding deadlock and reducing starvation and blocking in automated manufacturing systems (2001) (209)
- Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems (2008) (208)
- Necessary and sufficient conditions for deadlock-free operation in flexible manufacturing systems using a colored Petri net model (1999) (200)
- A Petri Net Method for Schedulability and Scheduling Problems in Single-Arm Cluster Tools With Wafer Residency Time Constraints (2008) (196)
- Pareto-Optimization for Scheduling of Crude Oil Operations in Refinery via Genetic Algorithm (2017) (191)
- Modeling, Analysis and Control of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation Based on Petri Nets (2012) (183)
- Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation (2012) (178)
- Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting (2013) (167)
- Modeling and deadlock avoidance of automated manufacturing systems with multiple automated guided vehicles (2005) (161)
- A Closed-Form Solution for Schedulability and Optimal Scheduling of Dual-Arm Cluster Tools With Wafer Residency Time Constraint Based on Steady Schedule Analysis (2010) (150)
- Selection of partners in virtual enterprise paradigm (2005) (142)
- Petri Net-Based Scheduling of Single-Arm Cluster Tools With Reentrant Atomic Layer Deposition Processes (2011) (128)
- Optimal One-Wafer Cyclic Scheduling and Buffer Space Configuration for Single-Arm Multicluster Tools With Linear Topology (2016) (115)
- Short-term scheduling of crude oil operations in refinery with high-fusion-point oil and two transportation pipelines (2016) (112)
- Short-Term Scheduling of Crude-Oil Operations: Enhancement of Crude-Oil Operations Scheduling Using a Petri Net-Based Control-Theoretic Approach (2015) (109)
- Shortest Routing of Bidirectional Automated Guided Vehicles Avoiding Deadlock and Blocking (2007) (107)
- Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints (2017) (106)
- Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs (2017) (103)
- IoT-Enabled Real-Time Production Performance Analysis and Exception Diagnosis Model (2016) (101)
- Deadlock Resolution in Automated Manufacturing Systems With Robots (2007) (98)
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement (2017) (94)
- Deadlock recovery for flexible manufacturing systems modeled with Petri nets (2017) (94)
- Robust Deadlock Control for Automated Manufacturing Systems With Unreliable Resources Based on Petri Net Reachability Graphs (2019) (84)
- Analysis of Wafer Sojourn Time in Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation (2010) (82)
- SVM-DT-based adaptive and collaborative intrusion detection (2018) (81)
- Petri Net Modeling and Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Residency Time Constraints and Activity Time Variation (2012) (80)
- Real-Time Scheduling of Single-Arm Cluster Tools Subject to Residency Time Constraints and Bounded Activity Time Variation (2012) (78)
- Scheduling of Dual-Arm Cluster Tools With Wafer Revisiting and Residency Time Constraints (2014) (71)
- Polynomial approach to optimal one-wafer cyclic scheduling of treelike hybrid multi-cluster tools via Petri nets (2018) (70)
- Petri Net Modeling and Scheduling of a Close-Down Process for Time-Constrained Single-Arm Cluster Tools (2018) (69)
- A Petri Net-Based Novel Scheduling Approach and Its Cycle Time Analysis for Dual-Arm Cluster Tools With Wafer Revisiting (2013) (68)
- Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint (2009) (67)
- Model-based fault identification of discrete event systems using partially observed Petri nets (2018) (67)
- A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting (2013) (65)
- Multiagent and Bargaining-Game-Based Real-Time Scheduling for Internet of Things-Enabled Flexible Job Shop (2019) (65)
- Scheduling Cluster Tools in Semiconductor Manufacturing: Recent Advances and Challenges (2018) (64)
- Petri Net-Based Optimal One-Wafer Scheduling of Single-Arm Multi-Cluster Tools in Semiconductor Manufacturing (2013) (64)
- Colored timed Petri nets for modeling and analysis of cluser tools (2010) (61)
- An approach to partner selection in agile manufacturing (1999) (59)
- Fault Identification of Discrete Event Systems Modeled by Petri Nets With Unobservable Transitions (2019) (59)
- Resource-oriented Petri nets in deadlock avoidance of AGV systems (2001) (58)
- Energy efficiency optimization in scheduling crude oil operations of refinery based on linear programming (2017) (57)
- Group consensus via pinning control for a class of heterogeneous multi-agent systems with input constraints (2021) (57)
- Wafer Sojourn Time Fluctuation Analysis of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Variation (2018) (57)
- Scheduling of Single-Arm Multi-cluster Tools With Wafer Residency Time Constraints in Semiconductor Manufacturing (2015) (54)
- A Petri Net Approach to Fault Diagnosis and Restoration for Power Transmission Systems to Avoid the Output Interruption of Substations (2018) (53)
- A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery (2008) (51)
- Integration of Learning-Based Testing and Supervisory Control for Requirements Conformance of Black-Box Reactive Systems (2018) (50)
- Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net (2007) (50)
- Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model (2002) (50)
- Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes (2011) (50)
- Hybrid Petri Net Modeling and Schedulability Analysis of High Fusion Point Oil Transportation Under Tank Grouping Strategy for Crude Oil Operations in Refinery (2010) (49)
- A Cooperative Network Intrusion detection Based on Fuzzy SVMs (2010) (46)
- Process vs resource‐oriented Petri net modeling of automated manufacturing systems (2010) (46)
- A modified network approach for the design of cellular manufacturing systems (1993) (46)
- Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets (2007) (45)
- An Efficient Scheduling Method for Crude Oil Operations in Refinery With Crude Oil Type Mixing Requirements (2016) (45)
- Modeling and deadlock control of automated guided vehicle systems (2004) (45)
- Petri Net-Based Optimal One-Wafer Cyclic Scheduling of Hybrid Multi-Cluster Tools in Wafer Fabrication (2014) (44)
- One-Step Look-Ahead Maximally Permissive Deadlock Control of AMS by Using Petri Nets (2013) (43)
- Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints (2015) (42)
- Schedulability Analysis of Short-Term Scheduling for Crude Oil Operations in Refinery With Oil Residency Time and Charging-Tank-Switch-Overlap Constraints (2011) (41)
- Petri Net-Based Polynomially Complex Approach to Optimal One-Wafer Cyclic Scheduling of Hybrid Multi-Cluster Tools in Semiconductor Manufacturing (2014) (40)
- Deadlock modeling and control of semiconductor track systems using resource-oriented Petri nets (2007) (40)
- Heuristic for lane reservation problem in time constrained transportation (2009) (40)
- Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule (2015) (40)
- A novel method for deadlock prevention of AMS by using resource-oriented Petri nets (2016) (39)
- Short-Term Schedulability Analysis of Crude Oil Operations in Refinery With Oil Residency Time Constraint Using Petri Nets (2008) (39)
- Scheduling and Control of Startup Process for Single-Arm Cluster Tools With Residency Time Constraints (2017) (38)
- Optimal Scheduling of Complex Multi-Cluster Tools Based on Timed Resource-Oriented Petri Nets (2016) (38)
- Consensus Control of Leader-Following Multi-Agent Systems in Directed Topology With Heterogeneous Disturbances (2021) (38)
- On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets. (2019) (37)
- Improved Multi-Step Look-Ahead Control Policies for Automated Manufacturing Systems (2018) (37)
- Short-term scheduling of crude-oil operations (2015) (36)
- A Novel Algorithm for Wafer Sojourn Time Analysis of Single-Arm Cluster Tools With Wafer Residency Time Constraints and Activity Time Variation (2015) (34)
- Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems (2015) (33)
- A Novel Approach to Optimization of Refining Schedules for Crude Oil Operations in Refinery (2012) (33)
- How to Respond to Process Module Failure in Residency Time-Constrained Single-Arm Cluster Tools (2014) (33)
- A concurrent approach to cell formation and assignment of identical machines in group technology (1998) (32)
- Cycle time analysis of dual-arm cluster tools for wafer fabrication processes with multiple wafer revisiting times (2015) (29)
- Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems (2018) (29)
- Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance System (2011) (28)
- Multiple templates fabrication of hierarchical porous carbon for enhanced rate capability in potassium-ion batteries (2019) (27)
- Diagnosability of Vector Discrete-Event Systems Using Predicates (2019) (27)
- On Algebraic Identification of Critical States for Deadlock Control in Automated Manufacturing Systems Modeled With Petri Nets (2019) (25)
- Optimal One-Wafer Cyclic Scheduling of Single-Arm Multicluster Tools With Two-Space Buffering Modules (2014) (25)
- Structural Evolution upon Delithiation/Lithiation in Prelithiated Foil Anodes: A Case Study of AgLi Alloys with High Li Utilization and Marginal Volume Variation (2021) (25)
- A novel consensus learning approach to incomplete multi-view clustering (2021) (24)
- Tank cycling and scheduling analysis of high fusion point oil transportation for crude oil operations in refinery (2010) (23)
- Homomorphic Encryption of Supervisory Control Systems Using Automata (2020) (23)
- Avoiding deadlocks in automated manufacturing systems with shared material handling system (1997) (23)
- Performance Evaluation of Vehicular Platoons using Webots (2017) (23)
- AGV routing for conflict resolution in AGV systems (2003) (23)
- On Multiplexity-Aware Influence Spread in Social Networks (2020) (22)
- Optimal integrated schedule of entire process of dual-blade multi-cluster tools from start-up to close-down (2019) (22)
- Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources (2019) (21)
- Transformation of Business Process Model and Notation models onto Petri nets and their analysis (2018) (21)
- Robust Scheduling of Time-Constrained Dual-Arm Cluster Tools With Wafer Revisiting and Activity Time Disturbance (2019) (21)
- Optimal One-Wafer Cyclic Scheduling of Time-Constrained Hybrid Multicluster Tools via Petri Nets (2017) (20)
- Exploration of Nanoporous CuBi Binary Alloy for Potassium Storage (2020) (20)
- Petri net-based cycle time analysis of dual-arm cluster tools with wafer revisiting and swapping strategy (2011) (17)
- Reducing Wafer Delay Time by Robot Idle Time Regulation for Single-Arm Cluster Tools (2021) (17)
- IoT-based smart and complex systems: a guest editorial report (2018) (16)
- Optimal enforcement of liveness to flexible manufacturing systems modeled with Petri nets via transition-based controllers (2018) (16)
- Resource-oriented Petri nets for deadlock avoidance in automated manufacturing (2000) (16)
- Short-Term Traffic Flow Forecasting Using Ensemble Approach Based on Deep Belief Networks (2020) (16)
- Supervisory control of state-tree structures with partial observation (2018) (16)
- Deadlock avoidance in semiconductor track systems (2002) (15)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (2018) (15)
- Solving Biobjective Distributed Flow-Shop Scheduling Problems With Lot-Streaming Using an Improved Jaya Algorithm. (2022) (15)
- Data-driven approach to optimal control of ACC systems and layout design in large rooms with thermal comfort consideration by using PSO (2019) (15)
- Hybrid Petri net modeling for refinery process (2004) (14)
- Optimal One-Wafer Cyclic Scheduling of Hybrid Multirobot Cluster Tools With Tree Topology (2018) (14)
- Robust deadlock control for automated manufacturing systems based on elementary siphon theory (2020) (14)
- Many-objective optimization for scheduling of crude oil operations based on NSGA-Ⅲ with consideration of energy efficiency (2020) (13)
- A Petri net-based heuristic for mixed-model assembly line balancing problem of Type-E (2014) (13)
- Current-state opacity modelling and verification in partially observed Petri nets (2020) (13)
- Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools (2013) (13)
- Efficient Approach to Scheduling of Transient Processes for Time-Constrained Single-Arm Cluster Tools With Parallel Chambers (2020) (12)
- Heterogenous allocation of chips promotes fairness in the Ultimatum Game (2015) (12)
- Scheduling of single-arm multi-cluster tools to achieve the minimum cycle time (2013) (12)
- Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations (2008) (12)
- Deadlock analysis and control using Petri net decomposition techniques (2019) (12)
- Flexibility to Manufacturing Process Reengineering for Mass Customization (2005) (12)
- Modeling and Optimal Cyclic Scheduling of Time-Constrained Single-Robot-Arm Cluster Tools via Petri Nets and Linear Programming (2020) (12)
- Grouping the activities in virtual enterprise paradigm (2002) (12)
- An efficient heuristic for the design of cellular manufacturing systems with multiple identical machines (1999) (12)
- A scientometric review of research on traffic forecasting in transportation (2020) (12)
- Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net (2006) (12)
- An approximate algorithm for the Lane Reservation Problem in Time Constrained Transportation (2010) (12)
- Fault Diagnosis in Partially Observed Petri Nets Using Redundancies (2018) (12)
- A Novel Approach to Trojan Horse Detection by Process Tracing (2006) (11)
- Scheduling Transient Processes for Time-Constrained Single-Arm Robotic Multi-Cluster Tools (2017) (10)
- Anomaly detection via a combination model in time series data (2021) (10)
- On optimization of thermal sensation satisfaction rate and energy efficiency of public rooms: A case study (2018) (10)
- On Petri Net Modeling of Automated Manufacturing Systems (2007) (10)
- A Minimal Supervisory Structure to Optimally Enforce Liveness on Petri Net Models for Flexible Manufacturing Systems (2017) (10)
- Deadlock and liveness characterization for a class of generalized Petri nets (2017) (10)
- 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 (2021) (10)
- A Novel Solution Approach to a Priority-Slot-Based Continuous-Time Mixed Integer Nonlinear Programming Formulation for a Crude-Oil Scheduling Problem (2016) (10)
- Assessment of Energy-Saving Practices of the Hospitality Industry in Macau (2018) (10)
- Solving Last-Mile Logistics Problem in Spatiotemporal Crowdsourcing via Role Awareness With Adaptive Clustering (2021) (10)
- Two-step approach to robust deadlock control in automated manufacturing systems with multiple resource failures (2018) (9)
- Resource selection for distributed manufacturing in agile manufacturing (2003) (9)
- Improved Meta-Heuristics for Solving Distributed Lot-Streaming Permutation Flow Shop Scheduling Problems (2023) (9)
- Multiobjective Scheduling of Dual-Blade Robotic Cells in Wafer Fabrication (2020) (9)
- Efficient Allocation Strategy of Energy Storage Systems in Power Grids Considering Contingencies (2019) (9)
- A Method for Construction of Software Protection Technology Application Sequence Based on Petri Net With Inhibitor Arcs (2018) (9)
- Modeling and Schedulability Analysis of Single-Arm Cluster Tools with Wafer Residency Time Constraints Using Petri Net (2008) (9)
- An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri Nets (2020) (9)
- One-Step Control-Ahead Approach for the Design of an Optimal Petri-Net Based Deadlock Prevention Policy (2018) (9)
- Post-processing time-aware optimal scheduling of single robotic cluster tools (2020) (9)
- Supervisory control of discrete-event systems under external attacks (2021) (8)
- Automatic supervisory control for the self‐healing of smart grids based on colored Petri nets (2018) (8)
- Hierarchical Colored Petri Nets for Modeling and Analysis of Transit Signal Priority Control Systems (2018) (8)
- Efficient Approach to Failure Response of Process Module in Dual-Arm Cluster Tools With Wafer Residency Time Constraints (2019) (8)
- Efficient Approach to Cyclic Scheduling of Single-Arm Cluster Tools With Chamber Cleaning Operations and Wafer Residency Time Constraint (2018) (8)
- Wafer Residency Time Analysis for Time-Constrained Single-Robot-Arm Cluster Tools With Activity Time Variation (2020) (8)
- Liveness of Disjunctive and Strict Single-Type Automated Manufacturing System: An ROPN Approach (2019) (7)
- An Efficient Method of Deadlock Detection and Recovery for Flexible Manufacturing Systems by Resource Flow Graphs (2021) (7)
- Optimal Petri net supervisor synthesis for forbidden state problems using marking mask (2019) (7)
- Resource Configuration Analysis for a Class of Petri Nets Based on Strongly Connected Characteristic Resource Subnets (2017) (7)
- Resource-Oriented Petri Net-Based Approach to Deadlock Prevention of AMSs (2015) (6)
- Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting (2011) (6)
- Closing-Down Optimization for Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints (2020) (6)
- A Deadlock Prevention Policy for Flexible Manufacturing Systems Modeled With Petri Nets Using Structural Analysis (2019) (6)
- Optimal Petri Net Supervisors of Discrete Event Systems via Weighted and Data Inhibitor Arcs (2018) (6)
- On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach (2018) (6)
- A genetic algorithm approach to short‐term scheduling of crude oil operations in refinery (2016) (6)
- Wafer Reflectance Prediction for Complex Etching Process Based on K-Means Clustering and Neural Network (2021) (6)
- Online Fault Diagnosis of Discrete Event Systems Modeled With Labeled Petri Nets Using an Overall Fault Status (2018) (5)
- Optimal one-wafer cyclic scheduling analysis of hybrid multi-cluster tools with one-space buffering module (2014) (5)
- Introduction to Petri Net Modeling (2009) (5)
- Real-time control policy for single-arm cluster tools with residency time constraints and activity time variation by using Petri net (2012) (5)
- Short-term schedulability analysis of crude oil operations in refinery with hybrid Petri net (2008) (5)
- Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons (2019) (5)
- Cooperative Intrusion Detection Model Based on State Transition Analysis (2008) (5)
- Modeling and scheduling of cluster tools dealing with wafer revisiting: A brief review (2015) (5)
- Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (2010) (5)
- A Resource-Oriented Petri Net Approach to Scheduling and Control of Time-Constrained Cluster Tools in Semiconductor Fabrication (2013) (5)
- Short-Term Scheduling of Vehicle Testing System Using Object Petri Net (2018) (5)
- Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (2014) (5)
- A Comparative Study on Contract Recommendation Model: Using Macao Mobile Phone Datasets (2020) (4)
- Fault-Recovery and Repair Modeling of Discrete Event Systems Using Petri Nets (2020) (4)
- Total completion time minimization for scheduling of two-machine flow shop with deterioration jobs and setup time (2017) (4)
- On Hierarchical Construction of the State Space of an Automated Manufacturing System Modeled With Petri Nets (2020) (4)
- Scheduling of Crude Oil Operations in Refinery without Sufficient Charging Tanks Using Petri Nets (2017) (4)
- Issues on Short-Term Scheduling of Oil Refinery (2006) (4)
- Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors. (2019) (4)
- Confusion avoidance for discrete event systems by P/E constraints and supervisory control (2016) (4)
- Resource-Oriented Petri Net for Deadlock Resolution in Automated Manufacturing Systems with Robots (2006) (3)
- An Efficient Binary Integer Programming Model for Residency Time-Constrained Cluster Tools With Chamber Cleaning Requirements (2022) (3)
- Passenger-oriented traffic management integrating perimeter control and regional bus service frequency setting using 3D-pMFD (2022) (3)
- Modeling and Control for Deadlock-Free Operation of Single-Arm Cluster Tools With Concurrently Processing Multiple Wafer Types via Petri Net (2021) (3)
- Petri net-based scheduling analysis of dual-arm cluster tools subject to wafer revisiting and residency time constraints (2013) (3)
- Constrained multi-objective optimization of short-term crude oil scheduling with dual pipelines and charging tank maintenance requirement (2021) (3)
- Modeling and scheduling of crude oil operations in refinery: A hybrid timed petri net approach (2013) (3)
- Petri Net-Based Efficient Determination of Optimal Schedules for Transport-Dominant Single-Arm Multi-Cluster Tools (2018) (3)
- Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints (2020) (3)
- Scheduling of time constrained dual-arm cluster tools with wafer revisiting (2013) (3)
- Meta-heuristic and MILP for Solving Urban Traffic Signal Control (2019) (3)
- Petri net-based scheduling of time constrained single-arm cluster tools with wafer revisiting (2016) (3)
- Schedulability analysis of short-term schedule for crude oil operations using Petri nets (2007) (3)
- Route Choice Behavior Modeling for Emergency Evacuation and Efficiency Analysis Based on Type-II Fuzzy Theory (2022) (3)
- Confusion diagnosis and avoidance of discrete event systems using supervisory control (2016) (3)
- Manufacturing process reengineering for mass customization by using flexibility analysis (2004) (2)
- Propagation Dynamics of a Periodic Epidemic Model on Weighted Interconnected Networks (2020) (2)
- Real-Time Scheduling and Control of Single-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation by Using Resource-Oriented Petri Nets (2019) (2)
- Adaptive genetic algorithm for two-stage hybrid flow-shop scheduling with sequence-independent setup time and no-interruption requirement (2022) (2)
- Special Issue on Modeling, Simulation, Operation and Control of Discrete Event Systems (2018) (2)
- Symbolic Verification of Current-State Opacity of Discrete Event Systems Using Petri Nets (2022) (2)
- Optimal scheduling of single-arm multi-cluster tools with two-space buffering modules (2014) (2)
- A New MINLP Continuous Time Formulation for Scheduling Optimization of Oil Refinery with Unreliable CDUs (2022) (2)
- A Petri Net-Based Heuristic Algorithm for Short-Term Vehicle Scheduling in a Vehicle Inspection System (2019) (2)
- Optimal scheduling of time-constrained single-arm cluster tools with wafer revisiting (2016) (2)
- Error- and Tamper-Tolerant Decentralized Diagnosability of Discrete Event Systems under Cost Constraints* (2021) (2)
- Petri net-based real-time scheduling of time-constrained single-arm cluster tools with activity time variation (2012) (2)
- Equivalent Transformation of Nonlinear Constraints to Linear Constraints in Petri Nets (2015) (2)
- Scheduling of Single-Arm Cluster Tools with Residency Time Constraints and Chamber Cleaning Operations (2021) (2)
- Modeling and Deadlock Control of Reconfigurable Multi-Unit Resource Systems (2020) (2)
- A novel scheduling approach to dual-arm cluster tools with wafer revisiting (2012) (2)
- On Optimal Supervisor Design for Discrete-Event Systems Modeled With Petri Nets via Constraint Simplification (2022) (2)
- Scheduling Close-Down Processes Subject to Wafer Residency Constraints for Single-Arm Cluster Tools (2015) (1)
- State Space Characterization of Disjunctive Single-Unit Resource Allocation Systems (2018) (1)
- Tamper-Tolerant Diagnosability Under Bounded or Unbounded Attacks (2022) (1)
- Urban Traffic Light Control Considering Capacity Difference between Public Bus and Private Vehicles (2021) (1)
- Process-Oriented Petri Net Modeling (2018) (1)
- Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations (2010) (1)
- Finite-time group consensus via pinning control for heterogeneous multi-agent systems with disturbances by integral sliding mode (2022) (1)
- Avoiding Deadlock and Reducing Starvation and Blocking (2009) (1)
- Confusion Control in Generalized Petri Nets Using Synchronized Events (2015) (1)
- Linear programming-based approach to scheduling of crude oil operations in refinery with oil type mixing requirement (2014) (1)
- A Novel Control-Theory-Based Approach to Scheduling of High-Throughput Screening System for Enzymatic Assay (2022) (1)
- Interaction behavior modeling of advanced driving assistance systems by using Petri net (2011) (1)
- Optimal one-wafer cyclic scheduling analysis of transport-dominant single-arm multi-cluster tools (2016) (1)
- Minimization of Product Transportation and Temporary Storage Costs for Home Appliances Manufacturing Factories (2021) (1)
- Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets (2020) (1)
- Fault diagnosis in DESs modeled by partially observed Petri nets (2016) (1)
- Petri net-based deadlock avoidance for single-arm cluster tools with concurrently processing two-type wafers (2018) (1)
- Efficient and optimal scheduling of time-constrained hybrid multi-cluster tools in semiconductor industry (2016) (1)
- Optimal scheduling of electric vehicle charging operations considering real-time traffic condition and travel distance (2022) (1)
- A three-stage method to find refining schedules of crude oil operations in refinery (2011) (1)
- The Problem of Reserved-lane for Hazardous Chemicals Transportation and Heuristic Algorithm (2015) (1)
- Robust Diagnosability Analysis of Discrete Event Systems Using Labeled Petri Nets (2021) (1)
- On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places (2016) (1)
- Fault Diagnosis of Backward Conflict-Free Petri Nets by Generalized Markings (2020) (1)
- A PETRI NET-BASED DEADLOCK CONTROL POLICY FOR FLEXIBLE ASSEMBLY SYSTEMS (2005) (1)
- A Virtual Wafer-based Scheduling Method for Dual-arm Cluster Tools with Chamber Cleaning Requirements (2021) (1)
- Scheduling crude oil operations in refineries with genetic algorithm (2016) (1)
- Control-theoretic and model-based scheduling of crude oil transportation for refinery industry (2014) (1)
- Game current-state opacity formulation in probabilistic resource automata (2022) (1)
- Design and implementation of a DIDS (2010) (1)
- Wafer sojourn time fluctuation analysis for time-constrained dual-arm multi-cluster tools with activity time variation (2020) (1)
- An Adaptive Method for Flexible Configurations of Single-Arm Cluster Tools: Modeling and Scheduling (2022) (0)
- Secret inference and attacktability analysis of discrete event systems (2022) (0)
- Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets (2022) (0)
- Efficient Approach to Scheduling of High Throughput Screening Systems: A Case Study* (2022) (0)
- An AI-based Multi-objective Optimization Approach for Monitoring Manufacturing Processes (2021) (0)
- Resource-Oriented Petri Net Modeling (2018) (0)
- Tractability of deadlock avoidance problem in automated manufacturing systems modeled with Petri Net (2008) (0)
- Bi-modal Traffic Management Integrating Perimeter Control and Regional Bus Service Frequency Setting (2020) (0)
- Development of Fault Detection Systems Based on Big Data Ecosystem in Semiconductor Manufacturing: The Hadoop Ecosystem Implementation (2023) (0)
- Verification of Current-state Opacity for Discrete Event Systems Modeled With Unbounded Petri Nets (2022) (0)
- Optimization of Inventory Space in Smart Factory for Integrated Periodic Production and Delivery Scheduling (2022) (0)
- Response policy for failure of parallel module in single-arm time constrained cluster tools (2010) (0)
- Optimizing close-down processes of single-robot cluster tools via linear programing (2016) (0)
- Efficiency Optimization in Scheduling Crude Oil Operations of Refinery Based on Linear Programming (2018) (0)
- Buffer space configuration and scheduling analysis of single-arm multi-cluster tools (2016) (0)
- Modeling and optimization for short-term scheduling of crude oil operations in refinery (2015) (0)
- Colored Petri Net (2009) (0)
- Online verification of K-step opacity by Petri nets in centralized and decentralized structures (2022) (0)
- Scheduling and control of start-up process for time-constrained single-arm cluster tools with parallel chambers (2018) (0)
- Liveness Enforcement for Time Petri Nets (2022) (0)
- Control of Semiconductor Manufacturing Systems ��������������������������������������� (2018) (0)
- Scheduling of crude oil operations in refineries with least tank requirement (2017) (0)
- Robot Waiting Time Analysis and Its Impact on Wafer Delay Time of Single-Arm Cluster Tools (2020) (0)
- Closed-form solution for cycle time of revisiting processes in single-arm cluster tool scheduling with atomic layer deposition (2011) (0)
- 2005 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL (2005) (0)
- Optimization on ACC Systems and Layout Design for Maximizing Thermal Comfort and Energy Saving in Large Rooms - A Case Study (2019) (0)
- Wafer Sojourn Time Fluctuation Caused by Activity Time Variation in DualArm Cluster Tools (2009) (0)
- Decision on Maximal Permissiveness of Linear Constraints via Structural Analysis of a Subclass of Petri Nets (2019) (0)
- Modeling and analysis of traffic warning message dissemination system in VANETs (2022) (0)
- Control of Flexible and Reconfigurable Manufacturing Systems (2009) (0)
- Control of FMS with Multiple AGVs (2009) (0)
- Simulation modeling and visualization of start-up transient processes of dual-arm cluster tools with wafer revisiting (2014) (0)
- Modeling and Control of Assembly/ Disassembly Systems (2018) (0)
- Current-state opacity verification in discrete event systems using an observer net (2022) (0)
- A novel approach to scheduling of single-arm cluster tools with wafer revisiting (2009) (0)
- An effective scheduling method to single-arm cluster tools for processing multiple wafer types (2022) (0)
- Readability of target refining schedule for oil refinery (2005) (0)
- Control of FMS with Multiple Robots (2018) (0)
- Optimally Scheduling Dual-Arm Multi-Cluster Tools to Process Two Wafer Types (2022) (0)
- A Two-Step Approach to Scheduling a Class of Two-Stage Flow Shops in Automotive Glass Manufacturing (2023) (0)
- Modeling, scheduling, and control in advanced production systems (2018) (0)
- Aalborg Universitet Transformation of Business Process Model and Notation models onto Petri nets and their analysis (2018) (0)
- Close-down process scheduling of wafer residence time-constrained multi-cluster tools (2017) (0)
- An Efficient Scheduling Method for Single-Arm Cluster Tools With Multifunctional Process Modules (2022) (0)
- A novel solution approach to scheduling of crude-oil operations based on an improved continuous-time formulation (2017) (0)
- Scheduling of crude oil operations for minimizing the usage of simultaneously-charging-and-feeding mode (2018) (0)
- Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled petri net (2023) (0)
- Issues onShort-Term Scheduling ofOilRefinery (2006) (0)
- An Approach to Hierarchical Planning and Scheduling for Flexible Manufacturing Cells (1991) (0)
- 2019 IEEE Robotics and Automation Technical Field Award Recipients [Society News] (2019) (0)
- Optimal scheduling analysis of treelike hybrid multi-cluster tools (2016) (0)
- Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting (2012) (0)
- A novel failure response policy for single-arm cluster tools with residency time constraints (2014) (0)
- Control and Routing of Automated Guided Vehicle Systems (2009) (0)
- Process- vs. Resource- Oriented Petri Nets (2009) (0)
- Petri net-based response policies to process module failure in time-constrained single-arm cluster tools (2014) (0)
- A Partitioning Algorithm for Bi-modal Road Networks (2021) (0)
- Petri Nets: Basic Concept (2018) (0)
- Maximally Permissive Supervisor Synthesis Using Reachability and Structural Analysis of Petri Nets (2019) (0)
- State-Based Differential Privacy Verification and Enforcement for Probabilistic Automata (2023) (0)
- Inventory Space Minimization in Smart Factory by a Designed Grey Wolf Optimizer (2022) (0)
- Urban Road Network Partitioning Based on Bi-Modal Traffic Flows With Multiobjective Optimization (2022) (0)
- Cyclic Scheduling Analysis of Single-arm Cluster Tools with Wafer Residency Time Constraint and Chamber Cleaning Operations (2018) (0)
- Synthesis of Liveness-Enforcing Petri Net Supervisors Based on a Think-Globally-Act-\Łocally Approach and a Structurally Minimal Method for Flexible Manufacturing Systems (2022) (0)
This paper list is powered by the following services:
What Schools Are Affiliated With Naiqi Wu?
Naiqi Wu is affiliated with the following schools: