1、個人簡介

冉甯，男，博士，副教授，碩士生導師，bevictor伟德官网坤輿青年學者，意大利卡利亞裡大學訪問學者（2015-2016）。

2017年獲浙江大學控制科學與工程專業博士學位，2017年9月至今在bevictor伟德官网電信學院自動化系工作。

2、研究方向

（1）離散事件系統故障檢測、信息安全等

（2）智能系統建模、仿真與優化

3、主持項目

（1）主持國家自然科學基金面上項目、青年項目各1項

（2）主持省部級項目3項

（3）主持其他項目5項

4、代表論文

[1] Ning Ran, J. Nie, A. Meng, C. Seatzu. Non-interference analysis of bounded Petri nets using basis reachability graph. IEEE Transactions on Automatic Control, 2024.

[2] Ning Ran, T. Li, S. Wang, Z. He. Supervisor synthesis for Petri nets with uncontrollable and unobservable transitions. IEEE Transactions on Automation Science and Engineering, 2024.

[3] Ning Ran, T. Li, Z. He, C. Seatzu. Codiagnosability Enforcement in Labeled Petri Nets. IEEE Transactions on Automatic Control, 2023.

[4] Ning Ran, J. Hao, C. Seatzu. Prognosability analysis and enforcement of bounded labeled Petri nets. IEEE Transactions on Automatic Control, 2022.

[5] Ning Ran, A. Giua, C. Seatzu. Enforcement of diagnosability in labeled Petri nets via optimal sensor selection. IEEE Transactions on Automatic Control, 2019.

[6] Ning Ran, H. Su, A. Giua, C. Seatzu. Codiagnosability analysis of bounded Petri nets. IEEE Transactions on Automatic Control, 2018.

5、聯系方式

郵箱：ranning87@hotmail.com

歡迎優秀學子報名研究生（請通過郵件提前聯系）。