


default search action
Hesuan Hu
Person information
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j85]Wenjing Zhong
, Jinjing Zhao, Hesuan Hu:
Non-interference assessment in colored net systems via integer linear programming. Inf. Sci. 658: 120027 (2024) - [j84]Xiaojun Wang
, Hesuan Hu
, Feng Lin
:
Supervisory Control of Networked Discrete Event Systems to Achieve a Required Language. IEEE Trans. Autom. Control. 69(7): 4459-4474 (2024) - [j83]Benyuan Yang, Hesuan Hu:
Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource. IEEE Trans. Control. Netw. Syst. 11(4): 1756-1767 (2024) - [j82]Benyuan Yang
, Hesuan Hu
:
Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator. IEEE Trans. Control. Syst. Technol. 32(2): 413-427 (2024) - [j81]Benyuan Yang
, Hesuan Hu
:
Delegation Security Analysis in Workflow Systems. IEEE Trans. Dependable Secur. Comput. 21(1): 229-240 (2024) - [j80]Benyuan Yang
, Hesuan Hu
:
An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control. IEEE Trans. Knowl. Data Eng. 36(9): 4428-4442 (2024) - [j79]Yuan Zhou
, Hesuan Hu
, Gelei Deng, Kun Cheng
, Shang-Wei Lin
, Yang Liu
, Zuohua Ding
:
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control. IEEE Trans. Syst. Man Cybern. Syst. 54(2): 997-1010 (2024) - [j78]Hao Yue
, Yakun Xu
, Keyi Xing
, Hesuan Hu
, Shanchen Pang
:
Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations. IEEE Trans. Syst. Man Cybern. Syst. 54(6): 3427-3438 (2024) - [j77]Benyuan Yang
, Hesuan Hu
:
Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming. IEEE Trans. Syst. Man Cybern. Syst. 54(7): 4089-4100 (2024) - [j76]Benyuan Yang
, Hesuan Hu
:
On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 54(12): 7495-7507 (2024) - [i1]Hao Yue, Yingtao Wu, Min Wang, Hesuan Hu, Weimin Wu, Jihui Zhang:
Multi-service collaboration and composition of cloud manufacturing customized production based on problem decomposition. CoRR abs/2406.19608 (2024) - 2023
- [j75]Nan Du, Yan Yang, Hesuan Hu:
Robust deadlock control in automated manufacturing systems with unreliable resources based on an algebraic way. Int. J. Prod. Res. 61(19): 6403-6417 (2023) - [j74]Xing Fan
, Hesuan Hu
, Benyuan Yang
, Yuming Liu, Gaoyun He:
Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 20(1): 597-610 (2023) - [j73]Benyuan Yang
, Hesuan Hu
:
Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets. IEEE Trans Autom. Sci. Eng. 20(2): 775-788 (2023) - [j72]Yanhua Du
, Zijian Sun, Hesuan Hu
:
Security-Aware Collaboration Plan Recommendation for Dynamic Multiple Workflow Processes. IEEE Trans. Dependable Secur. Comput. 20(1): 100-113 (2023) - [j71]Yanhua Du
, Yongchuan Zhou, Hesuan Hu
:
Dynamic Assignment of Roles and Users for Business Processes Under Security Requirements. IEEE Trans. Ind. Informatics 19(10): 10344-10355 (2023) - [j70]Benyuan Yang
, Hesuan Hu
:
Analysis of Authorization Constraints via Integer Linear Programming. IEEE Trans. Knowl. Data Eng. 35(3): 2258-2271 (2023) - [j69]Wenjing Zhong
, Jinjing Zhao
, Hesuan Hu
:
Beacon-Based Firing Control for Authorization Security in Workflows. IEEE Trans. Reliab. 72(4): 1594-1609 (2023) - [j68]Wenjing Zhong
, Jinjing Zhao
, Hesuan Hu
:
Unified Implementation and Simplification for Task-Based Authorization Security in Workflows. IEEE Trans. Serv. Comput. 16(5): 3796-3811 (2023) - [j67]Benyuan Yang
, Hesuan Hu
:
Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. 53(6): 3527-3539 (2023) - [j66]Xiaojun Wang
, Hesuan Hu
:
A Robust Control Approach to AMSs by Using the Implementation of Strong and Weak Robustness. IEEE Trans. Syst. Man Cybern. Syst. 53(11): 6986-6998 (2023) - 2022
- [j65]Benyuan Yang
, Hesuan Hu
:
Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets. IEEE Trans Autom. Sci. Eng. 19(4): 3686-3699 (2022) - [j64]Benyuan Yang
, Hesuan Hu
:
Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance. IEEE Trans Autom. Sci. Eng. 19(4): 3838-3852 (2022) - [j63]Yanhua Du
, Yang Wang, Benyuan Yang
, Hesuan Hu
:
Analyzing Security Requirements in Timed Workflow Processes. IEEE Trans. Dependable Secur. Comput. 19(1): 190-207 (2022) - [j62]Benyuan Yang
, Hesuan Hu
:
Dynamic Implementation of Security Requirements in Business Processes. IEEE Trans. Dependable Secur. Comput. 19(2): 1352-1363 (2022) - [j61]Xiaojun Wang
, Hesuan Hu
, MengChu Zhou
:
Discrete Event Approach to Robust Control in Automated Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Syst. 52(1): 123-135 (2022) - [j60]Chen Chen
, Hesuan Hu
:
Extended Place-Invariant Control in Automated Manufacturing Systems Using Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 52(3): 1807-1822 (2022) - 2021
- [j59]Jipeng Wang
, Hesuan Hu
, Chunrong Pan, Liang Li:
Transient Process Optimization for Dual-Arm Cluster Tools With Wafer Revisiting. IEEE Access 9: 50093-50105 (2021) - [j58]Xing Fan
, Benyuan Yang
, Hesuan Hu
:
Event Circular Waits and Their Analysis via Petri Nets. IEEE Access 9: 92586-92599 (2021) - [j57]Nan Du
, Hesuan Hu
:
Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets. IEEE Trans Autom. Sci. Eng. 18(4): 1790-1802 (2021) - [j56]Benyuan Yang
, Hesuan Hu
:
Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation. IEEE Trans. Syst. Man Cybern. Syst. 51(8): 5067-5079 (2021) - [j55]Benyuan Yang
, Hesuan Hu
:
Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach. IEEE Trans. Syst. Man Cybern. Syst. 51(9): 5478-5489 (2021) - [c51]Chen Chen, Chan Gu, Hesuan Hu:
Optimal Supervisor Simplification in AMS based on Petri Nets and Genetic Algorithm. CDC 2021: 1757-1764 - [c50]Wenjing Zhong, Jinjing Zhao, Hesuan Hu:
A Multilevel Non-interference Vulnerability Analysis Method for Information Leakage Problem. DSC 2021: 367-374 - 2020
- [j54]Yuan Zhou
, Hesuan Hu, Yang Liu
, Shang-Wei Lin
, Zuohua Ding:
A distributed method to avoid higher-order deadlocks in multi-robot systems. Autom. 112 (2020) - [j53]Jipeng Wang
, Hesuan Hu, Chunrong Pan, Yuan Zhou, Liang Li
:
Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints. IEEE CAA J. Autom. Sinica 7(3): 776-789 (2020) - [j52]Chen Chen
, Arun Raman
, Hesuan Hu
, Ramavarapu S. Sreenivas
:
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets. IEEE Trans. Autom. Control. 65(12): 5236-5247 (2020) - [j51]Nan Du
, Hesuan Hu
, MengChu Zhou
:
A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources. IEEE Trans Autom. Sci. Eng. 17(1): 389-406 (2020) - [j50]Nan Du
, Hesuan Hu
, MengChu Zhou
:
Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets. IEEE Trans Autom. Sci. Eng. 17(4): 1961-1975 (2020) - [j49]Yanhua Du
, Na Li, Hesuan Hu
:
Self-Adaptive Execution of Data-Aware Workflow Processes. IEEE Trans. Ind. Informatics 16(12): 7295-7305 (2020) - [j48]Xiaojun Wang
, Hesuan Hu
:
A Robust Control Approach to Automated Manufacturing Systems Allowing Multitype and Multiquantity of Resources With Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3499-3514 (2020) - [j47]Hao Yue
, Keyi Xing
, Hesuan Hu
, Weimin Wu
, Hongye Su
:
Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3528-3540 (2020) - [j46]Yan Yang
, Hesuan Hu
:
A Distributed Control Approach to Automated Manufacturing Systems With Complex Routes and Operations Using Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 50(10): 3670-3684 (2020) - [j45]Xiaojun Wang
, Hesuan Hu
:
A Robust Control Approach to Automated Manufacturing Systems Combining Absorbing and Distributing Characteristics. IEEE Trans. Syst. Man Cybern. Syst. 50(12): 5024-5036 (2020)
2010 – 2019
- 2019
- [j44]Chen Chen
, Hesuan Hu:
Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach. IEEE Access 7: 23149-23162 (2019) - [j43]Hao Yue
, Shulin Xu, Guangrui Zhou, Hesuan Hu, Yiyun Guo, Jihui Zhang:
Estimation of Least-Cost Transition Firing Sequences in Labeled Petri Nets by Using Basis Reachability Graph. IEEE Access 7: 165387-165398 (2019) - [j42]Yan Yang
, Hesuan Hu
:
Implementation of Distributed Control of Hierarchical Assembly Systems via Extended Critical Places. IEEE Access 7: 182937-182950 (2019) - [j41]Yaping Fu, Hongfeng Wang
, Guangdong Tian, Zhiwu Li, Hesuan Hu:
Two-agent stochastic flow shop deteriorating scheduling via a hybrid multi-objective evolutionary algorithm. J. Intell. Manuf. 30(5): 2257-2272 (2019) - [j40]Chen Chen
, Hesuan Hu
:
Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification. IEEE Trans. Autom. Control. 64(11): 4748-4755 (2019) - [j39]Yixiong Feng
, Yicong Gao, Guangdong Tian
, Zhiwu Li
, Hesuan Hu
, Hao Zheng:
Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly. IEEE Trans Autom. Sci. Eng. 16(1): 311-326 (2019) - [j38]Jipeng Wang
, Chunrong Pan, Hesuan Hu
, Liang Li
, Yuan Zhou
:
A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple Wafer Types and Residency Time Constraints. IEEE Trans Autom. Sci. Eng. 16(3): 1373-1386 (2019) - [j37]Yanhua Du
, Benyuan Yang
, Hesuan Hu
:
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes. IEEE Trans. Ind. Informatics 15(5): 2617-2627 (2019) - [j36]Yuan Zhou
, Hesuan Hu
, Yang Liu
, Shang-Wei Lin
, Zuohua Ding
:
A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems. IEEE Trans. Syst. Man Cybern. Syst. 49(12): 2636-2650 (2019) - 2018
- [j35]Nan Du
, Hesuan Hu:
A Robust Prevention Method for Automated Manufacturing Systems With Unreliable Resources Using Petri Nets. IEEE Access 6: 78598-78608 (2018) - [j34]Yuan Zhou
, Hesuan Hu, Yang Liu
, Shang-Wei Lin
, Zuohua Ding:
A distributed approach to robust control of multi-robot systems. Autom. 98: 1-13 (2018) - [j33]Yanhua Du, Benyuan Yang, Hesuan Hu:
Model checking of timed compatibility for mediation-aided web service composition: A three stage approach. Expert Syst. Appl. 112: 190-207 (2018) - [j32]Hao Yue, Hesuan Hu, Weimin Wu, Hongye Su, Jihui Zhang:
Polynomial-complexity supervisory control for flexible assembly systems based on Petri nets. Int. J. Comput. Integr. Manuf. 31(1): 71-86 (2018) - [j31]Yixiong Feng
, Zhaoxi Hong
, Guangdong Tian, Zhiwu Li, Jianrong Tan, Hesuan Hu:
Environmentally friendly MCDM of reliability-based product optimisation combining DEMATEL-based ANP, interval uncertainty and Vlse Kriterijumska Optimizacija Kompromisno Resenje (VIKOR). Inf. Sci. 442-443: 128-144 (2018) - [j30]Hao Yue, Keyi Xing, Hesuan Hu, Weimin Wu
, Hongye Su:
Resource failure and buffer space allocation control for automated manufacturing systems. Inf. Sci. 450: 392-408 (2018) - [j29]Chen Chen
, Hesuan Hu
:
Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets. IEEE Trans. Autom. Control. 63(7): 1987-2002 (2018) - [c49]Xiaojun Wang, Feng Rui, Hesuan Hu:
Task Allocation Policy for UGV Systems using Colored Petri Nets. ACC 2018: 3050-3055 - [c48]Xiaojun Wang, Chun Han, Hesuan Hu:
Java Software for Petri-Net-Based Approaches to Discrete Event Systems. ICCA 2018: 330-335 - 2017
- [j28]Aijun Liu, Hesuan Hu
, Xiao Zhang, Deming Lei:
Novel Two-Phase Approach for Process Optimization of Customer Collaborative Design Based on Fuzzy-QFD and DSM. IEEE Trans. Engineering Management 64(2): 193-207 (2017) - [j27]Yuan Zhou
, Hesuan Hu
, Yang Liu
, Zuohua Ding:
Collision and Deadlock Avoidance in Multirobot Systems: A Distributed Approach. IEEE Trans. Syst. Man Cybern. Syst. 47(7): 1712-1726 (2017) - [c47]Junyao Hou, Hesuan Hu, Yuan Zhou
, Yang Liu
:
Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets. CASE 2017: 358-363 - [c46]Nan Du, Hesuan Hu, Yuan Zhou
, Yang Liu
:
Robust control of automated manufacturing systems with complex structures using Petri Nets. CASE 2017: 364-369 - [c45]Xiaojun Wang, Hesuan Hu, Yuan Zhou
, Yang Liu
:
A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets. CASE 2017: 370-375 - [c44]Jipeng Wang
, Chunrong Pan, Hesuan Hu, Yuan Zhou
:
Scheduling of single-arm cluster tools with multi-type wafers and shared PMs. CASE 2017: 1046-1051 - [c43]Xiaojun Wang, Hesuan Hu:
A robust control approach to AMSs allowing multiple types of resources via Petri Nets. CDC 2017: 2354-2359 - [c42]Chen Chen, Hesuan Hu, Yang Liu
:
Static and dynamic partitions of inequalities and their application in supervisor simplification. ICRA 2017: 536-542 - [c41]Yan Yang, Hesuan Hu, Yang Liu
:
A distributed approach to automated manufacturing systems with complex structures using Petri nets. ICRA 2017: 3016-3023 - 2016
- [j26]Hesuan Hu, Yang Liu
, Ling Yuan:
Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets. IEEE Trans. Control. Syst. Technol. 24(1): 81-95 (2016) - [j25]Hesuan Hu, Rong Su
, MengChu Zhou, Yang Liu
:
Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets. IEEE Trans. Control. Syst. Technol. 24(5): 1610-1622 (2016) - [c40]Hesuan Hu, Yan Yang, Yang Liu
, Nan Du:
Critical stages and their identification in large scale automated manufacturing systems via Petri nets. CASE 2016: 413-420 - [c39]Nan Du, Hesuan Hu:
Robust control of Backward Conflict Free Systems with Resources using Petri nets. CASE 2016: 1034-1041 - [c38]Yan Yang, Hesuan Hu:
Mono-T-semiflow systems with resources and their distributed control using Petri nets. CASE 2016: 1042-1048 - [c37]Nan Du, Hesuan Hu:
Robust control of Mono-T-Semiflow Processes with resources using Petri nets. CDC 2016: 4778-4784 - [c36]Nan Du, Hesuan Hu:
Robust control of automated manufacturing systems with flexible routes and assembly operations using Petri nets. CDC 2016: 4785-4790 - [c35]Nan Du, Hesuan Hu:
Robust control of automated manufacturing systems with flexibility embedded synchronizations using Petri nets. ECC 2016: 2322-2328 - [c34]Chen Chen, Hesuan Hu:
Structure independence of supervisor simplification in automated manufacturing systems using Petri nets. ECC 2016: 2329-2336 - [c33]Hesuan Hu, Yan Yang, Yang Liu
, Nan Du:
Critical stages and their application in large scale automated manufacturing systems via Petri nets. ECC 2016: 2337-2344 - [c32]Yan Yang, Hesuan Hu:
Distributed deadlock avoidance in automated manufacturing systems with forward conflict free structures using Petri nets. ECC 2016: 2345-2352 - [c31]Nan Du, Hesuan Hu, Yang Liu
:
Robust control of automated manufacturing systems with assembly operations using petri nets. ICRA 2016: 3632-3638 - [c30]Chen Chen, Yan Yang, Hesuan Hu:
Distributed supervisor synthesis for automated manufacturing systems with flexible routes and assembly operations using Petri nets. ICRA 2016: 3667-3673 - [c29]Yan Yang, Hesuan Hu:
Backward conflict free systems with resources and their distributed control using Petri nets. WODES 2016: 264-271 - 2015
- [j24]Hao Yue, Keyi Xing, Hesuan Hu, Weimin Wu, Hongye Su:
Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources. Comput. Ind. Eng. 83: 139-150 (2015) - [j23]Hesuan Hu, Ling Wang, Peter B. Luh:
Intelligent manufacturing: New advances and challenges. J. Intell. Manuf. 26(5): 841-843 (2015) - [j22]Ken Goldberg
, Youfu Li
, Yu Sun, Maria Pia Fanti, Hesuan Hu:
Emerging Advances in Automation [From the Guest Editors]. IEEE Robotics Autom. Mag. 22(2): 22, 98 (2015) - [j21]Guangdong Tian, MengChu Zhou, Jiangwei Chu, Tiangang Qiang, Hesuan Hu:
Stochastic Cost-Profit Tradeoff Model for Locating an Automotive Service Enterprise. IEEE Trans Autom. Sci. Eng. 12(2): 580-587 (2015) - [j20]Hesuan Hu, MengChu Zhou:
A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations. IEEE Trans. Control. Syst. Technol. 23(2): 513-524 (2015) - [j19]Hesuan Hu, Yang Liu
, Mengchu Zhou:
Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets. IEEE Trans. Control. Syst. Technol. 23(5): 2026-2034 (2015) - [j18]Hesuan Hu, Yang Liu
:
Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets. IEEE Trans. Ind. Informatics 11(2): 450-458 (2015) - [c28]Jasen Markovski, Hesuan Hu:
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible? CASE 2015: 521-525 - [c27]Chen Chen, Hesuan Hu:
Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets. CASE 2015: 532-538 - [c26]Yan Cheng, Hesuan Hu, Yang Liu
:
Robust supervisor synthesis for automated manufacturing systems using Petri nets. CASE 2015: 1029-1035 - [c25]Yan Yang, Hesuan Hu, Yang Liu
:
A Petri net-based distributed control of automated manufacturing systems with assembly operations. CASE 2015: 1090-1097 - [c24]Hesuan Hu, Chen Chen, Yang Liu
, Yan Yang:
Supervisors and their simplification in automated manufacturing systems via Petri nets. ICRA 2015: 969-975 - [c23]Hesuan Hu, Yan Yang, Yang Liu
, Chen Chen:
Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets. ICRA 2015: 3826-3832 - [c22]Chen Chen, Hesuan Hu:
Time-varying automated manufacturing systems and their event-based control: A Petri net approach. ICRA 2015: 3833-3840 - [c21]Chen Chen, Hesuan Hu:
An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis. ICRA 2015: 3841-3848 - 2014
- [j17]Hesuan Hu, Yang Liu
:
Supervisor Simplification for AMS Based on Petri Nets and Inequality Analysis. IEEE Trans Autom. Sci. Eng. 11(1): 66-77 (2014) - [c20]Jasen Markovski, Hesuan Hu:
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions. CASE 2014: 436-442 - [c19]Hesuan Hu, Yan Yang, Yang Liu
, Chen Chen:
Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis. CASE 2014: 449-454 - [c18]Hesuan Hu, Chen Chen, Yang Liu
, Yan Yang:
A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets. CASE 2014: 619-625 - [c17]Hesuan Hu, Chen Chen, Rong Su
, Yang Liu
, MengChu Zhou:
Distributed supervisor synthesis for automated manufacturing systems using Petri nets. ICRA 2014: 4423-4429 - 2013
- [j16]Hesuan Hu, MengChu Zhou, Zhiwu Li, Ying Tang:
An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems. IEEE Trans Autom. Sci. Eng. 10(3): 772-782 (2013) - [j15]Hesuan Hu, MengChu Zhou, Zhiwu Li, Ying Tang:
Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets. IEEE Trans. Ind. Informatics 9(1): 109-121 (2013) - [c16]Yen-Liang Pan
, Hesuan Hu, MuDer Jeng:
One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets. CASE 2013: 924-929 - [c15]Hao Yue, Hesuan Hu:
Robust deadlock control using shared-resources for production systems with unreliable workstations. CASE 2013: 1095-1100 - [c14]Hesuan Hu, MengChu Zhou, Yang Liu
:
Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets. CASE 2013: 1139-1144 - [c13]Hesuan Hu, MengChu Zhou, Yang Liu
:
Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets. CASE 2013: 1145-1150 - [c12]Hao Yue, Hesuan Hu:
A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets. CASE 2013: 1151-1156 - [c11]Ding Liu, Yifan Hou, Hesuan Hu, Kamel Barkaoui, MengChu Zhou:
Liveness and resource usage ratio-enforcing supervisor for a class of generalized Petri nets. ICCA 2013: 1278-1283 - [c10]Hesuan Hu, MengChu Zhou, ZhiWu Li:
A novel method to simplify supervisor for AMS based on Petri nets and inequality analysis. ICRA 2013: 3573-3579 - 2012
- [j14]Hesuan Hu, MengChu Zhou, ZhiWu Li:
Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42(2): 392-403 (2012) - [c9]Hesuan Hu, Rong Su
:
A novel approach to liveness supervision of AMS with assembly operations using Petri nets. ICARCV 2012: 264-269 - 2011
- [j13]Hesuan Hu, Zhiwu Li, Abdulrahman Al-Ahmari
:
Reversed fuzzy Petri nets and their application for fault diagnosis. Comput. Ind. Eng. 60(4): 505-510 (2011) - [j12]Shao Yong Li, ZhiWu Li, Hesuan Hu:
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets. Int. J. Comput. Integr. Manuf. 24(8): 710-725 (2011) - [j11]Hesuan Hu, MengChu Zhou, Zhiwu Li:
Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets. IEEE Trans Autom. Sci. Eng. 8(4): 794-804 (2011) - [j10]Hesuan Hu, Mengchu Zhou, Zhiwu Li:
Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems. IEEE Trans. Syst. Man Cybern. Part A 41(2): 201-212 (2011) - [c8]Hesuan Hu, Ying Tang, Mengchu Zhou, Zhiwu Li:
Liveness supervision of AMS with complex processes using Petri nets. SMC 2011: 844-849 - 2010
- [j9]Mi Zhao, ZhiWu Li, Hesuan Hu:
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. Int. J. Syst. Sci. 41(9): 1013-1026 (2010) - [j8]Hesuan Hu, Zhiwu Li:
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. J. Intell. Manuf. 21(4): 555-567 (2010) - [j7]Hesuan Hu, MengChu Zhou, ZhiWu Li:
Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets. IEEE Trans Autom. Sci. Eng. 7(3): 549-557 (2010) - [j6]Hesuan Hu, MengChu Zhou, Zhiwu Li:
Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets. IEEE Trans Autom. Sci. Eng. 7(4): 933-944 (2010) - [c7]Hesuan Hu, Mengchu Zhou, Zhiwu Li, Naiqi Wu:
Deadlock-free control of ratio-enforced automated manufacturing systems with flexible routes and assembly operations. CASE 2010: 459-464 - [c6]Hesuan Hu, Mengchu Zhou, Zhiwu Li:
Deadlock resolution method for automated manufacturing systems modeled with Petri nets. SMC 2010: 2551-2556
2000 – 2009
- 2009
- [j5]ZhiWu Li, Hesuan Hu:
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors. Comput. Ind. Eng. 56(1): 53-62 (2009) - [j4]Hesuan Hu, Zhiwu Li:
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs. Comput. Ind. Eng. 57(4): 1168-1181 (2009) - [j3]Hesuan Hu, Zhiwu Li:
Liveness Enforcing Supervision in Video Streaming Systems using Siphons. J. Inf. Sci. Eng. 25(6): 1863-1884 (2009) - [j2]Hesuan Hu, Zhiwu Li:
Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior. IEEE Trans Autom. Sci. Eng. 6(3): 557-559 (2009) - [j1]Hesuan Hu, MengChu Zhou, ZhiWu Li:
Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets. IEEE Trans. Multim. 11(8): 1457-1465 (2009) - [c5]Hesuan Hu, Mengchu Zhou, Zhiwu Li:
A New Class of Petri Nets for Modeling and Control of Ratio-enforced Resource Allocation Systems. SMC 2009: 199-204 - 2008
- [c4]Hesuan Hu, Zhiwu Li, Mengchu Zhou:
Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems. SMC 2008: 1948-1953 - 2006
- [c3]Hesuan Hu, ZhiWu Li, Anrong Wang:
Mining of Flexible Manufacturing System Using Work Event Logs and Petri Nets. ADMA 2006: 380-387 - 2005
- [c2]Hesuan Hu, ZhiWu Li, Weidong Wang:
Modified PSO Algorithm for Deadlock Control in FMS. CIS (1) 2005: 1094-1099 - 2004
- [c1]ZhiWu Li, Hesuan Hu, MengChu Zhou:
An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control. SMC (5) 2004: 4849-4854
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-02-15 00:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint