Hesuan Hu
Orcid: 0000-0002-8724-2058
According to our database1,
Hesuan Hu
authored at least 135 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
On the Equivalence Between Robustness and Liveness in Automated Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Syst., December, 2024
An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control.
IEEE Trans. Knowl. Data Eng., September, 2024
Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming.
IEEE Trans. Syst. Man Cybern. Syst., July, 2024
Supervisory Control of Networked Discrete Event Systems to Achieve a Required Language.
IEEE Trans. Autom. Control., July, 2024
Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations.
IEEE Trans. Syst. Man Cybern. Syst., June, 2024
Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator.
IEEE Trans. Control. Syst. Technol., March, 2024
Distributed Motion Control for Multiple Mobile Robots Using Discrete-Event Systems and Model Predictive Control.
IEEE Trans. Syst. Man Cybern. Syst., February, 2024
Inf. Sci., February, 2024
IEEE Trans. Dependable Secur. Comput., 2024
Multi-service collaboration and composition of cloud manufacturing customized production based on problem decomposition.
CoRR, 2024
2023
IEEE Trans. Reliab., December, 2023
A Robust Control Approach to AMSs by Using the Implementation of Strong and Weak Robustness.
IEEE Trans. Syst. Man Cybern. Syst., November, 2023
Dynamic Assignment of Roles and Users for Business Processes Under Security Requirements.
IEEE Trans. Ind. Informatics, October, 2023
Robust deadlock control in automated manufacturing systems with unreliable resources based on an algebraic way.
Int. J. Prod. Res., October, 2023
Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources.
IEEE Trans. Syst. Man Cybern. Syst., June, 2023
Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets.
IEEE Trans Autom. Sci. Eng., April, 2023
IEEE Trans. Knowl. Data Eng., March, 2023
Unified Implementation and Simplification for Task-Based Authorization Security in Workflows.
IEEE Trans. Serv. Comput., 2023
Security-Aware Collaboration Plan Recommendation for Dynamic Multiple Workflow Processes.
IEEE Trans. Dependable Secur. Comput., 2023
IEEE Trans Autom. Sci. Eng., 2023
2022
IEEE Trans. Syst. Man Cybern. Syst., 2022
Extended Place-Invariant Control in Automated Manufacturing Systems Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2022
IEEE Trans. Dependable Secur. Comput., 2022
IEEE Trans. Dependable Secur. Comput., 2022
Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance.
IEEE Trans Autom. Sci. Eng., 2022
Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2022
2021
IEEE Trans. Syst. Man Cybern. Syst., 2021
Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation.
IEEE Trans. Syst. Man Cybern. Syst., 2021
Robust Deadlock Detection and Control of Automated Manufacturing Systems With Multiple Unreliable Resources Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2021
IEEE Access, 2021
A Multilevel Non-interference Vulnerability Analysis Method for Information Leakage Problem.
Proceedings of the Sixth IEEE International Conference on Data Science in Cyberspace, 2021
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources.
IEEE Trans. Syst. Man Cybern. Syst., 2020
A Distributed Control Approach to Automated Manufacturing Systems With Complex Routes and Operations Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2020
A Robust Control Approach to Automated Manufacturing Systems Combining Absorbing and Distributing Characteristics.
IEEE Trans. Syst. Man Cybern. Syst., 2020
A Robust Control Approach to Automated Manufacturing Systems Allowing Multitype and Multiquantity of Resources With Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst., 2020
IEEE Trans. Ind. Informatics, 2020
Robust Deadlock Avoidance and Control of Automated Manufacturing Systems With Assembly Operations Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2020
A Survey on Robust Deadlock Control Policies for Automated Manufacturing Systems With Unreliable Resources.
IEEE Trans Autom. Sci. Eng., 2020
IEEE Trans. Autom. Control., 2020
Scheduling dual-arm cluster tools with multiple wafer types and residency time constraints.
IEEE CAA J. Autom. Sinica, 2020
Autom., 2020
2019
A Real-Time and Fully Distributed Approach to Motion Planning for Multirobot Systems.
IEEE Trans. Syst. Man Cybern. Syst., 2019
Incremental Analysis of Temporal Constraints for Concurrent Workflow Processes With Dynamic Changes.
IEEE Trans. Ind. Informatics, 2019
A Cyclic Scheduling Approach to Single-Arm Cluster Tools With Multiple Wafer Types and Residency Time Constraints.
IEEE Trans Autom. Sci. Eng., 2019
Flexible Process Planning and End-of-Life Decision-Making for Product Recovery Optimization Based on Hybrid Disassembly.
IEEE Trans Autom. Sci. Eng., 2019
Static and Dynamic Partitions of Inequalities: A Unified Methodology for Supervisor Simplification.
IEEE Trans. Autom. Control., 2019
Two-agent stochastic flow shop deteriorating scheduling via a hybrid multi-objective evolutionary algorithm.
J. Intell. Manuf., 2019
Estimation of Least-Cost Transition Firing Sequences in Labeled Petri Nets by Using Basis Reachability Graph.
IEEE Access, 2019
Implementation of Distributed Control of Hierarchical Assembly Systems via Extended Critical Places.
IEEE Access, 2019
Time-Varying Automated Manufacturing Systems and Their Invariant-Based Control: A Petri Net Approach.
IEEE Access, 2019
2018
Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets.
IEEE Trans. Autom. Control., 2018
Resource failure and buffer space allocation control for automated manufacturing systems.
Inf. Sci., 2018
Environmentally friendly MCDM of reliability-based product optimisation combining DEMATEL-based ANP, interval uncertainty and Vlse Kriterijumska Optimizacija Kompromisno Resenje (VIKOR).
Inf. Sci., 2018
Polynomial-complexity supervisory control for flexible assembly systems based on Petri nets.
Int. J. Comput. Integr. Manuf., 2018
Model checking of timed compatibility for mediation-aided web service composition: A three stage approach.
Expert Syst. Appl., 2018
A Robust Prevention Method for Automated Manufacturing Systems With Unreliable Resources Using Petri Nets.
IEEE Access, 2018
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018
Proceedings of the 2018 Annual American Control Conference, 2018
2017
IEEE Trans. Syst. Man Cybern. Syst., 2017
Novel Two-Phase Approach for Process Optimization of Customer Collaborative Design Based on Fuzzy-QFD and DSM.
IEEE Trans. Engineering Management, 2017
A distributed approach to automated manufacturing systems with complex structures using Petri nets.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017
Static and dynamic partitions of inequalities and their application in supervisor simplification.
Proceedings of the 2017 IEEE International Conference on Robotics and Automation, 2017
A robust control approach to AMSs allowing multiple types of resources via Petri Nets.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
Robust control of automated manufacturing systems with complex structures using Petri Nets.
Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017
2016
Polynomially Complex Synthesis of Distributed Supervisors for Large-Scale AMSs Using Petri Nets.
IEEE Trans. Control. Syst. Technol., 2016
Supervisor Simplification in FMSs: Comparative Studies and New Results Using Petri Nets.
IEEE Trans. Control. Syst. Technol., 2016
Backward conflict free systems with resources and their distributed control using Petri nets.
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Robust control of automated manufacturing systems with assembly operations using petri nets.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
Distributed supervisor synthesis for automated manufacturing systems with flexible routes and assembly operations using Petri nets.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016
Distributed deadlock avoidance in automated manufacturing systems with forward conflict free structures using Petri nets.
Proceedings of the 15th European Control Conference, 2016
Critical stages and their application in large scale automated manufacturing systems via Petri nets.
Proceedings of the 15th European Control Conference, 2016
Robust control of automated manufacturing systems with flexibility embedded synchronizations using Petri nets.
Proceedings of the 15th European Control Conference, 2016
Structure independence of supervisor simplification in automated manufacturing systems using Petri nets.
Proceedings of the 15th European Control Conference, 2016
Robust control of automated manufacturing systems with flexible routes and assembly operations using Petri nets.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Mono-T-semiflow systems with resources and their distributed control using Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016
Critical stages and their identification in large scale automated manufacturing systems via Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2016
2015
Supervisor Synthesis and Performance Improvement for Automated Manufacturing Systems by Using Petri Nets.
IEEE Trans. Ind. Informatics, 2015
A Petri Net-Based Discrete-Event Control of Automated Manufacturing Systems With Assembly Operations.
IEEE Trans. Control. Syst. Technol., 2015
Maximally Permissive Distributed Control of Large Scale Automated Manufacturing Systems Modeled With Petri Nets.
IEEE Trans. Control. Syst. Technol., 2015
IEEE Trans Autom. Sci. Eng., 2015
IEEE Robotics Autom. Mag., 2015
Robust supervision using shared-buffers in automated manufacturing systems with unreliable resources.
Comput. Ind. Eng., 2015
Supervisor design and simplification for Automated Manufacturing Systems using colored Petri nets.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
Supervisors and their simplification in automated manufacturing systems via Petri nets.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
An approach to specification simplification in automated manufacturing systems using invariance and inequality analysis.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
Time-varying automated manufacturing systems and their event-based control: A Petri net approach.
Proceedings of the IEEE International Conference on Robotics and Automation, 2015
A Petri net-based distributed control of automated manufacturing systems with assembly operations.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
Is multicore supervisory controller synthesis in the Ramadge-Wonham framework feasible?
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets.
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
2014
IEEE Trans Autom. Sci. Eng., 2014
Distributed supervisor synthesis for automated manufacturing systems using Petri nets.
Proceedings of the 2014 IEEE International Conference on Robotics and Automation, 2014
A synthesis-centric model-based systems engineering framework for reliable supervision of systems with general distributions.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014
Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014
A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets.
Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering, 2014
2013
Deadlock-Free Control of Automated Manufacturing Systems With Flexible Routes and Assembly Operations Using Petri Nets.
IEEE Trans. Ind. Informatics, 2013
An Optimization Approach to Improved Petri Net Controller Design for Automated Manufacturing Systems.
IEEE Trans Autom. Sci. Eng., 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
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
A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013
Robust deadlock control using shared-resources for production systems with unreliable workstations.
Proceedings of the 2013 IEEE International Conference on Automation Science and Engineering, 2013
One computationally improved deadlock prevention policy for flexible manufacturing systems using 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
2012
Liveness and Ratio-Enforcing Supervision of Automated Manufacturing Systems Using Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A, 2012
A novel approach to liveness supervision of AMS with assembly operations using Petri nets.
Proceedings of the 12th International Conference on Control Automation Robotics & Vision, 2012
2011
Supervisor Design to Enforce Production Ratio and Absence of Deadlock in Automated Manufacturing Systems.
IEEE Trans. Syst. Man Cybern. Part A, 2011
Supervisor Optimization for Deadlock Resolution in Automated Manufacturing Systems With Petri Nets.
IEEE Trans Autom. Sci. Eng., 2011
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets.
Int. J. Comput. Integr. Manuf., 2011
Comput. Ind. Eng., 2011
Proceedings of the IEEE International Conference on Systems, 2011
2010
Low-Cost and High-Performance Supervision in Ratio-Enforced Automated Manufacturing Systems Using Timed Petri Nets.
IEEE Trans Autom. Sci. Eng., 2010
Algebraic Synthesis of Timed Supervisor for Automated Manufacturing Systems Using Petri Nets.
IEEE Trans Autom. Sci. Eng., 2010
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons.
J. Intell. Manuf., 2010
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming.
Int. J. Syst. Sci., 2010
Deadlock resolution method for automated manufacturing systems modeled with Petri nets.
Proceedings of the IEEE International Conference on Systems, 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
Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets.
IEEE Trans. Multim., 2009
Clarification on the Computation of Liveness-Enforcing Supervisor for Resource Allocation Systems With Uncontrollable Behavior.
IEEE Trans Autom. Sci. Eng., 2009
J. Inf. Sci. Eng., 2009
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors.
Comput. Ind. Eng., 2009
Local and global deadlock prevention policies for resource allocation systems using partially generated reachability graphs.
Comput. Ind. Eng., 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
2008
Two generalized-petri-net-based strategies for deadlock prevention in resource allocation systems.
Proceedings of the IEEE International Conference on Systems, 2008
2006
Proceedings of the Advanced Data Mining and Applications, Second International Conference, 2006
2005
Proceedings of the Computational Intelligence and Security, International Conference, 2005
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