MengChu Zhou

According to our database1, MengChu Zhou authored at least 631 papers between 1989 and 2019.

Collaborative distances:

Awards

IEEE Fellow

IEEE Fellow 2003, "For contributions to Petri nets and their applications.".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Dendritic Neuron Model With Effective Learning Algorithms for Classification, Approximation, and Prediction.
IEEE Trans. Neural Netw. Learning Syst., 2019

An Integrated Multi-Criteria Decision Making Approach to Location Planning of Electric Vehicle Charging Stations.
IEEE Trans. Intelligent Transportation Systems, 2019

Integrated Production Inventory Routing Planning for Intelligent Food Logistics Systems.
IEEE Trans. Intelligent Transportation Systems, 2019

Extracting Significant Mobile Phone Interaction Patterns Based on Community Structures.
IEEE Trans. Intelligent Transportation Systems, 2019

Modeling and Planning for Dual-Objective Selective Disassembly Using and/or Graph and Discrete Artificial Bee Colony.
IEEE Trans. Industrial Informatics, 2019

Dual-Environmental Particle Swarm Optimizer in Noisy and Noise-Free Environments.
IEEE Trans. Cybernetics, 2019

Flexible Job-Shop Rescheduling for New Job Insertion by Using Discrete Jaya Algorithm.
IEEE Trans. Cybernetics, 2019

Multiperiod Asset Allocation Considering Dynamic Loss Aversion Behavior of Investors.
IEEE Trans. Comput. Social Systems, 2019

Clustering-Algorithm-Based Rare-Event Evolution Analysis via Social Media Data.
IEEE Trans. Comput. Social Systems, 2019

A Three-Stage Approach to a Multirow Parallel Machine Layout Problem.
IEEE Trans. Automation Science and Engineering, 2019

Energy-Optimal Collision-Free Motion Planning for Multiaxis Motion Systems: An Alternating Quadratic Programming Approach.
IEEE Trans. Automation Science and Engineering, 2019

Spatial Task Scheduling for Cost Minimization in Distributed Green Cloud Data Centers.
IEEE Trans. Automation Science and Engineering, 2019

TL-GDBN: Growing Deep Belief Network With Transfer Learning.
IEEE Trans. Automation Science and Engineering, 2019

Modified Dynamic Programming Algorithm for Optimization of Total Energy Consumption in Flexible Manufacturing Systems.
IEEE Trans. Automation Science and Engineering, 2019

Mobile Phone Data Analysis: A Spatial Exploration Toward Hotspot Detection.
IEEE Trans. Automation Science and Engineering, 2019

Scheduling Semiconductor Testing Facility by Using Cuckoo Search Algorithm With Reinforcement Learning and Surrogate Modeling.
IEEE Trans. Automation Science and Engineering, 2019

Optimal Deployment of Energy-Harvesting Directional Sensor Networks for Target Coverage.
IEEE Systems Journal, 2019

Effects of Extended Stochastic Gradient Descent Algorithms on Improving Latent Factor-Based Recommender Systems.
IEEE Robotics and Automation Letters, 2019

An Efficient Cooperative Medium Access Control Protocol for Wireless IoT networks in Smart World System.
J. Network and Computer Applications, 2019

Robust deadlock control of automated manufacturing systems with multiple unreliable resources.
Inf. Sci., 2019

System architecture of a train sensor network for automatic train safety monitoring.
Computers & Industrial Engineering, 2019

A Spammer Identification Method for Class Imbalanced Weibo Datasets.
IEEE Access, 2019

Forecasting Emergency Calls With a Poisson Neural Network-Based Assemble Model.
IEEE Access, 2019

2018
Reducing the Impact of Handovers in Ground-to-Train Free Space Optical Communications.
IEEE Trans. Vehicular Technology, 2018

Reducing the Number of FSO Base Stations With Dual Transceivers for Next-Generation Ground-to-Train Communications.
IEEE Trans. Vehicular Technology, 2018

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

A Novel Method on Information Recommendation via Hybrid Similarity.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Analyzing E-Commerce Business Process Nets via Incidence Matrix and Reduction.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

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

Optimal One-Wafer Cyclic Scheduling of Hybrid Multirobot Cluster Tools With Tree Topology.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

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

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

Population-Based Incremental Learning Algorithm for a Serial Colored Traveling Salesman Problem.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Lean Reachability Tree for Unbounded Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Speedup Techniques for Multiobjective Integer Programs in Designing Optimal and Structurally Simple Supervisors of AMS.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Agent-Oriented Cooperative Smart Objects: From IoT System Design to Implementation.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2018

Online Failure Prediction for Railway Transportation Systems Based on Fuzzy Rules and Data Analysis.
IEEE Trans. Reliability, 2018

Frame-Based Variational Bayesian Learning for Independent or Dependent Source Separation.
IEEE Trans. Neural Netw. Learning Syst., 2018

Modified Primal-Dual Neural Networks for Motion Control of Redundant Manipulators With Dynamic Rejection of Harmonic Noises.
IEEE Trans. Neural Netw. Learning Syst., 2018

A Distance-Based Weighted Undersampling Scheme for Support Vector Machines and its Application to Imbalanced Classification.
IEEE Trans. Neural Netw. Learning Syst., 2018

Robust Neuro-Optimal Control of Underactuated Snake Robots With Experience Replay.
IEEE Trans. Neural Netw. Learning Syst., 2018

Bi-Objective Scheduling of Fire Engines for Fighting Forest Fires: New Optimization Approaches.
IEEE Trans. Intelligent Transportation Systems, 2018

A Two-level Traffic Light Control Strategy for Preventing Incident-Based Urban Traffic Congestion.
IEEE Trans. Intelligent Transportation Systems, 2018

Determining the Optimal Location of Terror Response Facilities Under the Risk of Disruption.
IEEE Trans. Intelligent Transportation Systems, 2018

MPTR: A Maximal-Marginal-Relevance-Based Personalized Trip Recommendation Method.
IEEE Trans. Intelligent Transportation Systems, 2018

Optimal Positioning of Ground Base Stations in Free-Space Optical Communications for High-Speed Trains.
IEEE Trans. Intelligent Transportation Systems, 2018

An Inherently Nonnegative Latent Factor Model for High-Dimensional and Sparse Matrices from Industrial Applications.
IEEE Trans. Industrial Informatics, 2018

A Domain Partition-Based Trust Model for Unreliable Clouds.
IEEE Trans. Information Forensics and Security, 2018

Modeling Self-Adaptive Software Systems by Fuzzy Rules and Petri Nets.
IEEE Trans. Fuzzy Systems, 2018

Fast Variable Structure Stochastic Automaton for Discovering and Tracking Spatiotemporal Event Patterns.
IEEE Trans. Cybernetics, 2018

Incorporation of Efficient Second-Order Solvers Into Latent Factor Models for Accurate Prediction of Missing QoS Data.
IEEE Trans. Cybernetics, 2018

An Adaptive Online Co-Search Method With Distributed Samples for Dynamic Target Tracking.
IEEE Trans. Contr. Sys. Techn., 2018

An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets.
IEEE Trans. Contr. Sys. Techn., 2018

Time-Soundness of Time Petri Nets Modelling Time-Critical Systems.
TCPS, 2018

Incorporation of Solvent Effect into Multi-Objective Evolutionary Algorithm for Improved Protein Structure Prediction.
IEEE/ACM Trans. Comput. Biology Bioinform., 2018

Dynamic Cloud Task Scheduling Based on a Two-Stage Strategy.
IEEE Trans. Automation Science and Engineering, 2018

Time-Aware Multi-Application Task Scheduling With Guaranteed Delay Constraints in Green Data Center.
IEEE Trans. Automation Science and Engineering, 2018

VCG Auction-Based Dynamic Pricing for Multigranularity Service Composition.
IEEE Trans. Automation Science and Engineering, 2018

Disassembly Sequence Planning Considering Fuzzy Component Quality and Varying Operational Cost.
IEEE Trans. Automation Science and Engineering, 2018

Scheduling Cluster Tools in Semiconductor Manufacturing: Recent Advances and Challenges.
IEEE Trans. Automation Science and Engineering, 2018

Guest Editorial Special Issue on Advancing Intelligent Automation in Sharing Economy.
IEEE Trans. Automation Science and Engineering, 2018

Dual-Objective Program and Scatter Search for the Optimization of Disassembly Sequences Subject to Multiresource Constraints.
IEEE Trans. Automation Science and Engineering, 2018

An Improved Model for Parallel Machine Scheduling Under Time-of-Use Electricity Price.
IEEE Trans. Automation Science and Engineering, 2018

A Distributed Dynamic Programming-Based Solution for Load Management in Smart Grids.
IEEE Systems Journal, 2018

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

A Privacy-Preserving Message Forwarding Framework for Opportunistic Cloud of Things.
IEEE Internet of Things Journal, 2018

A Cooperative Quality-Aware Service Access System for Social Internet of Vehicles.
IEEE Internet of Things Journal, 2018

Sociability-based Influence Diffusion Probability Model to evaluate influence of BBS post.
Neurocomputing, 2018

Security and trust issues in Fog computing: A survey.
Future Generation Comp. Syst., 2018

Objectives and State-of-the-Art of Location-Based Social Network Recommender Systems.
ACM Comput. Surv., 2018

A Survey on Acquisition, Tracking, and Pointing Mechanisms for Mobile Free-Space Optical Communications.
IEEE Communications Surveys and Tutorials, 2018

Emotion-Aware Cognitive System in Multi-Channel Cognitive Radio Ad Hoc Networks.
IEEE Communications Magazine, 2018

New reachability trees for analyzing unbounded Petri nets with semilinear reachability sets.
SCIENCE CHINA Information Sciences, 2018

Deadlock characterization and control of flexible assembly systems with Petri nets.
Automatica, 2018

An Improved Binary Cuckoo Search Algorithm for Solving Unit Commitment Problems: Methodological Description.
IEEE Access, 2018

WARM: Workload-Aware Multi-Application Task Scheduling for Revenue Maximization in SDN-Based Cloud Data Center.
IEEE Access, 2018

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

Multi-Objective Optimization for Location Prediction of Mobile Devices in Sensor-Based Applications.
IEEE Access, 2018

Fluctuation-Aware and Predictive Workflow Scheduling in Cost-Effective Infrastructure-as-a-Service Clouds.
IEEE Access, 2018

Opposition-Based Hybrid Strategy for Particle Swarm Optimization in Noisy Environments.
IEEE Access, 2018

Random Energy-Efficient Models for Sustainable Facility Location Subject to Carbon Emission, Economical, Capacitated and Regional Constraints.
IEEE Access, 2018

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

Mobile Cyber Physical Systems: Current Challenges and Future Networking Applications.
IEEE Access, 2018

A Package Reduction Approach To Modeling and Analysis of Cross-Organization Emergency Response Processes With Privacy Protected.
IEEE Access, 2018

Private information retrieval in vehicular location-based services.
Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

Opportunistic cyberphysical services: A novel paradigm for the future Internet of Things.
Proceedings of the 4th IEEE World Forum on Internet of Things, 2018

Adaptively Adjusting Dynamic Detection Cycle for Fault Detection in Clouds.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

An ABC-Based Subway Timetable Optimization Model for Regenerative Energy Utilization.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Stochastic Disassembly Sequence Optimization for Profit and Energy Consumption.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

An Adaptive Pre-clustering Support Vector Machine for Binary Imbalanced Classification.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Geographical Scheduling of Multi-application Tasks for Cost Minimization in Distributed Green Data Centers.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

An opposition-based particle swarm optimization algorithm for noisy environments.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

A visual domain adaptation method based on enhanced subspace distribution matching.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Analysis of urban traffic jam formation based on extended cell transmission model.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Weighted Gini index feature selection method for imbalanced data.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Weight determination in multi-feature fusion for pedestrian re-identification.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Retention analysis based on a logistic regression model: A case study.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Spatio-temporal analysis of mobile phone data for interaction recognition.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Hybrid task prediction based on wavelet decomposition and ARIMA model in cloud data center.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Scheduling of FMS based on binary decision diagram and Petri net.
Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

Learning Automata-Based Particle Swarm Optimizer.
Proceedings of the 2018 IEEE Congress on Evolutionary Computation, 2018

Multiobjective Optimization Approaches to Airline Crew Rostering Problems: A Case Study.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Multi-user Multi-provider Resource Allocation in Cloud Computing.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

A Multiscale Concept Drift Detection Method for Learning from Data Streams.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Unconstrained Non-negative Factorization of High-dimensional and Sparse Matrices in Recommender Systems.
Proceedings of the 14th IEEE International Conference on Automation Science and Engineering, 2018

Temporal Task Scheduling for Delay-Constrained Applications in Geo-Distributed Cloud Data Centers.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017
On Divergence-Angle Efficiency of a Laser Beam in Free-Space Optical Communications for High-Speed Trains.
IEEE Trans. Vehicular Technology, 2017

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

Optimal One-Wafer Cyclic Scheduling of Time-Constrained Hybrid Multicluster Tools via Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Liveness Analysis of ω-Independent Petri Nets Based on New Modified Reachability Trees.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

A Two-Stage Approach to Path Planning and Collision Avoidance of Multibridge Machining Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

An Affection-Based Dynamic Leader Selection Model for Formation Control in Multirobot Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

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

A Supervised Learning and Control Method to Improve Particle Swarm Optimization Algorithms.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Fully Expanded Tree for Property Analysis of One-Place-Unbounded Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Mobility-Aware Service Composition in Mobile Communities.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

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

Bilevel Feature Extraction-Based Text Mining for Fault Diagnosis of Railway Systems.
IEEE Trans. Intelligent Transportation Systems, 2017

Improved Rule Installation for Real-Time Query Service in Software-Defined Internet of Vehicles.
IEEE Trans. Intelligent Transportation Systems, 2017

Impact of Driving Behavior on Traffic Delay at a Congested Signalized Intersection.
IEEE Trans. Intelligent Transportation Systems, 2017

Code-Aided Channel Tracking and Decoding Over Sparse Fast-Fading Multipath Channels With an Application to Train Backbone Networks.
IEEE Trans. Intelligent Transportation Systems, 2017

Optimal Load Scheduling of Plug-In Hybrid Electric Vehicles via Weight-Aggregation Multi-Objective Evolutionary Algorithms.
IEEE Trans. Intelligent Transportation Systems, 2017

Petri Net Models and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing.
ACM Trans. Embedded Comput. Syst., 2017

Symmetrical Hierarchical Stochastic Searching on the Line in Informative and Deceptive Environments.
IEEE Trans. Cybernetics, 2017

TTSA: An Effective Scheduling Approach for Delay Bounded Tasks in Hybrid Clouds.
IEEE Trans. Cybernetics, 2017

Highly Efficient Framework for Predicting Interactions Between Proteins.
IEEE Trans. Cybernetics, 2017

A Noise-Filtered Under-Sampling Scheme for Imbalanced Classification.
IEEE Trans. Cybernetics, 2017

A Recommendation System to Facilitate Business Process Modeling.
IEEE Trans. Cybernetics, 2017

Approximate Simulation Budget Allocation for Subset Ranking.
IEEE Trans. Contr. Sys. Techn., 2017

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

Sensitivity Analysis for Building Energy Simulation Model Calibration via Algorithmic Differentiation.
IEEE Trans. Automation Science and Engineering, 2017

Application-Aware Dynamic Fine-Grained Resource Provisioning in a Virtualized Cloud Data Center.
IEEE Trans. Automation Science and Engineering, 2017

Approximately Optimal Computing Budget Allocation for Selection of the Best and Worst Designs.
IEEE Trans. Automat. Contr., 2017

A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR.
IEEE Trans. Automat. Contr., 2017

Petri-Net Controller Synthesis for Partially Controllable and Observable Discrete Event Systems.
IEEE Trans. Automat. Contr., 2017

Distributed Winner-Take-All in Dynamic Networks.
IEEE Trans. Automat. Contr., 2017

Two-layer hybrid peer-to-peer networks.
Peer-to-Peer Networking and Applications, 2017

Provisioning Internet Access Using FSO in High-Speed Rail Networks.
IEEE Network, 2017

Computation of strict minimal siphons in a class of Petri nets based on problem decomposition.
Inf. Sci., 2017

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

A Web service substitution method based on service cluster nets.
Enterprise IS, 2017

Percentile Performance Estimation of Unreliable IaaS Clouds and Their Cost-Optimal Capacity Decision.
IEEE Access, 2017

Extended Logical Petri Nets-Based Modeling and Analysis of Business Processes.
IEEE Access, 2017

Enforcing Differential Privacy for Shared Collaborative Filtering.
IEEE Access, 2017

Accurate Identification of Ontology Alignments at Different Granularity Levels.
IEEE Access, 2017

Decision tree rule-based feature selection for large-scale imbalanced data.
Proceedings of the 26th Wireless and Optical Communication Conference, 2017

Differential evolution algorithms under multi-population strategy.
Proceedings of the 26th Wireless and Optical Communication Conference, 2017

Modeling Opportunistic IoT Services in Open IoT Ecosystems.
Proceedings of the 18th Workshop "From Objects to Agents", 2017

From Resampling to Non-resampling: A Fireworks Algorithm-Based Framework for Solving Noisy Optimization Problems.
Proceedings of the Advances in Swarm Intelligence - 8th International Conference, 2017

A fuzzy logic-based text classification method for social media data.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Analyzing temporal-spatial evolution of rare events by using social media data.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Near-optimal and minimal PN supervisors of FMS with uncontrollability and unobservability.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 2017

Multi-layer feature histogram with correlative degree for cross-camera-based person re-identification.
Proceedings of the 2017 IEEE International Conference on Systems, Man, and Cybernetics, 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 trust model for unreliable public clouds based on domain partition.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Cost-sensitive task routing and resource provisioning in geo-distributed clouds.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Analysis of mobile phone data under a cloud computing framework.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Temporal request scheduling for energy-efficient cloud data centers.
Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

Task scheduling based on virtual machine matching in clouds.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Fast adaptive search on the line in dual environments.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Revenue-sensitive scheduling of multi-application tasks in software-defined cloud.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

Toward opportunistic services for the industrial Internet of Things.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017

An improved cuckoo search algorithm for semiconductor final testing scheduling.
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. Systems, Man, and Cybernetics: Systems, 2016

Topic-Oriented Exploratory Search Based on an Indexing Network.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

Common Bayesian Network for Classification of EEG-Based Multiclass Motor Imagery BCI.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

Performance Evaluation of Transactional Composite Web Services.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2016

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

A Multilevel Index Model to Expedite Web Service Discovery and Composition in Large-Scale Service Repositories.
IEEE Trans. Services Computing, 2016

Automatic Web Service Composition Based on Uncertainty Execution Effects.
IEEE Trans. Services Computing, 2016

Generating Highly Accurate Predictions for Missing QoS Data via Aggregating Nonnegative Latent Factor Models.
IEEE Trans. Neural Netw. Learning Syst., 2016

A Nonnegative Latent Factor Model for Large-Scale Sparse Matrices in Recommender Systems via Alternating Direction Method.
IEEE Trans. Neural Netw. Learning Syst., 2016

BDD-Based Synthesis of Fail-Safe Supervisory Controllers for Safety-Critical Discrete Event Systems.
IEEE Trans. Intelligent Transportation Systems, 2016

Multiobjective Optimization Models for Locating Vehicle Inspection Stations Subject to Stochastic Demand, Varying Velocity and Regional Constraints.
IEEE Trans. Intelligent Transportation Systems, 2016

Dual-Objective Scheduling of Rescue Vehicles to Distinguish Forest Fires via Differential Evolution and Particle Swarm Optimization Combined Algorithm.
IEEE Trans. Intelligent Transportation Systems, 2016

Emergency Traffic-Light Control System Design for Intersections Subject to Accidents.
IEEE Trans. Intelligent Transportation Systems, 2016

Topology Discovery for Linear Wireless Networks With Application to Train Backbone Inauguration.
IEEE Trans. Intelligent Transportation Systems, 2016

Centralized Charging Strategy and Scheduling Algorithm for Electric Vehicles Under a Battery Swapping Scenario.
IEEE Trans. Intelligent Transportation Systems, 2016

Generating Petri Net-Based Behavioral Models From Textual Use Cases and Application in Railway Networks.
IEEE Trans. Intelligent Transportation Systems, 2016

Dynamic Behavior of Artificial Hodgkin-Huxley Neuron Model Subject to Additive Noise.
IEEE Trans. Cybernetics, 2016

Disassembly Sequence Optimization for Large-Scale Products With Multiresource Constraints Using Scatter Search and Petri Nets.
IEEE Trans. Cybernetics, 2016

Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets.
IEEE Trans. Contr. Sys. Techn., 2016

Guest Editorial Special Section on Advances and Applications of Internet of Things for Smart Automated Systems.
IEEE Trans. Automation Science and Engineering, 2016

Incorporation of Optimal Computing Budget Allocation for Ordinal Optimization Into Learning Automata.
IEEE Trans. Automation Science and Engineering, 2016

Modeling and Verification of Online Shopping Business Processes by Considering Malicious Behavior Patterns.
IEEE Trans. Automation Science and Engineering, 2016

An Incremental-and-Static-Combined Scheme for Matrix-Factorization-Based Collaborative Filtering.
IEEE Trans. Automation Science and Engineering, 2016

Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions.
IEEE Trans. Automat. Contr., 2016

A weight-incorporated similarity-based clustering ensemble method based on swarm intelligence.
Knowl.-Based Syst., 2016

A robust deadlock prevention control for automated manufacturing systems with unreliable resources.
Inf. Sci., 2016

Model checking Petri nets with MSVL.
Inf. Sci., 2016

A novel method for deadlock prevention of AMS by using resource-oriented Petri nets.
Inf. Sci., 2016

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

Petri net based test case generation for evolved specification.
SCIENCE CHINA Information Sciences, 2016

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

Recent Advances in Energy-Efficient Routing Protocols for Wireless Sensor Networks: A Review.
IEEE Access, 2016

A Novel Approach to Extracting Non-Negative Latent Factors From Non-Negative Big Sparse Matrices.
IEEE Access, 2016

A Branching-Process-Based Method to Check Soundness of Workflow Systems.
IEEE Access, 2016

A Petri Net Method for Compatibility Enforcement to Support Service Choreography.
IEEE Access, 2016

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

Estimating travel speed via sparse vehicular crowdsensing data.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

Towards interoperable, cognitive and autonomic IoT systems: An agent-based approach.
Proceedings of the 3rd IEEE World Forum on Internet of Things, 2016

Integrating Particle Swarm Optimization with Stochastic Point Location method in noisy environment.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Regularizaed extraction of non-negative latent factors from high-dimensional sparse matrices.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

Place invariant simplification in optimal supervisor synthesis for FMS.
Proceedings of the 2016 IEEE International Conference on Systems, Man, and Cybernetics, 2016

A Sliding Window Method for Online Tracking of Spatiotemporal Event Patterns.
Proceedings of the Internet and Distributed Computing Systems, 2016

Key Properties of Connectivity in Vehicle Ad-hoc Network.
Proceedings of the Internet and Distributed Computing 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

An integrated AHP and VIKOR approach to evaluating green design alternatives.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

A data-driven approach to predict Small-for-Gestational-Age infants.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

An emergency traffic light strategy to prevent traffic congestion.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Analyzing the evolution of rare events via social media data and k-means clustering algorithm.
Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Lean reachability tree for Petri net analysis.
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

A weight-aggregation multi-objective PSO algorithm for load scheduling of PHEVs.
Proceedings of the IEEE Congress on Evolutionary Computation, 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

A new model for predicting power consumption of machining processes: A turning case.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

Scheduling and control of batch chemical processes with timed Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

A novel under-sampling algorithm based on Iterative-Partitioning Filters for imbalanced classification.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016

2015
Synthesis of Monitor-Based Liveness-Enforcing Supervisors for 𝕊3 PR With ξ-Resources.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

A Stochastic Approach to Analysis of Energy-Aware DVS-Enabled Cloud Datacenters.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

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

Schedulability and Scheduling Analysis of Dual-Arm Cluster Tools with Wafer Revisiting and Residency Time Constraints Based on a Novel Schedule.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 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. Systems, Man, and Cybernetics: Systems, 2015

Deadlock-Free Scheduling of Automated Manufacturing Systems Using Petri Nets and Hybrid Heuristic Search.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Control Program Design for Automated Guided Vehicle Systems via Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

E-Net Modeling and Analysis of Emergency Response Processes Constrained by Resources and Uncertain Durations.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Lexicographic Multiobjective Integer Programming for Optimal and Structurally Minimal Petri Net Supervisors of Automated Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

A New Class of Petri Nets for Modeling and Property Verification of Switched Stochastic Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

A Transaction and QoS-Aware Service Selection Approach Based on Genetic Algorithm.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Improved Quantum-Inspired Evolutionary Algorithm for Large-Size Lane Reservation.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2015

Vehicle Scheduling of an Urban Bus Line via an Improved Multiobjective Genetic Algorithm.
IEEE Trans. Intelligent Transportation Systems, 2015

An Improved Exact ε-Constraint and Cut-and-Solve Combined Method for Biobjective Robust Lane Reservation.
IEEE Trans. Intelligent Transportation Systems, 2015

Design of Traffic Safety Control Systems for Emergency Vehicle Preemption Using Timed Petri Nets.
IEEE Trans. Intelligent Transportation Systems, 2015

Routing in Internet of Vehicles: A Review.
IEEE Trans. Intelligent Transportation Systems, 2015

Stochastic Modeling and Performance Analysis of Migration-Enabled and Error-Prone Clouds.
IEEE Trans. Industrial Informatics, 2015

An Efficient Second-Order Approach to Factorize Sparse Matrices in Recommender Systems.
IEEE Trans. Industrial Informatics, 2015

Efficient Motif Discovery for Large-Scale Time Series in Healthcare.
IEEE Trans. Industrial Informatics, 2015

Fast and Epsilon-Optimal Discretized Pursuit Learning Automata.
IEEE Trans. Cybernetics, 2015

An Incremental and Distributed Inference Method for Large-Scale Ontologies Based on MapReduce Paradigm.
IEEE Trans. Cybernetics, 2015

Colored Traveling Salesman Problem.
IEEE Trans. Cybernetics, 2015

Composite Particle Swarm Optimizer With Historical Memory for Function Optimization.
IEEE Trans. Cybernetics, 2015

A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations.
IEEE Trans. Contr. Sys. Techn., 2015

Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets.
IEEE Trans. Contr. Sys. Techn., 2015

An Accurate de novo Algorithm for Glycan Topology Determination from Mass Spectra.
IEEE/ACM Trans. Comput. Biology Bioinform., 2015

Stochastic Modeling and Quality Evaluation of Infrastructure-as-a-Service Clouds.
IEEE Trans. Automation Science and Engineering, 2015

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

Stochastic Cost-Profit Tradeoff Model for Locating an Automotive Service Enterprise.
IEEE Trans. Automation Science and Engineering, 2015

Response Policies to Process Module Failure in Single-Arm Cluster Tools Subject to Wafer Residency Time Constraints.
IEEE Trans. Automation Science and Engineering, 2015

A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations.
IEEE Trans. Automation Science and Engineering, 2015

Model Predictive Control of Central Chiller Plant With Thermal Energy Storage Via Dynamic Programming and Mixed-Integer Linear Programming.
IEEE Trans. Automation Science and Engineering, 2015

Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets.
IEEE Trans. Automation Science and Engineering, 2015

Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis.
IEEE Trans. Automat. Contr., 2015

An adaptive particle swarm optimization method based on clustering.
Soft Comput., 2015

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

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

Macro liveness graph and liveness of ω-independent unbounded nets.
SCIENCE CHINA Information Sciences, 2015

Synthesis of Petri net supervisors for FMS via redundant constraint elimination.
Automatica, 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

Solving Stationary and Stochastic Point Location Problem with Optimal Computing Budget Allocation.
Proceedings of the 2015 IEEE International Conference on Systems, 2015

Group Decision-Making Inspired Particle Swarm Optimization in Noisy Environment.
Proceedings of the 2015 IEEE International Conference on Systems, 2015

A Hessian-Free Optimization-Based Approach to Latent-Factor-Based QoS Predictors with High Accuracy.
Proceedings of the 2015 IEEE International Conference on Systems, 2015

Fast Synthesis of Optimal and Structurally Simple Supervisors for Automated Manufacturing Systems.
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

System Architecture of a Train Sensor Network for Ubiquitous Safety Monitoring.
Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

Approximately Optimal Computing-Budget Allocation for subset ranking.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

New reachability trees for unbounded Petri nets.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015

Modeling and control of urban road intersections with incidents via timed Petri nets.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 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

Job scheduling and collision resolution of multi-bridge processing systems.
Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

A learning automata-based particle swarm optimization algorithm for noisy environment.
Proceedings of the IEEE Congress on Evolutionary Computation, 2015

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

Incorporation of ordinal optimization into learning automata for high learning efficiency.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

How to start-up dual-arm cluster tools involving a wafer revisiting process.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Discrete-event controller synthesis based on state space models.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

A decomposition approach to colored traveling salesman problems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

Formal modeling and verification of secure mobile agent systems.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015

2014
Radio Channel Allocations With Global Optimality and Bounded Computational Scale.
IEEE Trans. Vehicular Technology, 2014

Modeling and Validating E-Commerce Business Process Based on Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

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

Optimal One-Wafer Cyclic Scheduling of Single-Arm Multicluster Tools With Two-Space Buffering Modules.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Constraint-Aware Approach to Web Service Composition.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

A Configurable State Class Method for Temporal Analysis of Time Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Transformation of Logical Workflow Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

An Indexing Network: Model and Applications.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Analysis and Application of Logical Petri Nets to E-Commerce Systems.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Ordinary Differential Equation-Based Deadlock Detection.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2014

Modular Design of Urban Traffic-Light Control Systems Based on Synchronized Timed Petri Nets.
IEEE Trans. Intelligent Transportation Systems, 2014

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

An Efficient Non-Negative Matrix-Factorization-Based Approach to Collaborative Filtering for Recommender Systems.
IEEE Trans. Industrial Informatics, 2014

Stability Analysis of Switched Fuzzy Systems Via Model Checking.
IEEE Trans. Fuzzy Systems, 2014

Last-Position Elimination-Based Learning Automata.
IEEE Trans. Cybernetics, 2014

Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets.
IEEE Trans. Automation Science and Engineering, 2014

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

Automated web service composition supporting conditional branch structures.
Enterprise IS, 2014

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

Robust control reconfiguration of resource allocation systems with Petri nets and integer programming.
Automatica, 2014

Predicting web service QoS via matrix-factorization-based collaborative filtering under non-negativity constraint.
Proceedings of the 23rd Wireless and Optical Communication Conference, 2014

Integrating Particle Swarm Optimization with Learning Automata to solve optimization problems in noisy environment.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

A new class of learning automata for selecting an optimal subset.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 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

Modeling self-adaptive software systems with learning petri nets.
Proceedings of the 36th International Conference on Software Engineering, 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

Distributed supervisor synthesis for automated manufacturing systems using Petri nets.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014

A data clustering algorithm based on mussels wandering optimization.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

A time series and reduction based model for QoS prediction of service ontologies.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 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

Improved population-based incremental learning algorithm for scheduling multi-bridge waterjet cutting processes.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Improved population-based incremental learning algorithm for vehicle routing problems with soft time windows.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

A weight-incorporated similarity-based clustering ensemble method.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Sensitivity analysis for building energy simulation model calibration via automatic differentiation.
Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Logistics social networks.
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

Teaching a calligraphy robot via a touch screen.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014

Social incentive policies to engage commercial building occupants in demand response.
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. Systems, Man, and Cybernetics: Systems, 2013

Predicting Quality of Service for Selection by Neighborhood-Based Collaborative Filtering.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

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

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

Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

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

Interactive Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2013

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

$\varepsilon$-Constraint and Fuzzy Logic-Based Optimization of Hazardous Material Transportation via Lane Reservation.
IEEE Trans. Intelligent Transportation Systems, 2013

Front Sensor and GPS-Based Lateral Control of Automated Vehicles.
IEEE Trans. Intelligent Transportation Systems, 2013

A Vehicle Simulator for an Efficient Electronic and Electrical Architecture Design.
IEEE Trans. Intelligent Transportation Systems, 2013

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

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

Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement.
ACM Trans. Embedded Comput. Syst., 2013

A Novel Method for Calculating Service Reputation.
IEEE Trans. Automation Science and Engineering, 2013

A Chance Constrained Programming Approach to Determine the Optimal Disassembly Sequence.
IEEE Trans. Automation Science and Engineering, 2013

Predicting Stay Time of Mobile Users With Contextual Information.
IEEE Trans. Automation Science and Engineering, 2013

Adaptive Dispatching Rule for Semiconductor Wafer Fabrication Facility.
IEEE Trans. Automation Science and Engineering, 2013

Swarm Intelligence Approaches to Optimal Power Flow Problem With Distributed Generator Failures in Power Networks.
IEEE Trans. Automation Science and Engineering, 2013

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

The Liveness of WS3PR: Complexity and Decision.
IEICE Transactions, 2013

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

Real-Time Traffic Camera-Light Control Systems for Intersections Subject to Accidents: A Petri Net Approach.
Proceedings of the IEEE International Conference on Systems, 2013

A New Multiple Traveling Salesman Problem and Its Genetic Algorithm-Based Solution.
Proceedings of the IEEE International Conference on Systems, 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

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

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

Recent advances in particle swarm optimization via population structuring and individual behavior control.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

Experimental study of the thermal impacts on wireless sensor batteries.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

Estimating storage requirements for wind power plants.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

PSO-based method to find electric vehicle's optimal charging schedule under dynamic electricity price.
Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

Internet of Things: Recent advances and applications.
Proceedings of the 2013 IEEE 17th International Conference on Computer Supported Cooperative Work in Design (CSCWD), 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

A comprehensive QoS determination model for Infrastructure-as-a-Service clouds.
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

Sensor data quality assessment for building simulation model calibration based on automatic differentiation.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Model predictive control for HVAC systems - A review.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Evaluating feedback systems for residential building energy monitoring.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013

2012
Group Role Assignment via a Kuhn-Munkres Algorithm-Based Solution.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Efficient Role Transfer Based on Kuhn-Munkres Algorithm.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Single-Machine Scheduling With Job-Position-Dependent Learning and Time-Dependent Deterioration.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Deadlock-Free Genetic Scheduling Algorithm for Automated Manufacturing Systems Based on Deadlock Control Policy.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2012

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

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

Controllability Conditions of Resultant Siphons in a Class of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

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

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

Process Nets With Channels.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

Reduction and Refinement by Algebraic Operations for Petri Net Transformation.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

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

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

Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

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

Guest Editorial on Health-Care Management and Optimization.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2012

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

Optimal Lane Reservation in Transportation Network.
IEEE Trans. Intelligent Transportation Systems, 2012

Impacts of 2.4-GHz ISM Band Interference on IEEE 802.15.4 Wireless Sensor Network Reliability in Buildings.
IEEE Trans. Instrumentation and Measurement, 2012

An Efficient Outpatient Scheduling Approach.
IEEE Trans. Automation Science and Engineering, 2012

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

Schedulability Analysis and Optimal Scheduling of Dual-Arm Cluster Tools With Residency Time Constraint and Activity Time Variation.
IEEE Trans. Automation Science and Engineering, 2012

Probability Evaluation Models of Product Disassembly Cost Subject to Random Removal Time and Different Removal Labor Cost.
IEEE Trans. Automation Science and Engineering, 2012

Real-Time Scheduling of Single-Arm Cluster Tools Subject to Residency Time Constraints and Bounded Activity Time Variation.
IEEE Trans. Automation Science and Engineering, 2012

A Polynomial Dynamic Programming Algorithm for Crude Oil Transportation Planning.
IEEE Trans. Automation Science and Engineering, 2012

Adaptive Collaboration Based on the E-CARGO Model.
IJATS, 2012

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

On intrinsically live structure of a class of generalized Petri nets modeling FMS.
Proceedings of the 11th International Workshop on Discrete Event Systems, 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

A Relational Taxonomy of Services for Large Scale Service Repositories.
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 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

Computation of all minimal siphons in Petri nets.
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 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

Battery discharge characteristics of wireless sensors in building applications.
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

Design issues in ZigBee-based sensor network for healthcare applications.
Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

Adaptive Finite Element Analysis in the Application of Electromagnetic Mechanics.
Proceedings of the Eighth International Conference on Computational Intelligence and Security, 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

On iterative liveness-enforcement for a class of generalized Petri nets.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

Two-stage deadlock prevention policy based on resource-transition circuits.
Proceedings of the 2012 IEEE International Conference on Automation Science and Engineering, 2012

2011
Likelihood-Ratio Approaches to Automatic Modulation Classification.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2011

Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2011

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

Optimizing Operator-Agent Interaction in Intelligent Adaptive Interface Design: A Conceptual Framework.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2011

Petri Net Modeling of the Cooperation Behavior of a Driver and a Copilot in an Advanced Driving Assistance System.
IEEE Trans. Intelligent Transportation Systems, 2011

Impact of Zero-Voltage Notches on Outputs of Soft-Switching Pulsewidth Modulation Converters.
IEEE Trans. Industrial Electronics, 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. Automation Science and Engineering, 2011

Petri Net-Based Scheduling of Single-Arm Cluster Tools With Reentrant Atomic Layer Deposition Processes.
IEEE Trans. Automation Science and Engineering, 2011

Automatic Detection of Bridge Deck Condition From Ground Penetrating Radar Images.
IEEE Trans. Automation Science and Engineering, 2011

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

Automatic Web service composition based on Horn clauses and Petri nets.
Expert Syst. Appl., 2011

A vector matching method for analysing logic Petri nets.
Enterprise IS, 2011

Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation.
Proceedings of the IEEE International Conference on Systems, 2011

Fuzzy PID controllers for dual-sensor pacing systems in patients with bradycardias at rest.
Proceedings of the IEEE International Conference on Systems, 2011

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

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

Interference impacts on ZigBee-based Wireless Mesh Networks for building automation and control.
Proceedings of the IEEE International Conference on Systems, 2011

A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition.
Proceedings of the 23rd International Conference on Software Engineering & Knowledge Engineering (SEKE'2011), 2011

Asynchronous and high-accuracy digital modulated signal detection by sensor networks.
Proceedings of the MILCOM 2011, 2011

Web Service Composition Techniques in a Health Care Service Platform.
Proceedings of the IEEE International Conference on Web Services, 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

A transformation algorithm for optimal admissible generalized mutual exclusion constraints on Petri nets with uncontrollable transitions.
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

Recent advances of sensors for pacemakers.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011

Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2011

Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2011

An ultrasound system for tumor detection in soft tissues using low transient pulse.
Proceedings of the IEEE Conference on Automation Science and Engineering, 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
Software-Defined Radio Equipped With Rapid Modulation Recognition.
IEEE Trans. Vehicular Technology, 2010

A Petri Net Approach to Analysis and Composition of Web Services.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 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. Systems, Man, and Cybernetics, Part C, 2010

Image Ratio Features for Facial Expression Recognition Application.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2010

Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2010

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

A Performance Modeling Scheme for Multistage Switch Networks With Phase-Type and Bursty Traffic.
IEEE/ACM Trans. Netw., 2010

Critical Scenarios and Their Identification in Parallel Railroad Level Crossing Traffic Control Systems.
IEEE Trans. Intelligent Transportation Systems, 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. Automation Science and Engineering, 2010

Data-Driven Service Composition in Enterprise SOA Solutions: A Petri Net Approach.
IEEE Trans. Automation Science and Engineering, 2010

Two Simple Deadlock Prevention Policies for S3PR Based on Key-Resource/Operation-Place Pairs.
IEEE Trans. Automation Science and Engineering, 2010

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

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

Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution.
Int. J. Web Service Res., 2010

Tank cycling and scheduling analysis of high fusion point oil transportation for crude oil operations in refinery.
Computers & Chemical Engineering, 2010

Liveness of an extended S3PR.
Automatica, 2010

Issues in Adaptive Collaboration.
Proceedings of the IEEE International Conference on Systems, 2010

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

Performance measurement and analysis of low data rate wireless communication under interference sources in buildings.
Proceedings of the IEEE International Conference on Systems, 2010

Performance analysis of ZigBee-based body sensor networks.
Proceedings of the IEEE International Conference on Systems, 2010

A new approach to detect radio jamming attacks in wireless networks.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

Likelihood function-based modulation classification in bandwidth-constrained sensor networks.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

ZigBee-wireless mesh networks for building automation and control.
Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

DPLWN: A Novel Model for Designing and Implementing Dynamic Business Processes and Process Changes.
Proceedings of the Prodeedings of the 2010 International Conference on Computational Science and Its Applications, 2010

Establishing the foundation of adaptive collaboration.
Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems, 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
A Secure Routing Protocol Against Byzantine Attacks for MANETs in Adversarial Environments.
IEEE Trans. Vehicular Technology, 2009

M-M Role-Transfer Problems and Their Solutions.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

Optimal Petri-Net-Based Polynomial-Complexity Deadlock-Avoidance Policies for Automated Manufacturing Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

Short-Term Schedulability Analysis of Multiple Distiller Crude Oil Operations in Refinery With Oil Residency Time Constraint.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2009

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

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

A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

Metasynthesis: M-Space, M-Interaction, and M-Computing for Open Complex Giant Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2009

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

Web Service Configuration Under Multiple Quality-of-Service Attributes.
IEEE Trans. Automation Science and Engineering, 2009

Errata to "A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language" [Jan 09 94-106].
IEEE Trans. Automation Science and Engineering, 2009

A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language.
IEEE Trans. Automation Science and Engineering, 2009

Modeling and monitoring of E-commerce workflows.
Inf. Sci., 2009

Design of Petri Net-based Deadlock Prevention Controllers for Flexible Manufacturing Systems.
Proceedings of the IEEE International Conference on Systems, 2009

A 3D Self-positioning Method for Wireless Sensor Nodes Based on Linear FMCW and TFDA.
Proceedings of the IEEE International Conference on Systems, 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

Technologies toward Thermal Comfort-based and Energy-efficient HVAC Systems: A Review.
Proceedings of the IEEE International Conference on Systems, 2009

An Emerging Technology for Improved Building Automation Control.
Proceedings of the IEEE International Conference on Systems, 2009

A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches.
Proceedings of the IEEE International Conference on Web Services, 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

2008
Role Transfer Problems and Algorithms.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

Roles in Information Systems: A Survey.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2008

QoS-Aware Web Service Configuration.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

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

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

A Position-Based Clustering Technique for Ad Hoc Intervehicle Communication.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2008

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

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

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

Multiparadigm Modeling for Hybrid Dynamic Systems Using a Petri Net Framework.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

Adaptive Sensor Placement and Boundary Estimation for Monitoring Mass Objects.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2008

A Petri-Net-Based Correctness Analysis of Internet Stock Trading Systems.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2008

Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2008

Deadlock Checking for One-Place Unbounded Petri Nets Based on Modified Reachability Trees.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2008

Engineering Open Complex Agent Systems: A Case Study.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2008

A Petri Net-Based Heuristic Algorithm for Realizability of Target Refining Schedule for Oil Refinery.
IEEE Trans. Automation Science and Engineering, 2008

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

Preface.
IJHPCA, 2008

Real-time Modulation Classification Based On Maximum Likelihood.
IEEE Communications Letters, 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

Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems.
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

A Fast Autoregression Based Image Interpolation Method.
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

Automatic tracing of blood flow velocity in pulsed Doppler images.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

Cooperative multipath routing and relay based on noncoherent detection in wireless sensor networks.
Proceedings of the 2008 IEEE International Conference on Automation Science and Engineering, 2008

2007
Space and network diversity combination for masked node collision resolution in wireless ad hoc network.
IEEE Trans. Wireless Communications, 2007

Spread Spectrum MAC Protocol With Dynamic Rate and Collision Avoidance for Mobile Ad Hoc Network.
IEEE Trans. Vehicular Technology, 2007

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

Application of Petri Nets and Lagrangian Relaxation to Scheduling Automatic Material-Handling Vehicles in 300-mm Semiconductor Manufacturing.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2007

Guest Editorial Special Issue on Engineering Applications of Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2007

Modeling and Analysis of Real-Time Cooperative Systems Using Petri Nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2007

Deadlock Resolution in Automated Manufacturing Systems With Robots.
IEEE Trans. Automation Science and Engineering, 2007

A Petri-Net Approach to Modular Supervision With Conflict Resolution for Semiconductor Manufacturing Systems.
IEEE Trans. Automation Science and Engineering, 2007

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

Ad hoc network routing and security: A review.
Int. J. Communication Systems, 2007

Performance analysis of prioritized parallel transmission MAC protocol in all-IP wireless WAN.
Int. J. Communication Systems, 2007

A Petri net-based approach to QoS-aware configuration for web services.
Proceedings of the IEEE International Conference on Systems, 2007

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

An information-theoretic detector based scheme for registration of speckled medical images.
Proceedings of the IEEE International Conference on Systems, 2007

Energy-efficient cooperative routing for wireless sensor networks using space time block code.
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

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

DiagramDraw: A State Machine Diagram Designer for Flexible Automation.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2007

2006
Supporting Software Development With Roles.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

Fuzzy-Petri-net-based disassembly planning considering human factors.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

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

Design and Optimization of Integrated E-Supply Chain for Agile and Environmentally Conscious Manufacturing.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2006

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

A systematic approach to design and operation of disassembly lines.
IEEE Trans. Automation Science and Engineering, 2006

A model reduction method for traffic described by MMPP with unknown rate limit.
IEEE Communications Letters, 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

Learning-Embedded Disassembly Petri Net for Process Planning.
Proceedings of the IEEE International Conference on Systems, 2006

Modeling Service Compatibility with Pi-calculus for Choreography.
Proceedings of the Conceptual Modeling, 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. Systems, Man, and Cybernetics, Part B, 2005

An application of Petri nets to supervisory control for human-computer interactive systems.
IEEE Trans. Industrial Electronics, 2005

Optimal tracking interval for predictive tracking in wireless sensor network.
IEEE Communications Letters, 2005

Petri-net modeling of bio-signal networks.
Proceedings of the IEEE International Conference on Systems, 2005

Control strategy selection for autonomous vehicles in a dynamic environment.
Proceedings of the IEEE International Conference on Systems, 2005

2004
Ladder diagram and Petri-net-based discrete-event control design methods.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 2004

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

Performance modeling and analysis of workflow.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2004

Intelligent decision making in disassembly process based on fuzzy reasoning Petri nets.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2004

Deadlock control methods in automated manufacturing systems.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2004

Consistency verification in modeling of real-time systems.
IEEE Trans. Robotics and Automation, 2004

Mighty MESs; state-of-the-art and future manufacturing execution systems.
IEEE Robot. Automat. Mag., 2004

Recent advances in semiconductor factory automation, part 2: equipment-level automation.
IEEE Robot. Automat. Mag., 2004

Special issue on semiconductor factory automation. 1. System-level automation (From the guest editors).
IEEE Robot. Automat. Mag., 2004

Iterative synthesis of Petri net based deadlock prevention policy for flexible manufacturing systems.
Proceedings of the IEEE International Conference on Systems, 2004

Fuzzy-Petri-net based disassembly planning considering human factors.
Proceedings of the IEEE International Conference on Systems, 2004

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

Some results and open problems concerning elementary siphons of Petri nets.
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

Sustainability improvement through supplier selection.
Proceedings of the IEEE International Conference on Systems, 2004

Petri Net Modeling and Lagrangian Relaxation Approach to Vehicle Scheduling in 300 mm Semiconductor Manufacturing.
Proceedings of the 2004 IEEE International Conference on Robotics and Automation, 2004

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

2003
Timing constraint workflow nets for workflow analysis.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2003

Fuzzy reasoning Petri nets.
IEEE Trans. Systems, Man, and Cybernetics, Part A, 2003

A life cycle engineering approach to development of flexible manufacturing systems.
IEEE Trans. Robotics and Automation, 2003

Ad-hoc robot wireless communication.
Proceedings of the IEEE International Conference on Systems, 2003

Design and analysis of sequential function charts using sensor-based stage Petri Nets.
Proceedings of the IEEE International Conference on Systems, 2003

Low resonant frequency storage and transfer in structured water cluster.
Proceedings of the IEEE International Conference on Systems, 2003

Methods toward supply chain risk analysis.
Proceedings of the IEEE International Conference on Systems, 2003

A deadlock control method using elementary siphons of Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

Approximate performance analysis of Workflow model.
Proceedings of the IEEE International Conference on Systems, 2003

A prioritized parallel transmission MAC protocol for all-IP wireless WAN beyond 3G.
Proceedings of the IEEE International Conference on Systems, 2003

Fuzzy intrusion detection based on fuzzy reasoning Petri nets.
Proceedings of the IEEE International Conference on Systems, 2003

A decision support system for the supply chain configuration.
Proceedings of the IEEE International Conference on Systems, 2003

Methodology first and language second: a way to teach object-oriented programming.
Proceedings of the Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2003

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

Production cycle-time analysis based on sensor-based stage petri nets for automated manufacturing systems.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

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

Improvement of product sustainability.
Proceedings of the 2003 IEEE International Conference on Robotics and Automation, 2003

2002
Integration of disassembly leveling and bin assignment for demanufacturing automation.
IEEE Trans. Robotics and Automation, 2002

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

Sensor-Based Petri Net Modeling for PLC Stage Programming of Discrete-Event Control Design.
Proceedings of the 2002 IEEE International Conference on Robotics and Automation, 2002

A Bin Assignment Algorithm for Demanufacturing Automation.
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 and Automation, 2001

An integrated approach to disassembly planning and demanufacturing operation.
IEEE Trans. Robotics and Automation, 2001

Conversion between discrete images and organized 3D file formats.
Proceedings of the IEEE International Conference on Systems, 2001

Petri net based PLC stage programming for discrete-event control design.
Proceedings of the IEEE International Conference on Systems, 2001

Conversion between ladder diagrams and PNs in discrete-event control design-a survey.
Proceedings of the IEEE International Conference on Systems, 2001

Petri net construction and analysis of automated sequential manufacturing systems.
Proceedings of the IEEE International Conference on Systems, 2001

2D and 3D medical image database design.
Proceedings of the IEEE International Conference on Systems, 2001

Three dimensional surface warping for plastic surgery planning.
Proceedings of the IEEE International Conference on Systems, 2001

Development of demanufacturing module for Multi-Lifecycle Assessment and Analysis of products.
Proceedings of the IEEE International Conference on Systems, 2001

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

Design of Reconfigurable Semiconductor Manufacturing Systems with Maintenance and Failure.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

A Methodology for Software Development Cost Analysis in Information-Based Manufacturing.
Proceedings of the 2001 IEEE International Conference on Robotics and Automation, 2001

2000
Compositional time Petri nets and reduction rules.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 2000

Design and implementation of an adaptive process planner for disassembly processes.
IEEE Trans. Robotics and Automation, 2000

Design of virtual production lines in back-end semiconductor manufacturing systems.
Proceedings of the IEEE International Conference on Systems, 2000

Mesh simplification with average planes for 3-D image.
Proceedings of the IEEE International Conference on Systems, 2000

A Petri net-based formal reasoning algorithm for fuzzy production rule-based systems.
Proceedings of the IEEE International Conference on Systems, 2000

A Life Cycle Engineering Approach to FMS Development.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

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

Disassembly Modeling, Planning, and Application: A Review.
Proceedings of the 2000 IEEE International Conference on Robotics and Automation, 2000

1999
Modeling, Simulation, and Control of Flexible Manufacturing Systems - A Petri Net Approach
Series in Intelligent Control and Intelligent Automation 6, WorldScientific, ISBN: 978-981-4497-78-7, 1999

A methodology for modeling and adaptive planning of disassembly processes.
IEEE Trans. Robotics and Automation, 1999

Guest editorial.
J. Intelligent Manufacturing, 1999

Modeling and control of workstation level information flow in FMS using modified Petri nets.
J. Intelligent Manufacturing, 1999

1998
Design of industrial automated systems via relay ladder logic programming and Petri nets.
IEEE Trans. Systems, Man, and Cybernetics, Part C, 1998

Evaluation of environmentally conscious product designs.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Formulation of a generic framework for integrated product and process development.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Design of artificial neural networks for tool wear monitoring.
J. Intelligent Manufacturing, 1997

Deadlock-free scheduling of an automated manufacturing system based on Petri nets.
Proceedings of the 1997 IEEE International Conference on Robotics and Automation, 1997

1996
Petri net modelling of buffers in automated manufacturing systems.
IEEE Trans. Systems, Man, and Cybernetics, Part B, 1996

A hybrid heuristic search algorithm for scheduling flexible manufacturing systems.
Proceedings of the 1996 IEEE International Conference on Robotics and Automation, 1996

1995
Automating Mason's rule and its application to analysis of stochastic Petri nets.
IEEE Trans. Contr. Sys. Techn., 1995

Design and Implementation of Fuzzy Logic Controllers for a Heat Exchanger in a Water-for-Injection System.
Journal of Intelligent and Fuzzy Systems, 1995

Deadlock avoidance schemes in a distributed robotic system: Petri net modeling and analysis.
J. Field Robotics, 1995

1994
Petri nets and industrial applications: A tutorial.
IEEE Trans. Industrial Electronics, 1994

Comparing ladder logic diagrams and Petri nets for sequence controller design through a discrete manufacturing system.
IEEE Trans. Industrial Electronics, 1994

Extending the Knitting Technique to Petri Net Synthesis of Automated Manufacturing Systems.
Comput. J., 1994

Reduction of Timed Marked Graphs and Its Applications to Manufacturing Systems.
Proceedings of the 1994 International Conference on Robotics and Automation, 1994

1993
Petri net synthesis and analysis of a flexible manufacturing system cell.
IEEE Trans. Systems, Man, and Cybernetics, 1993

Integration of Petri nets and moment generating function approaches for system performance evaluation.
Journal of Systems Integration, 1993

1992
A hybrid methodology for synthesis of Petri net models for manufacturing systems.
IEEE Trans. Robotics and Automation, 1992

Design and implementation of a petri net based supervisor for a flexible manufacturing system.
Automatica, 1992

1991
Parallel and sequential mutual exclusions for petri net modeling of manufacturing systems with shared resources.
IEEE Trans. Robotics and Automation, 1991

Petri net modeling of a flexible assembly station for printed circuit boards.
Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

Moment generating function approach to performance analysis of extended stochastic Petri nets.
Proceedings of the 1991 IEEE International Conference on Robotics and Automation, 1991

1990
A Petri net design method for automated manufacturing systems with shared resources.
Proceedings of the 1990 IEEE International Conference on Robotics and Automation, 1990

1989
Adaptive design of Petri net controllers for error recovery in automated manufacturing systems.
IEEE Trans. Systems, Man, and Cybernetics, 1989

A top-down approach to systematic synthesis of Petri net models for manufacturing systems.
Proceedings of the 1989 IEEE International Conference on Robotics and Automation, 1989


  Loading...