An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control. - ZhiWu Li 001; Hesuan Hu; MengChu Zhou (SMC (5), 2004)

Modified PSO Algorithm for Deadlock Control in FMS. - Hesuan Hu; ZhiWu Li 001; Weidong Wang (CIS (1), 2005)

Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets. - Hesuan Hu; ZhiWu Li 001; Anrong Wang (ADMA, 2006)

Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems. - Hesuan Hu; Zhiwu Li 001; Mengchu Zhou (SMC, 2008)

A New Class of Petri Nets for Modeling and Control of Ratio-enforced Resource Allocation Systems. - Hesuan Hu; Mengchu Zhou; Zhiwu Li 001 (SMC, 2009)

Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs. - Hesuan Hu; Zhiwu Li 001 (Comput. Ind. Eng., 2009)

On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. - ZhiWu Li 001; Hesuan Hu (Comput. Ind. Eng., 2009)

Liveness Enforcing Supervision in Video Streaming Systems using Siphons. - Hesuan Hu; Zhiwu Li 001 (J. Inf. Sci. Eng., 2009)

Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior. - Hesuan Hu; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2009)

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets. - Hesuan Hu; MengChu Zhou; ZhiWu Li 001 (IEEE Trans. Multim., 2009)

Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations. - Hesuan Hu; Mengchu Zhou; Zhiwu Li 001; Naiqi Wu (CASE, 2010)

Deadlock resolution method for automated manufacturing systems modeled with Petri nets. - Hesuan Hu; Mengchu Zhou; Zhiwu Li 001 (SMC, 2010)

Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. - Mi Zhao; ZhiWu Li 001; Hesuan Hu (Int. J. Syst. Sci., 2010)

Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. - Hesuan Hu; Zhiwu Li 001 (J. Intell. Manuf., 2010)

Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets. - Hesuan Hu; MengChu Zhou; ZhiWu Li 001 (IEEE Trans Autom. Sci. Eng., 2010)

Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets. - Hesuan Hu; MengChu Zhou; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2010)

Liveness supervision of AMS with complex processes using Petri nets. - Hesuan Hu; Ying Tang 001; Mengchu Zhou; Zhiwu Li 001 (SMC, 2011)

Reversed fuzzy Petri nets and their application for fault diagnosis. - Hesuan Hu; Zhiwu Li 001; Abdulrahman Al-Ahmari (Comput. Ind. Eng., 2011)

Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets. - Shao Yong Li; ZhiWu Li 001; Hesuan Hu (Int. J. Comput. Integr. Manuf., 2011)

Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets. - Hesuan Hu; MengChu Zhou; Zhiwu Li 001 (IEEE Trans Autom. Sci. Eng., 2011)

Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems. - Hesuan Hu; Mengchu Zhou; Zhiwu Li 001 (IEEE Trans. Syst. Man Cybern. Part A, 2011)

A novel approach to liveness supervision of AMS with assembly operations using Petri nets. - Hesuan Hu; Rong Su 001 (ICARCV, 2012)

Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets. - Hesuan Hu; MengChu Zhou; ZhiWu Li 001 (IEEE Trans. Syst. Man Cybern. Part A, 2012)

Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets. - Hesuan Hu; MengChu Zhou; Yang Liu 003 (CASE, 2013)

One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets. - Yen-Liang Pan; Hesuan Hu; MuDer Jeng (CASE, 2013)

Robust deadlock control using shared-resources for production systems with unreliable workstations. - Hao Yue 003; Hesuan Hu (CASE, 2013)

A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets. - Hao Yue 003; Hesuan Hu (CASE, 2013)

Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets. - Ding Liu; Yifan Hou; Hesuan Hu; Kamel Barkaoui; MengChu Zhou (ICCA, 2013)

A novel method to simplify supervisor for AMS based on Petri nets and inequality analysis. - Hesuan Hu; MengChu Zhou; ZhiWu Li 001 (ICRA, 2013)

An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems. - Hesuan Hu; MengChu Zhou; Zhiwu Li 001; Ying Tang 001 (IEEE Trans Autom. Sci. Eng., 2013)

Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets. - Hesuan Hu; MengChu Zhou; Zhiwu Li 001; Ying Tang 001 (IEEE Trans. Ind. Informatics, 2013)

A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets. - Hesuan Hu; Chen Chen 009; Yang Liu 003; Yan Yang (CASE, 2014)

Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis. - Hesuan Hu; Yan Yang; Yang Liu 003; Chen Chen 009 (CASE, 2014)

A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions. - Jasen Markovski; Hesuan Hu (CASE, 2014)

Distributed supervisor synthesis for automated manufacturing systems using Petri nets. - Hesuan Hu; Chen Chen 009; Rong Su 001; Yang Liu 003; MengChu Zhou (ICRA, 2014)

Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis. - Hesuan Hu; Yang Liu 003 (IEEE Trans Autom. Sci. Eng., 2014)

Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets. - Chen Chen 009; Hesuan Hu (CASE, 2015)

Robust supervisor synthesis for automated manufacturing systems using Petri nets. - Yan Cheng; Hesuan Hu; Yang Liu 003 (CASE, 2015)

Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? - Jasen Markovski; Hesuan Hu (CASE, 2015)

A Petri net-based distributed control of automated manufacturing systems with assembly operations. - Yan Yang; Hesuan Hu; Yang Liu 003 (CASE, 2015)

Time-varying automated manufacturing systems and their event-based control: A Petri net approach. - Chen Chen 009; Hesuan Hu (ICRA, 2015)

An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis. - Chen Chen 009; Hesuan Hu (ICRA, 2015)

Supervisors and their simplification in automated manufacturing systems via Petri nets. - Hesuan Hu; Chen Chen 009; Yang Liu 003; Yan Yang (ICRA, 2015)

Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets. - Hesuan Hu; Yan Yang; Yang Liu 003; Chen Chen 009 (ICRA, 2015)

Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources. - Hao Yue 003; Keyi Xing; Hesuan Hu; Weimin Wu 002; Hongye Su (Comput. Ind. Eng., 2015)

Intelligent manufacturing: New advances and challenges. - Hesuan Hu; Ling Wang 001; Peter B. Luh (J. Intell. Manuf., 2015)

Emerging Advances in Automation [From the Guest Editors]. - Ken Goldberg; Youfu Li 001; Yu Sun 001; Maria Pia Fanti; Hesuan Hu (IEEE Robotics Autom. Mag., 2015)

Stochastic Cost-Profit Tradeoff Model for Locating an Automotive Service Enterprise. - Guangdong Tian; MengChu Zhou; Jiangwei Chu; Tiangang Qiang; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2015)

Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets. - Hesuan Hu; Yang Liu 003; Mengchu Zhou (IEEE Trans. Control. Syst. Technol., 2015)

A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations. - Hesuan Hu; MengChu Zhou (IEEE Trans. Control. Syst. Technol., 2015)

Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets. - Hesuan Hu; Yang Liu 003 (IEEE Trans. Ind. Informatics, 2015)

Robust control of Backward Conflict Free Systems with Resources using Petri nets. - Nan Du; Hesuan Hu (CASE, 2016)

Critical stages and their identification in large scale automated manufacturing systems via Petri nets. - Hesuan Hu; Yan Yang; Yang Liu 003; Nan Du (CASE, 2016)

Mono-T-semiflow systems with resources and their distributed control using Petri nets. - Yan Yang; Hesuan Hu (CASE, 2016)

Robust control of Mono-T-Semiflow Processes with resources using Petri nets. - Nan Du; Hesuan Hu (CDC, 2016)

Robust control of automated manufacturing systems with flexible routes and assembly operations using Petri nets. - Nan Du; Hesuan Hu (CDC, 2016)

Structure independence of supervisor simplification in automated manufacturing systems using Petri nets. - Chen Chen 009; Hesuan Hu (ECC, 2016)

Robust control of automated manufacturing systems with flexibility embedded synchronizations using Petri nets. - Nan Du; Hesuan Hu (ECC, 2016)

Critical stages and their application in large scale automated manufacturing systems via Petri nets. - Hesuan Hu; Yan Yang; Yang Liu 003; Nan Du (ECC, 2016)

Distributed deadlock avoidance in automated manufacturing systems with forward conflict free structures using Petri nets. - Yan Yang; Hesuan Hu (ECC, 2016)

Distributed supervisor synthesis for automated manufacturing systems with flexible routes and assembly operations using Petri nets. - Chen Chen 009; Yan Yang; Hesuan Hu (ICRA, 2016)

Robust control of automated manufacturing systems with assembly operations using petri nets. - Nan Du; Hesuan Hu; Yang Liu 003 (ICRA, 2016)

Backward conflict free systems with resources and their distributed control using Petri nets. - Yan Yang; Hesuan Hu (WODES, 2016)

Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets. - Hesuan Hu; Yang Liu 003; Ling Yuan (IEEE Trans. Control. Syst. Technol., 2016)

Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets. - Hesuan Hu; Rong Su 001; MengChu Zhou; Yang Liu 003 (IEEE Trans. Control. Syst. Technol., 2016)

Robust control of automated manufacturing systems with complex structures using Petri Nets. - Nan Du; Hesuan Hu; Yuan Zhou 005; Yang Liu 003 (CASE, 2017)

Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets. - Junyao Hou; Hesuan Hu; Yuan Zhou 005; Yang Liu 003 (CASE, 2017)

A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets. - Xiaojun Wang; Hesuan Hu; Yuan Zhou 005; Yang Liu 003 (CASE, 2017)

Scheduling of single-arm cluster tools with multi-type wafers and shared PMs. - Jipeng Wang; Chunrong Pan; Hesuan Hu; Yuan Zhou 005 (CASE, 2017)

A robust control approach to AMSs allowing multiple types of resources via Petri Nets. - Xiaojun Wang; Hesuan Hu (CDC, 2017)

Static and dynamic partitions of inequalities and their application in supervisor simplification. - Chen Chen 009; Hesuan Hu; Yang Liu 003 (ICRA, 2017)

A distributed approach to automated manufacturing systems with complex structures using Petri nets. - Yan Yang; Hesuan Hu; Yang Liu 003 (ICRA, 2017)

Novel Two-Phase Approach for Process Optimization of Customer Collaborative Design Based on Fuzzy-QFD and DSM. - Aijun Liu; Hesuan Hu; Xiao Zhang 032; Deming Lei (IEEE Trans. Engineering Management, 2017)

Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2017)

Task Allocation Policy for UGV Systems using Colored Petri Nets. - Xiaojun Wang; Feng Rui; Hesuan Hu (ACC, 2018)

Java Software for Petri-Net-Based Approaches to Discrete Event Systems. - Xiaojun Wang; Chun Han; Hesuan Hu (ICCA, 2018)

A Robust Prevention Method for Automated Manufacturing Systems With Unreliable Resources Using Petri Nets. - Nan Du; Hesuan Hu (IEEE Access, 2018)

A distributed approach to robust control of multi-robot systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (Autom., 2018)

Model checking of timed compatibility for mediation-aided web service composition: A three stage approach. - Yanhua Du; Benyuan Yang; Hesuan Hu (Expert Syst. Appl., 2018)

Polynomial-complexity supervisory control for flexible assembly systems based on Petri nets. - Hao Yue 003; Hesuan Hu; Weimin Wu 002; Hongye Su; Jihui Zhang 003 (Int. J. Comput. Integr. Manuf., 2018)

Environmentally friendly MCDM of reliability-based product optimisation combining DEMATEL-based ANP, interval uncertainty and Vlse Kriterijumska Optimizacija Kompromisno Resenje (VIKOR). - Yixiong Feng; Zhaoxi Hong; Guangdong Tian; Zhiwu Li 001; Jianrong Tan; Hesuan Hu (Inf. Sci., 2018)

Resource failure and buffer space allocation control for automated manufacturing systems. - Hao Yue 003; Keyi Xing; Hesuan Hu; Weimin Wu 002; Hongye Su (Inf. Sci., 2018)

Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets. - Chen Chen 009; Hesuan Hu (IEEE Trans. Autom. Control., 2018)

Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach. - Chen Chen 009; Hesuan Hu (IEEE Access, 2019)

Implementation of Distributed Control of Hierarchical Assembly Systems via Extended Critical Places. - Yan Yang; Hesuan Hu (IEEE Access, 2019)

Estimation of Least-Cost Transition Firing Sequences in Labeled Petri Nets by Using Basis Reachability Graph. - Hao Yue 002; Shulin Xu; Guangrui Zhou; Hesuan Hu; Yiyun Guo; Jihui Zhang 003 (IEEE Access, 2019)

Two-agent stochastic flow shop deteriorating scheduling via a hybrid multi-objective evolutionary algorithm. - Yaping Fu; Hongfeng Wang; Guangdong Tian; Zhiwu Li 001; Hesuan Hu (J. Intell. Manuf., 2019)

Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification. - Chen Chen 009; Hesuan Hu (IEEE Trans. Autom. Control., 2019)

Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly. - Yixiong Feng; Yicong Gao; Guangdong Tian; Zhiwu Li 001; Hesuan Hu; Hao Zheng (IEEE Trans Autom. Sci. Eng., 2019)

A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple Wafer Types and Residency Time Constraints. - Jipeng Wang; Chunrong Pan; Hesuan Hu; Liang Li 020; Yuan Zhou 005 (IEEE Trans Autom. Sci. Eng., 2019)

Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes. - Yanhua Du; Benyuan Yang; Hesuan Hu (IEEE Trans. Ind. Informatics, 2019)

A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2019)

A distributed method to avoid higher-order deadlocks in multi-robot systems. - Yuan Zhou 005; Hesuan Hu; Yang Liu 003; Shang-Wei Lin 001; Zuohua Ding (Autom., 2020)

Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints. - Jipeng Wang; Hesuan Hu; Chunrong Pan; Yuan Zhou 005; Liang Li 020 (IEEE CAA J. Autom. Sinica, 2020)

On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. - Chen Chen 009; Arun Raman; Hesuan Hu; Ramavarapu S. Sreenivas (IEEE Trans. Autom. Control., 2020)

A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources. - Nan Du; Hesuan Hu; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2020)

Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets. - Nan Du; Hesuan Hu; MengChu Zhou (IEEE Trans Autom. Sci. Eng., 2020)

Self-Adaptive Execution of Data-Aware Workflow Processes. - Yanhua Du; Na Li; Hesuan Hu (IEEE Trans. Ind. Informatics, 2020)

A Robust Control Approach to Automated Manufacturing Systems Allowing Multitype and Multiquantity of Resources With Petri Nets. - Xiaojun Wang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

A Robust Control Approach to Automated Manufacturing Systems Combining Absorbing and Distributing Characteristics. - Xiaojun Wang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

A Distributed Control Approach to Automated Manufacturing Systems With Complex Routes and Operations Using Petri Nets. - Yan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources. - Hao Yue 002; Keyi Xing; Hesuan Hu; Weimin Wu 002; Hongye Su (IEEE Trans. Syst. Man Cybern. Syst., 2020)

Optimal Supervisor Simplification in AMS based on Petri Nets and Genetic Algorithm. - Chen Chen 009; Chan Gu; Hesuan Hu (CDC, 2021)

A Multilevel Non-interference Vulnerability Analysis Method for Information Leakage Problem. - Wenjing Zhong; Jinjing Zhao; Hesuan Hu (DSC, 2021)

Event Circular Waits and Their Analysis via Petri Nets. - Xing Fan; Benyuan Yang; Hesuan Hu (IEEE Access, 2021)

Transient Process Optimization for Dual-Arm Cluster Tools With Wafer Revisiting. - Jipeng Wang; Hesuan Hu; Chunrong Pan; Liang Li 020 (IEEE Access, 2021)

Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets. - Nan Du; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2021)

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2021)

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets. - Benyuan Yang; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2022)

Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance. - Benyuan Yang; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2022)

Analyzing Security Requirements in Timed Workflow Processes. - Yanhua Du; Yang Wang; Benyuan Yang; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2022)

Dynamic Implementation of Security Requirements in Business Processes. - Benyuan Yang; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2022)

Extended Place-Invariant Control in Automated Manufacturing Systems Using Petri Nets. - Chen Chen 009; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Discrete Event Approach to Robust Control in Automated Manufacturing Systems. - Xiaojun Wang; Hesuan Hu; MengChu Zhou (IEEE Trans. Syst. Man Cybern. Syst., 2022)

Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems. - Xing Fan; Hesuan Hu; Benyuan Yang; Yuming Liu; Gaoyun He (IEEE Trans Autom. Sci. Eng., 2023)

Security-Aware Collaboration Plan Recommendation for Dynamic Multiple Workflow Processes. - Yanhua Du; Zijian Sun; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2023)

Unified Implementation and Simplification for Task-Based Authorization Security in Workflows. - Wenjing Zhong; Jinjing Zhao; Hesuan Hu (IEEE Trans. Serv. Comput., 2023)

Analysis of Authorization Constraints via Integer Linear Programming. - Benyuan Yang; Hesuan Hu (IEEE Trans. Knowl. Data Eng., 2023)

Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets. - Benyuan Yang; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2023)

Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Robust deadlock control in automated manufacturing systems with unreliable resources based on an algebraic way. - Nan Du; Yan Yang; Hesuan Hu (Int. J. Prod. Res., 2023)

Dynamic Assignment of Roles and Users for Business Processes Under Security Requirements. - Yanhua Du; Yongchuan Zhou; Hesuan Hu (IEEE Trans. Ind. Informatics, 2023)

A Robust Control Approach to AMSs by Using the Implementation of Strong and Weak Robustness. - Xiaojun Wang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2023)

Beacon-Based Firing Control for Authorization Security in Workflows. - Wenjing Zhong; Jinjing Zhao; Hesuan Hu (IEEE Trans. Reliab., 2023)

Multi-service collaboration and composition of cloud manufacturing customized production based on problem decomposition. - Hao Yue 002; Yingtao Wu; Min Wang 026; Hesuan Hu; Weimin Wu 001; Jihui Zhang 003 (CoRR, 2024)

Delegation Security Analysis in Workflow Systems. - Benyuan Yang; Hesuan Hu (IEEE Trans. Dependable Secur. Comput., 2024)

Non-interference assessment in colored net systems via integer linear programming. - Wenjing Zhong; Jinjing Zhao; Hesuan Hu (Inf. Sci., 2024)

Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. - Yuan Zhou 005; Hesuan Hu; Gelei Deng; Kun Cheng; Shang-Wei Lin 001; Yang Liu 003; Zuohua Ding (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator. - Benyuan Yang; Hesuan Hu (IEEE Trans. Control. Syst. Technol., 2024)

Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations. - Hao Yue 002; Yakun Xu; Keyi Xing; Hesuan Hu; Shanchen Pang (IEEE Trans. Syst. Man Cybern. Syst., 2024)

Supervisory Control of Networked Discrete Event Systems to Achieve a Required Language. - Xiaojun Wang; Hesuan Hu; Feng Lin 001 (IEEE Trans. Autom. Control., 2024)

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2024)

An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control. - Benyuan Yang; Hesuan Hu (IEEE Trans. Knowl. Data Eng., 2024)

Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource. - Benyuan Yang; Hesuan Hu (IEEE Trans. Control. Netw. Syst., 2024)

On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems. - Benyuan Yang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2024)

A Strict Minimal Siphon-Based Necessary and Sufficient Condition for Liveness Verification in General Petri Nets. - Tian Ma; Jipeng Wang; Hesuan Hu (IEEE Access, 2025)

Change-Driven Analysis of Timed Security Requirements for Data-Aware Workflow Processes. - Yanhua Du; Gege Mu; Junfen Li; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2025)

Server Failure Detection for Robustness Analysis in Automated Manufacturing Systems With Arbitrary Resource Failures. - Junyan Li; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2025)

A Maximally Permissive Robustness Analysis for Automated Manufacturing Systems Allowing Multiple Server Failures. - Junyan Li; Hesuan Hu (IEEE Trans Autom. Sci. Eng., 2025)

A Production Scheme Design Method for Cloud Manufacturing Service Systems With Resource Uncertainty Using Transition-Rewritable Petri Nets. - Hao Yue 002; Yingtao Wu; Min Wang 026; Hesuan Hu; Shanchen Pang (IEEE Trans Autom. Sci. Eng., 2025)

Minimum Initial Marking Estimation in Labeled Petri Nets Using Minimum Token Number Prediction. - Hao Yue 002; Yakun Xu; Hesuan Hu; Weimin Wu 002; Lingxi Li 001 (IEEE Trans. Autom. Control., 2025)

Assessment of Multilevel Intransitive Noninterference by Nonblocking Analysis. - Wenjing Zhong; Jinjing Zhao; Hesuan Hu (IEEE Trans. Autom. Control., 2025)

Semantics-Based Noninterference Assessment in Cyber-Physical Systems. - Wenjing Zhong; Jinjing Zhao; Hesuan Hu (IEEE Trans. Comput. Soc. Syst., 2025)

Deadlock Resolution in Networked Automated Manufacturing Systems With Communication Delays and Losses Using Petri Nets. - Zijian Zhang; Hesuan Hu (IEEE Trans. Syst. Man Cybern. Syst., 2025)