个人资料
- 直属机构：未来科学与工程学院
- 联系电话：
- 性别：男
- 电子邮箱：benyuanyang@163.com
- 专业技术职务：
- 办公地址：苏州大学未来校区未来科创中心501
- 毕业院校：西安电子科技大学
- 通讯地址：苏州市吴江区久泳西路1号
- 学位：工学博士
- 邮编：215222
- 学历：博士研究生
- 传真：
教育经历
- 博士,2017.02-2022.06,控制理论与控制工程,西安电子科技大学,博士研究生,2022.06,控制理论与控制工程,西安电子科技大学
工作经历
- 2022年7月-至今,苏州大学
个人简历
杨本圆，男，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余篇。主持国家自然科学基金青年科学基金项目1项、江苏省自然科学基金青年基金项目1项，参与国家自然科学基金面上项目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区).
在研内容 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类).
开授课程
- 1、数据库原理与设计,人工智能专业,大二第二学期-
- 2、数据库课程实践,人工智能专业,大二第二学期-
- 3、数据挖掘,人工智能专业,大三第一学期-
科研项目
- 1、自动制造系统控制器的逻辑与性能综合优化,2017.01-2019.12,陕西省自然科学基础研究计划-重大基础研究项目,参与
- 2、自动制造系统的稳健型监督控制策略研究,2020.01-2023.12,国家自然科学基金面上项目,参与
- 3、工作流系统授权安全性高效保障方法研究,2025.01-2027.12,国家自然科学基金青年科学基金项目,62403341,主持
- 4、自动制造系统的状态控制规范实时监督控制理论研究,2025.01-2027.12,江苏省自然科学基金青年科学基金项目,BK20240770,主持
论文
- 1、Analysis of authorization constraints via integer linear programming,IEEE Transactions on Knowledge and Data Engineering,CCF A类, 中科院2区,2021.11,Benyuan Yang,Hesuan Hu,1
- 2、 Dynamic implementation of security requirements in business processes,IEEE Transactions on Dependable and Secure Computing,CCF A类, 中科院2区,2022.03,Benyuan Yang,Hesuan Hu,vol. 19, no. 2, pp. 5067-5079,1
- 3、 Implementation of generalized mutual exclusion constraints using critical places and marking estimation,IEEE Transactions on Systems, Man and Cybernetics: Systems ,中科院1区,2021.08,Benyuan Yang,Hesuan Hu,vol. 51, no. 8, pp. 5067-5079,1
- 4、Secure conflicts avoidance in multi-domain environments: A distributed approach,IEEE Transactions on Systems, Man and Cybernetics: Systems,中科院1区,2021.09,Benyuan Yang,Hesuan Hu, vol. 51, no. 9, pp. 5478-5489,1
- 5、Robustness analysis of automated manufacturing systems with unreliable resources using Petri nets,IEEE Transactions on Automation Science and Engineering,中科院2区,2021.11,Benyuan Yang,Hesuan Hu,1
- 6、Maximally permissive deadlock and livelock avoidance for automated manufacturing systems via critical distance,IEEE Transactions on Automation Science and Engineering,中科院2区,2021.12,Benyuan Yang,Hesuan Hu,1
- 7、Robustness analysis of automated manufacturing systems with uncontrollable events using Petri nets, IEEE Transactions on Automation Science and Engineering,中科院2区,2022.04,Benyuan Yang,Hesuan Hu,1
- 8、Incremental analysis of temporal constraints for concurrent workflow processes with dynamic changes,IEEE Transactions on Industrial Informatics,中科院1区,2019.05,Yanhua Du,Hesuan Hu,vol. 15, no. 5, pp. 2617-2627,2
- 9、Model checking of timed compatibility for mediation-aided Web service composition: A three stage approach,Expert Systems with Applications,中科院1区,2018,Yanhua Du,Hesuan Hu,vol. 112, pp. 190-207,2
- 10、Analyzing security requirements in timed workflow processes,IEEE Transactions on Dependable and Secure Computing, CCF A类, 中科院2区,2022.01,Yanhua Du,Hesuan Hu,vol. 19, no. 1, pp. 190-207,3
- 11、Event circuit structures for deadlock avoidance in flexible manufacturing systems, IEEE Transactions on Automation Science and Engineering,中科院2区,2022.04,Xing Fan,Hesuan Hu,3
- 12、Modeling and simulation of time and value throughputs for data-aware workflow processes,Journal of Intelligent Manufacturing,中科院2区,2019.08,Yanhua Du,vol. 30, no. 6, pp. 2355-2373,3
科技成果
荣誉及奖励
- 1、西安电子科技大学优秀博士学位论文,杨本圆,2024.06.19
招生信息
欢迎勤于思考、吃苦耐劳、乐观向上的本科生提前进入实验室参与科研与竞赛。
每年共1-2个人工智能（专硕）、计算机科学与技术（学硕）硕士生名额，报考请提前邮件联系。
邮箱：benyuanyang@163.com