Benyuan Yang - Publications, H-index & Citations

Benyuan Yang

soochow university

10H指数

24论文数

170被引数

收录论文 19

发表时间

Robustness Analysis and Control for Automated Manufacturing Systems With Unobservable Events Using Petri Nets 基于Petri网的具有不可观测事件的自动化制造系统鲁棒性分析与控制

IEEE Transactions on Systems Man Cybernetics-Systems

IF8.7

2026-05-14

PREAI

Benyuan Yang; Hesuan Hu

Maximally Permissive Robustness Discovery in Automated Manufacturing Systems With an Unreliable Resource 在具有不可靠资源的自动化制造系统中发现最大允许的鲁棒性

IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS

IF5

2024-12-01

PREAI

Yang, Benyuan; Hu, Hesuan

An Efficient Verification Approach to Separation of Duty in Attribute-Based Access Control

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

2024-09-01

PREAI

Yang, Benyuan; Hu, Hesuan

Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming

ieee transactions on cybernetics

IF8.7

2024-07-01

PREAI

Yang, Benyuan; Hu, Hesuan

Decentralized Enforcement of Linear State Specifications for Augmented Marked Graphs With a Coordinator

IEEE TRANSACTIONS ON CONTROL SYSTEMS TECHNOLOGY

IF3.9

2024-03-01

PREAI

Yang, Benyuan; Hu, Hesuan

Ensuring secure interoperation of access control in a multidomain environment 确保多域环境中访问控制的安全互操作

COMPUTERS & SECURITY

IF5.4

2024-02-01

PREAI

Yang, Benyuan; Luo, Lili; Wang, Zhimeng

Delegation Security Analysis in Workflow Systems

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2024-01-01

PREAI

Yang, Benyuan; Hu, Hesuan

Enforcement of separation of duty constraints in attribute-based access control

COMPUTERS & SECURITY

IF5.4

2023-08-01

PREAI

Yang, Benyuan

Maximally Permissive Robustness Analysis of Automated Manufacturing Systems With Multiple Unreliable Resources 具有多种不可靠资源的自动化制造系统的最大允许鲁棒性分析

ieee transactions on cybernetics

IF8.7

2023-06-01

PREAI

Yang, Benyuan; Hu, Hesuan

Robustness Analysis of Automated Manufacturing Systems With Uncontrollable Events Using Petri Nets

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2023-04-01

PREAI

Yang, Benyuan; Hu, Hesuan

Event Circuit Structures for Deadlock Avoidance in Flexible Manufacturing Systems

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2023-01-01

PREAI

Fan, Xing; Hu, Hesuan; Yang, Benyuan; Liu, Yuming; He, Gaoyun

Maximally Permissive Deadlock and Livelock Avoidance for Automated Manufacturing Systems via Critical Distance

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2022-10-01

PREAI

Yang, Benyuan; Hu, Hesuan

Robustness Analysis of Automated Manufacturing Systems With Unreliable Resources Using Petri Nets

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2022-10-01

PREAI

Yang, Benyuan; Hu, Hesuan

Analyzing Security Requirements in Timed Workflow Processes

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2022-01-01

PREAI

Du, Yanhua; Wang, Yang; Yang, Benyuan; Hu, Hesuan

Secure Conflicts Avoidance in Multidomain Environments: A Distributed Approach

ieee transactions on cybernetics

IF8.7

2021-09-01

PREAI

Yang, Benyuan; Hu, Hesuan

Implementation of Generalized Mutual Exclusion Constraints Using Critical Places and Marking Estimation

ieee transactions on cybernetics

IF8.7

2021-08-01

PREAI

Yang, Benyuan; Hu, Hesuan

Analysis of Authorization Constraints via Integer Linear Programming

IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

IF10.4

2021-01-01

OAAI

Yang, Benyuan; Hu, Hesuan

Event Circular Waits and Their Analysis via Petri Nets

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Fan, Xing; Yang, Benyuan; Hu, Hesuan

Dynamic Implementation of Security Requirements in Business Processes

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2020-01-01

PREAI

Yang, Benyuan; Hu, Hesuan

研究方向