Jiacun Wang

Remote. Sens., December, 2023

Interpretable machine learning assessment.

[BibT_eX]

[DOI]

Neurocomputing, December, 2023

A Hybrid Model with New Word Weighting for Fast Filtering Spam Short Texts.

[BibT_eX]

[DOI]

Sensors, November, 2023

Robustness Verification of Swish Neural Networks Embedded in Autonomous Driving Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., August, 2023

Real-Time Adaptive Allocation of Emergency Department Resources and Performance Simulation Based on Stochastic Timed Petri Nets.

[BibT_eX]

[DOI]

Jun Wang

IEEE Trans. Comput. Soc. Syst., August, 2023

Patient Flow Modeling and Optimal Staffing for Emergency Departments: A Petri Net Approach.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., August, 2023

Guest Editorial Special Issue on Behavioral Modeling, Learning, and Adaptation in Cyber-Physical-Social Intelligence.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., August, 2023

Multiobjective U-Shaped Disassembly Line Balancing Problem Considering Human Fatigue Index and an Efficient Solution.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., August, 2023

Discrete Whale Optimization Algorithm for Disassembly Line Balancing With Carbon Emission Constraint.

[BibT_eX]

[DOI]

IEEE Robotics Autom. Lett., May, 2023

MARL Sim2real Transfer: Merging Physical Reality With Digital Virtuality in Metaverse.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., April, 2023

A Metaverse-Based Teaching Building Evacuation Training System With Deep Reinforcement Learning.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Syst., April, 2023

PA-DETR: End-to-End Visually Indistinguishable Bolt Defects Detection Method Based on Transmission Line Knowledge Reasoning.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2023

Transaction Fraud Detection via an Adaptive Graph Neural Network.

[BibT_eX]

[DOI]

CoRR, 2023

Hybrid Disassembly Line Optimization with Reinforcement Learning.

[BibT_eX]

[DOI]

Proceedings of the 32nd Wireless and Optical Communications Conference, 2023

An Improved Fruit Fly Optimization Algorithm for Hybrid Disassembly Line Balancing Problem.

[BibT_eX]

[DOI]

Proceedings of the 32nd Wireless and Optical Communications Conference, 2023

Carousel Storage and Picking Scheduling Issues: A Review.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Bundle Pricing of Product Line and Value-Added Services Considering Reference Price Effect.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Online Product Pricing Research Considering Price Anchoring and Online Reviews.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Multi-Objective Optimization of Multi-Product U-Shaped Disassembly Line Balancing Problem Considering Human Factors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Modeling and Solution of Multi-objective Parallel Disassembly Line Balancing Problem Considering Human Factors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2023

2022

Enhance explainability of manifold learning.

[BibT_eX]

[DOI]

Neurocomputing, 2022

Lightweight unmanned aerial vehicle video object detection based on spatial-temporal correlation.

[BibT_eX]

[DOI]

Int. J. Commun. Syst., 2022

Union Variable Neighborhood Descent Algorithm for Multi-product Hybrid Disassembly Line Balancing Problem Considering Workstation Resource Configuration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

An Improved Q-Learning Algorithm for Solving Disassembly Line Balancing Problem Considering Carbon Emission.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

An Improved Multi-objective Multi-verse Optimization Algorithm for Multifunctional Robotic Parallel Disassembly Line Balancing Problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Brainstorm Optimization Algorithm with K-means Clustering for Disassembly Line Balancing Problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Multi-neighborhood Parallel Greedy Search Algorithm for Human-robot Collaborative Multi-product Hybrid Disassembly Line Balancing Problem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Pricing Optimization of Products and Value-added Services based on Multinomial Logit Model.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

A Two-Stage Pricing Study of Product Line Considering Value-Added Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Moth-flame Optimizer for Multi-product Humanrobot Collaborative Parallel Disassembly Line Balancing Problem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Service Pricing and Strategy Selection of Freemium Model Considering Users' Stickiness.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Two-Stage Online Product Pricing Optimization Based on Consumer Decision Factors.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Salp Swarm Algorithm for Multi-product Parallel Disassembly Line Balancing Problem Considering Disabled Workers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Multi-objective Discrete Bat Optimizer for Parallel Disassembly Line Balancing Problems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Discrete Shuffled Frog Leading Algorithm for Multiple-product Human-robot Collaborative Disassembly Line Balancing Problem.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

An Improved Advantage Actor-Critic Algorithm for Disassembly Line Balancing Problems Considering Tools Deterioration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

A Q-Learning-based Selective Disassembly Sequence Planning Method.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022

Hybrid Neighborhood Search Algorithm for Multi-product Hybrid Disassembly Line Balancing Problem Considering Multi-skill Workers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Discrete Migratory Bird Optimizer for Disassembly Line Balancing Problem Considering Tool Deterioration.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

An Improved Marine Predators Algorithm Based on Group Learning.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Grey Wolf Algorithm for Human-Robot Collaborative Disassembly Line Balancing Problem Subject to Dangerous Components.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

A Parallel Neighborhood Search Algorithm for Hybrid Disassembly Line Balancing Problem Considering Disabled Workers.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2022

Identify Bottlenecks of Patient Flow in Emergency Departments.

[BibT_eX]

[DOI]

Yuansi Hu

Guanjun Liu

Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Healthcare Patient Flow Modeling and Analysis with Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the Advances in Computing, Informatics, Networking and Cybersecurity, 2022

Proximal Policy Optimization Algorithm for Multi-objective Disassembly Line Balancing Problems.

[BibT_eX]

[DOI]

Proceedings of the Australian & New Zealand Control Conference, 2022

Discrete Fruit Fly Optimization Algorithm for Disassembly Line Balancing Problems by Considering Human Worker's Learning Effect.

[BibT_eX]

[DOI]

Proceedings of the Australian & New Zealand Control Conference, 2022

2021

Guest Editorial Advanced Machine Learning on Cognitive Computing for Human Behavior Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2021

Dynamic hand gesture recognition based on short-term sampling neural networks.

[BibT_eX]

[DOI]

Wenjin Zhang

Fangping Lan

IEEE CAA J. Autom. Sinica, 2021

2020

Special issue on multimedia fog/edge computing systems.

[BibT_eX]

[DOI]

Multim. Syst., 2020

Deep Learning Based Hand Gesture Recognition and UAV Flight Controls.

[BibT_eX]

[DOI]

Bin Hu

Int. J. Autom. Comput., 2020

2019

Measuring Business Process Consistency Across Different Abstraction Levels.

[BibT_eX]

[DOI]

IEEE Trans. Netw. Serv. Manag., 2019

A Trust-Based Formal Model for Fault Detection in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Na Wang

Xuemin Chen

Sensors, 2019

A simulation engine for stochastic timed petri nets and application to emergency healthcare systems.

[BibT_eX]

[DOI]

Jiani Zhou

Jun Wang

IEEE CAA J. Autom. Sinica, 2019

Dynamic Hand Gesture Recognition Based on 3D Convolutional Neural Network Models.

[BibT_eX]

[DOI]

Wenjin Zhang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

Discrete Spatial Data Reconstruction based on Deep Neural Network.

[BibT_eX]

[DOI]

Yi Du

Ting Zhang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

2018

Measuring Data-Aware Process Consistency Based on Activity Constraint Graphs.

[BibT_eX]

[DOI]

IEEE Access, 2018

Locating and Controlling Unsound Transitions in Workflow Systems Based on Workflow Net With Data Constraints.

[BibT_eX]

[DOI]

IEEE Access, 2018

Emergency healthcare resource requirement analysis: A stochastic timed Petri net approach.

[BibT_eX]

[DOI]

Jiarui Tian

Ruoyan Sun

Proceedings of the 15th IEEE International Conference on Networking, Sensing and Control, 2018

2016

Human activity recognition based on transformed accelerometer data from a mobile phone.

[BibT_eX]

[DOI]

Xia Heng

Zhongmin Wang

Int. J. Commun. Syst., 2016

Cyclic workflow resource requirement analysis and application in healthcare.

[BibT_eX]

[DOI]

Xiaoou Li

Gaiyun Liu

Proceedings of the 13th International Workshop on Discrete Event Systems, 2016

Faster parking and less cruise for public parking spot discovery: Modeling and analysis based on Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Simulation analysis of EKF and UKF implementations in PHD filter.

[BibT_eX]

[DOI]

Xiaoying Wang

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

Resource requirement analysis for cyclic workflows.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Networking, Sensing, and Control, 2016

2015

Demand-side energy simulation, assessment and optimization.

[BibT_eX]

[DOI]

Jianrong Qin

Proceedings of the 12th IEEE International Conference on Networking, Sensing and Control, 2015

2014

A novel method for Web Service Composition based on extended BDI.

[BibT_eX]

[DOI]

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

Electrical load schedule optimization for manufacturing plants.

[BibT_eX]

[DOI]

Fei Hu

Jianrong Qin

Proceedings of 11th IEEE International Conference on Networking, Sensing and Control, 2014

2013

Resource Oriented Workflow Nets and Workflow Resource Requirement Analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2013

Petri net based resource modeling and analysis of workflows with task failures.

[BibT_eX]

[DOI]

Proceedings of 10th IEEE International Conference on Networking, Sensing and Control, 2013

2012

Emergency Healthcare Workflow Modeling and Timeliness Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part A, 2012

Traffic information collecting algorithms for road selection decision support in vehicle ad hoc networks.

[BibT_eX]

[DOI]

Qiuran Li

Int. J. Simul. Process. Model., 2012

Towards True Dynamic Workflow for Emergency Response.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2012

Resource Modeling and Analysis for Workflows: A Petri Net Approach.

[BibT_eX]

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

Resource modeling and analysis for workflows.

[BibT_eX]

[DOI]

Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, 2012

2011

Navigation function design for backbone connectivity in vehicle ad hoc networks.

[BibT_eX]

[DOI]

Comput. Math. Appl., 2011

2010

Map Synchronization and Alternatives Optimization for Firefighters Cooperative Decision Support in Ad Hoc Networks.

[BibT_eX]

[DOI]

J. Networks, 2010

Using the Power Control and Cooperative Communication for Energy Saving in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Commun. Netw., 2010

Design and development of an Earthquake Disaster Simulator.

[BibT_eX]

[DOI]

Bryan Gonzales

Allen E. Milewski

Proceedings of the IEEE International Conference on Systems, 2010

Real-Time Workflow Modeling and Analysis in Emergency Response.

[BibT_eX]

Proceedings of the 2010 International Conference on Software Engineering Research & Practice, 2010

Connectivity Control Methods and Decision Algorithms Using Neural Network in Decentralized Networks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2010

A perspective of PSP modeling based on control theory.

[BibT_eX]

[DOI]

Yingying Zhu

Xianzhong Zhou

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2010

2009

Emergency Response Workflow Resource Requirements Modeling and Analysis.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2009

A Cooperative Location Management Scheme for Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Int. J. Commun. Netw. Syst. Sci., 2009

Agent based emergency response workflow management.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

WIFAi - A tool suite for the modeling and enactment of inter-organizational workflows.

[BibT_eX]

[DOI]

Michael Tarullo

Proceedings of the 2009 IEEE/INFORMS International Conference on Service Operations, 2009

Systems Modeling for IP-Based Handoff Using Timed Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008

Dynamic Workflow Modeling and Analysis in Incident Command Systems.

[BibT_eX]

[DOI]

Allen E. Milewski

Michael Stoute

IEEE Trans. Syst. Man Cybern. Part A, 2008

MFDSSF: A Mobile Fuzzy Decision Support System for Firefighter Cooperation in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the IFIP International Conference on Network and Parallel Computing, 2008

Workflow Resource Requirement Modeling and Analysis.

[BibT_eX]

[DOI]

Anni Tsai

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

An Efficient Gateway Election and Location Service in Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2008

2007

Petri Nets for Dynamic Event-Driven System Modeling.

[BibT_eX]

[DOI]

Proceedings of the Handbook of Dynamic System Modeling., 2007

Charging Information Collection Modeling and Analysis of GPRS Networks.

[BibT_eX]

[DOI]

IEEE Trans. Syst. Man Cybern. Part C, 2007

Resource-Constrained Workflow Modeling.

[BibT_eX]

[DOI]

Anni Tsai

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

Location Management Cost Estimation for PCS Using Neural Network.

[BibT_eX]

[DOI]

Proceedings of the Advances in Neural Networks, 2007

Inter-organizational Workflow Modeling and Analysis of Incident Command Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2007

2006

EPC Workflow Model to WIFA Model Conversion.

[BibT_eX]

[DOI]

Anni Tsai

Proceedings of the IEEE International Conference on Systems, 2006

RFID-based Tag-Along Displays for Incident Command System Workflow Management.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2006

Dynamic Workflow Modeling and Verification.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 18th International Conference, 2006

2005

Formally modeling and analyzing a secure mobile agent finder.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, 2005

An Intuitive Formal Approach to Dynamic Workflow Modeling and Analysis.

[BibT_eX]

[DOI]

Allen E. Milewski

Michael Stoute

Proceedings of the Business Process Management, 3rd International Conference, 2005

2004

Consistency verification in modeling of real-time systems.

[BibT_eX]

[DOI]

Mengchu Zhou

IEEE Trans. Robotics Autom., 2004

Constraint Propagation And Progressive Verification For Component-Based Process Model.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2004

2003

An Approach for Modeling and Analysis of Security System Architectures.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

2001

Formal Analysis of Software Security System Architectures.

[BibT_eX]

[DOI]

Jeffrey J. P. Tsai

Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

2000

Compositional time Petri nets and reduction rules.

[BibT_eX]

[DOI]

Mengchu Zhou

IEEE Trans. Syst. Man Cybern. Part B, 2000

Reachability analysis of real-time systems using time Petri nets.

[BibT_eX]

[DOI]

Gang Xu

IEEE Trans. Syst. Man Cybern. Part B, 2000

Performance Analysis of Traffic Control Systems Based upon Stochastic Timed Petri Net Models.

[BibT_eX]

[DOI]

Chun Jin

Int. J. Softw. Eng. Knowl. Eng., 2000

1999

Incremental modeling and verification of flexible manufacturing systems.

[BibT_eX]

[DOI]

J. Intell. Manuf., 1999

Introducing software architecture specification and analysis in SAM through an example.

[BibT_eX]

[DOI]

Xudong He

Inf. Softw. Technol., 1999

Integrated Architectural Modeling and Analysis for High-Assurance Command and Control System Design.

[BibT_eX]

[DOI]

Ann. Softw. Eng., 1999

Performance Analysis of Traffic Networks Based on Stochastic Timed Petri Net Models.

[BibT_eX]

[DOI]

Chun Jin

Proceedings of the 5th International Conference on Engineering of Complex Computer Systems (ICECCS '99), 1999

Performance Analysis of Traffic Control System Based on Stochastic Timed Petri Net Models.

[BibT_eX]

[DOI]

Chun Jin

Proceedings of the 23rd International Computer Software and Applications Conference (COMPSAC '99), 1999

1998

Component-level reduction rules for time Petri nets with application in C2 systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

Incremental Architectural Modeling and Verification of Real-Time Concurrent Systems.

[BibT_eX]

[DOI]