教育經歷
1998年進入南京理工大學計算機學院計算機套用專業開展本科學習;2006年於南京理工大學獲得計算機套用專業博士學位(直博),並留校任教;2010年進入南京理工大學模式識別與智慧型系統重點實驗室開展博士後研究;2011年度入選南京理工大學的“紫金之星”培養計畫;2013年度赴美國密蘇里大學堪薩斯城(UMKC)訪問交流;2014-2015年度赴美國新澤西理工學院(NJIT)訪學。
社會、學會及學術兼職
-IEEE Senior Member (IEEE高級會員)
-CCF Senior Member (CCF高級會員)
-Session Chair (分會主席) of IEEE ICNSC2018 and IEEE SMC2017
-Program Committee Member (程式委員會委員) of IEEE SMC2018, IEEE ICNSC2018, IEEE SMC2017, IEEE ICNSC2017, ICMSCD2017, ICEEAC2017, and EEA2016
-Reviewer(項目評審) of Natural Science Foundation of China (NSFC) and Chilean National Commission for Scientific and Technological Research (CONICYT)
-Reviewer (期刊評審) of Automatica, IEEE Transactions on System, Man and Cybernetics: Systems, IEEE Transactions on Automation Science and Engineering, IEEE Transactions on Industrial Informatics, IEEE Transactions on Intelligent Transportation Systems, Information Sciences, Enterprise Information Systems, International Journal of Computer Integrated Manufacturing, IET Control Theory & Applications, Control Engineering Practice, ISA Transactions, Advances in Mechanical Engineering, IEEE/CAA Journal of Automatica Sinica, etc.
科研項目
研究領域包括離散事件系統、Petri網、智慧型製造、智慧型交通、多機器人系統、魯棒與容錯控制、任務規劃與系統調度最佳化等。先後主持國家自然科學基金項目兩項、省部級項目多項,作為骨幹參與裝備預研共用技術項目,江蘇省重點研發計畫、總裝備部重點預研項目、江蘇省科技支撐項目等多項課題。
在Wiley出版社撰寫英文專著一部《Supervisory Control and Scheduling of Resource Allocation Systems》;在國際自動控制聯盟(IFAC)會刊Automatica以及IEEE彙刊IEEE Transactions on System, Man and Cybernetics: Systems, Computers and Industrial Engineering, International Journal of Advanced Manufacturing Technology, Journal of Control Theory Applications, International Journal of Production Research,通信學報等學術期刊和國際會議上發表相關論文50餘篇,其中SCI, EI 30餘篇;申請和授權國家發明專利共12項。
代表論著
o [j39] Bo Huang, MengChu Zhou, YiSheng Huang, YuWang Yang. Supervisor Synthesis for FMS based on Critical Activity Places. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2019, 49(5): 881-890.
o [j38] Bo Huang, MengChu Zhou, PeiYun Zhang, Jian Yang. Speedup Techniques for Multiobjective Integer Programs in Designing Optimal and Structurally Simple Supervisors of AMS. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2018, 48(1): 77-88.
o [c11] Bo Huang, Zhicheng Cai, Mengchu Zhou and Jiangen Hao. Scheduling of FMS based on Binary Decision Diagram and Petri Net. 15th IEEE International Conference on Networking, Sensing and Control, Zhuhai, China, Mar. 27-29, 2018.
o [c10] LingBo Zhao, Liming Pu, Zhixia Zhao, Bo Huang, JianGen Hao, Yisheng Huang. Emergency Vehicle Preemption Control of T-shaped Intersections with Time Petri Nets. Chinese Automation Congress, Xian, China, Dec. 1-3, 2018, 3213-3218.
o [j37] JiaLang Zhang, Bo Huang. Fast Generation of Traps and Minimal Siphons of Petri Net Models based on BDD. Journal of PA University of Science and Technology, 2017, 18(3): 231-237.
o [c09] Bo Huang, YanDong Pei, YuWang Yang, MengChu Zhou, JianQiang Li. Near-optimal and Minimal PN Supervisors of FMS with Uncontrollability and Unobservability. IEEE International Conference on Systems, Man, and Cybernetics, Banff, Canada, Oct. 5-8, 2017: 3715-3720.
o [c08] Bo Huang, MengChu Zhou, YiSheng Huang. Place Invariant Simplification in Optimal Supervisor Synthesis for FMS. IEEE International Conference on Systems, Man, and Cybernetics, Budapest, Hungary, Oct. 9-12, 2016: 2527-2532.
o [j36] PeiYun Zhang, RongJian Xie, Bo Huang. Trustworthy services diffusion based on optimizational nodes in online social network. Journal of Intelligent & Fuzzy Systems, 2016, 31(4): 2281-2290.
o [j35] Bo Huang, MengChu Zhou, GongXuan Zhang. Synthesis of Petri net supervisors for FMS via redundant constraint elimination. Automatica, 2015, 61: 156-163. (JCR Top Journal)
o [j34] Bo Huang, MengChu Zhou, GongXuan Zhang, Ahmed Chiheb Ammari, Ahmed Alabdulwahab, Ayman G. Fayoumi. Lexicographic multiobjective integer programming for optimal and structurally minimal Petri net supervisors of automated manufacturing systems.IEEE Transactions on Systems, Man, and Cybernetics: Systems. 2015, 45(11): 1459-1470.
o [j33] Bo Huang,Hang Zhu, GongXuan Zhang, XianLing Lu. On Further Reduction of Constraints in Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics: Systems, March 2015, 45(3): 542-543.
o [c07] Bo Huang, MengChu Zhou. Fast synthesis of optimal and structurally simple supervisors for automated manufacturing systems. IEEE International Conference on Systems, Man, and Cybernetics, Hong Kong, China, 2015.
o [j32] Bo Huang, RongXi Jiang, GongXuan Zhang. Search strategy for scheduling flexible manufacturing systems simultaneously using admissible heuristic functions and nonadmissible heuristic functions. Computers and Industrial Engineering, May 2014, 71: 21-26.
o [j31] Bo Huang, RongXi Jiang, GongXuan Zhang. Comments on Heuristic search for scheduling flexible manufacturing systems using lower bound reachability matrix. Computers and Industrial Engineering, Jan. 2014, 67: 235-236.
o [j30] Bo Huang, RongXi Jiang, GongXuan Zhang. Heuristic search for scheduling flexible manufacturing systems using multiple heuristic functions. Modern Advances in Applied Intelligence. Springer International Publishing, June 2014: 178-187.
o [j29] PeiYun Zhang, EnHong Chen, RongJian Xie, XiuWen Cong, Bo Huang. Computation of Document Similarity based on Metadata and Domain Concept Tree. Systems Engineering and Electronics, 2014, 36(3): 591-597.
o [j28] PeiYun Zhang, ChuanMing Chen, Bo Huang. Texts Similarity Algorithm based on Subtrees Matching. Pattern Recognition and Artificial Intelligence, 2014, 27(3): 226-233.
o [j27] PeiYun Zhang, Bo Huang, XiuWen Gong. A maximum coverage method of trustworthy services based on social network. Computer Engineering & Science, 2013, 35(10): 36-43.
o [j26] PeiYun Zhang, EnHong Chen, Bo Huang. Personalized requirements oriented trustworthy services recommendation based on social network. Journal of Communications, 2013, 35(10): 36-43.
o [j25] Bo Huang, XingXi Shi, Nan Xu. Scheduling FMS with alternative routings using Petri nets and near admissible heuristic search. International Journal of Advanced Manufacturing Technology, December 2012, 63(9): 1131-1136.
o [c06] Bo Huang, LiNa Yan, Nan Xu, YuWang Yang. Research on Action Select Strategy of Robot Soccer Based on Petri Net and Position Prediction. The 2nd International Conference on Consumer Electronics, Communications and Networks, April, 2012: 1212-1215.
o [j24] AnMin Fu, ShaoHua Lan, Bo Huang, Zhenchao Zhu. A novel group-based handover authentication scheme with privacy preservation for mobile WiMAX networks. IEEE Communications Letters, 2012, 16(11): 1744-1747.
o [j23] Nan Xu, YaMin Sun, JiMing Yu, Bo Huang. An energy-efficient cross-layer model of security for large-scale wireless biosensor networks. Journal of Information and Computational Science, 2012, 9(13): 3795-3804.
o [j22] Nan Xu, YaMin Sun, Bo Huang, JiMing Yu. Cross-layer Adaptive Round Distributed Clustering Routing Model for Wireless Sensor Networks. Computer Science, 2011, 38(5): 56-59.
o [j21] Lei Hong, Bo Huang, ChunXia Zhao. Link Quality Aware Topology Control on Geographic Routing. Computer Engineering and Applications, 2011, 47(30): 75-78.
o [j20] Lei Hong, Bo Huang, ChunXia Zhao. Geographic Routing Algorithm based on Link Quality in Mobile Ad-hoc Networks. Computer Sciences, 2011, 38(10): 51-54.
o [j19] Bo Huang, Yu Sun, YaMin Sun, ChunXia Zhao.A hybrid heuristic search algorithm for scheduling FMS based on Petri net model, International Journal of Advanced Manufacturing Technology, June 2010, 48(9-12): 925-933.
o [j18] Bo Huang, ChunXia Zhao, YaMin Sun. Optimal scheduling of flexible manufacturing system based on Petri net and dynamic weighting heuristic strategy. Journal of Nanjing University of Science and Technology, 2010, 34(4): 482-486.
o [j17] Bo Huang, LiNa Yan, XingXi Shi, ChunXia Zhao. Robot soccer task allocation strategy based on superiority evaluation algorithm. Journal of Huazhong University of Science and Technology, 2010, 38(1): 101-105.
o [j16] XingXi Shi, TieSheng Wang, Bo Huang, ChunXia Zhao. Integrated Localization Algorithm for DGPS/DR Based on SUT-EKF. Acta Geodaetica et Cartographica Sinica, 2010, 39(5): 528-533.
o [c05] XingXi Shi, TieSheng Wang, Bo Huang, ChunXia Zhao. Cooperative multi-robot localization based on distributed UKF. The 3rd IEEE International Conference on Computer Science and Information Technology, 590-593.
o [j15] PeiYun Zhang, Bo Huang, YaMin Sun, A Web Services Matching Mechanism based on Semantics and Qos-aware Aspect. Journal of Computer Research and Development, 2010, 47(5): 780-787.
o [c04] Bo Huang, ChunXia Zhao. Scheduling FMS with a hybrid heuristic search algorithm, The International Conference on Computational Intelligence and Software Engineering, 2009: 1-4.
o [j14] Bo Huang, ChunXia Zhao, PeiYun Zhang, YaMin Sun. Heuristic scheduling algorithm of flexible manufacturing system based on Petri net. Journal of System Simulation, 2009, 21(20): 6405-6408.
o [j13] Bo Huang, ChunXia Zhao, PeiYun Zhang, YaMin Sun. Analysis of industrial hybrid systems based on fluid stochastic Petri nets. Journal of System Simulation, 2009, 21(9): 2524-2526.
o [j12] Bo Huang, Yu Sun, YaMin Sun. Scheduling of flexible manufacturing systems based on Petri nets and hybrid heuristic search. International Journal of Production Research, August 2008, 46(16): 4553-4565.
o [c03] Bo Huang, ChunXia Zhao, YaMin Sun. Modeling of urban traffic systems based on fluid stochastic Petri nets. The 4th International Conference on Natural Computation, 2008, 7: 149-153.
o [j11] Bo Huang, ChunXia Zhao, PeiYun Zhang, YaMin Sun. Simulation of flexible manufacturing system based on Petri net. Journal of Computer Applications, 2008, 28(9): 2410~2412.
o [j10] PeiYun Zhang, Bo Huang, YaMin Sun. Automatic web services composition based on SLM. Wuhan University Journal of natural Sciences (English Edition), 2008, 13(5): 296-299.
o [j09] PeiYun Zhang, Bo Huang, YaMin Sun. Web services composition based on global semantics and QoS-aware aspect. Journal of Southeast University (English Edition), 2008, 24(3): 425-428.
o [j08] PeiYun Zhang, Bo Huang, YaMin Sun, Service Semantic Matching Mechanism for Web Services Composition. Journal of University of Electronic Science and Technology of China, 2008, 37(6): 917-921.
o [j07] PeiYun Zhang, Bo Huang, YaMin Sun. Web services hybrid composition based on semantics and template. Journal of Nanjing University of Science and Technology, 2008, 32(4): 425-428.
o [j06] PeiYun Zhang, Bo Huang, YaMin Sun. A Hybrid Selection Approach for Web Service based on Semantic Matching and QoS. Geomatics and Information Science of Wuhan University, 2008, 33(5): 537-541.
o [j05] PeiYun Zhang, Bo Huang, YaMin Sun. Hybrid Selection Mechanism for Web Services based on Semantic Matching. Journal of Nanjing University of Science and Technology, 2007, 31(6): 689-694.
o [j04] PeiYun Zhang, Bo Huang, YaMin Sun. Petri-net-based Description and Verification of Web Services Composition Model. Journal of System Simulation, 2007, 19(12): 2872-2876.
o [j03] Bo Huang, YaMin Sun. Improved methods for scheduling flexible manufacturing systems based on Petri nets and heuristic search. Journal of Control Theory and Application, 2005, 3(2): 139~144.
o [j02] Bo Huang, Fang Zhou, YaMin Sun. A multimodal integration model of military control system. Journal of System Simulation, 2004, 16(10): 2135-2139.
o [j01] BingYi Zhang, Bo Huang, YaMin Sun. VoMPLS Traffic Multiplexing Scheme with Guaranteed QoS. Journal of Nanjing University of Science and Technology, 2004, 28(5): 516-519.
o [c02] Bo Huang, BingYi Zhang, Fang Zhou, YaMin Sun. Modeling multimodal integration based on colored Petri nets and feature structures. International Conference on Control, Automation, Robotics and Vision Conference, 2004, 1: 514-516.
o [c01] Bo Huang, YaMin Sun. Modeling and analysis of industrial hybrid systems based on first order and second order FSPN. International Conference on Machine Learning and Cybernetics, 2004, 1: 347-351.