杨本圆讲师

杨本圆，男，1990年出生，博士，优秀青年学者讲师。2022年获得西安电子科技大学控制理论与控制工程博士学位，以国家公派联合培养博士身份赴意大利卡利亚里大学进行交流学习，合作导师：Alessandro Giua (IEEE Fellow, IFAC Fellow, IEEE TAC Senior Editor）。主要研究方向：机器人协同控制、数据库安全防护。目前已在《IEEE Transactions on Knowledge and Data Engineering》、《 IEEE Transactions on Dependable and Secure Computing》、《IEEE Transactions on Control Systems Technology》、《IEEE Transactions on Industrial Informatics》、《IEEE Transactions on Systems, Man and Cybernetics: Systems》、《 IEEE Transactions on Automation Science and Engineering》等CCF A类和中科院1区期刊发表论文20余篇。参与国家自然科学基金面上项目2项，陕西省自然科学基础研究计划-重大基础研究项目1项。

研究方向一、机器人协同控制

研究内容1：分布式控制

在智能制造、智慧物流等自主无人系统中，机器人沿着给定闭合路径，连续地装卸材料与产品。多机器人在同一环境中的协作关系，不再表现为连续运动控制问题，而更多地体现为离散行为规范问题。其中，最基本的就是机器人之间的碰撞避免问题，以及由此而衍生的逻辑控制规范违反问题。基于事件域的模型预测控制技术，可以实现单个机器人独立地检测其单独状态空间中的局部关键状态，预测低阶以及高阶逻辑控制规范异常的存在，从而自主地确定遵循特定逻辑控制规范的运动规划。最终，构建机器人系统的实时碰撞避免策略和逻辑规范保障技术。

代表性论文：

[1] Yang B, Hu H. Dynamic implementation of security requirements in business processes[J]. IEEE Transactions on Dependable and Secure Computing, 2022, 19(2): 1352-1363 (CCF A类).

[2] Yang B, Hu H. Secure conflicts avoidance in multidomain environments: A distributed approach[J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2021, 51(9): 5478-5489 (中科院1区).

[3] Yang B, Hu H. Implementation of generalized mutual exclusion constraints using critical places and marking estimation[J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2021, 51(8): 5067-5079 (中科院1区).

[4] Yang B, Hu H. Decentralized enforcement of linear state specifications for augmented marked graphs with a coordinator[J]. IEEE Transactions on Control Systems Technology, 2024, 32(2): 413-427 (中科院2区).

研究内容2：稳健型控制

实际自动制造系统系统中，不同机器人的闭合路径纵横交错，构成了复杂网络系统，其中两条以上闭合路径的交点构成了网络的节点。不难想象，当一个或者多个机器人因为故障而停滞在若干网络节点，特别是一些关键节点上时，其他需要通过这些节点的非故障机器人的运动必然受到阻塞而停滞，该停滞显然具备传播效应，在最坏的情况下，将使得整个系统因为单个机器人的故障而完全停滞。为此，需要实现多机器人系统的稳健型运动控制技术，可以使得停滞机器人的数量最小化，即故障机器人只影响必须通过该节点的机器人，而对任何其他机器人没有影响。

代表性论文：

[1] Yang B, Hu H. Maximally permissive robustness analysis of automated manufacturing systems with multiple unreliable resources[J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2023, 53(6): 3527-3539 (中科院1区).

[2] Yang B, Hu H. Robustness analysis of automated manufacturing systems with unreliable resources using Petri nets[J]. IEEE Transactions on Automation Science and Engineering, 2022, 19(4): 3686-3699 (中科院1区).

[3] Yang B, Hu H. Robustness analysis of automated manufacturing systems with uncontrollable events using Petri nets[J]. IEEE Transactions on Automation Science and Engineering, 2023, 20(2): 775-788 (中科院1区).

[4] Yang B, Hu H. Maximally permissive robustness discovery in automated manufacturing systems with an unreliable resource[J]. IEEE Transactions on Control of Network Systems, 2024, Early Access, DOI: 10.1109/TCNS.2024. 3355043 (中科院3区).

研究方向二、数据库安全防护

访问控制是在保障授权用户能获取所需资源的同时拒绝非授权用户的安全机制，确保只有合法用户的合法访问才能给予批准，而且相应的访问只能执行授权的操作。访问控制技术保护信息和信息系统免受未经授权的访问、使用、披露、中断、修改或破坏，以提供机密性、完整性和可用性，是确保数据安全共享的重要手段，是保证数据安全重要的核心策略，也是数据安全治理的关键技术之一，被广泛应用于数据库、物联网等数据密集交互场景。

代表性论文：

[1] Yang B, Hu H. Analysis of authorization constraints via integer linear programming[J]. IEEE Transactions on Knowledge and Data Engineering, 2023, 35(3): 2258-2271 (CCF A类).

[2] Yang B, Hu H. An efficient verification approach to separation of duty in attribute-based access control[J]. IEEE Transactions on Knowledge and Data Engineering, 2024, Early Access, DOI: 10.1109/TKDE.2024.3373562 (CCF A类).

[3]Yang B, Hu H. Resiliency analysis of role-based access control via constraint enforcement and mathematical programming[J]. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2024, Early Access, DOI: 10.1109/TSMC.2024.3373567 (中科院1区).

[4] Yang B, Hu H. Delegation security analysis in workflow systems[J]. IEEE Transactions on Dependable and Secure Computing, 2024, 21(1): 229-240 (CCF A类).

• 欢迎勤于思考、吃苦耐劳、乐观向上的学生提前进入实验室参与实习、科研与竞赛。 请联系benyuanyang@163.com获取更多信息。