Education & Experience

• 2019-2020: Visiting Scholar
  Department of Electrical and Computer Engineering
  New Jersey Institute of Technology (NJIT)
• 2019-Present: Full Professor
  School of Computer Science and Engineering
  Nanjing University of Science and Technology
• 2014-2015: Visiting Scholar
  Department of Electrical and Computer Engineering
  New Jersey Institute of Technology (NJIT)
• 2013: Visiting Scholar
  University of Missouri-Kansas City (UMKC)
• 2011-2018: Associate Professor
  School of Computer Science and Engineering
  Nanjing University of Science and Technology
• 2007-2010: Assistant Professor
  School of Computer Science and Engineering
  Nanjing University of Science and Technology
• 2006: Ph. D. in Computer and Appliations
  Nanjing University of Science and Technology
• 2002: B. S. in Computer and Appliations
  Nanjing University of Science and Technology

Research Interests

Artificial intelligence, intelligent manufacturing systems, intelligent transportation, discrete event systems, Petri nets, system modeling and scheduling, optimization.

Publications

Book

• Bo Huang, MengChu Zhou. Supervisory Control and Scheduling of Resource Allocation Systems. Wiley, 2020 (ISBN-13: 978-1119619680). Book link in Amazon.

Selected Papers

• [c16] Yuanzheng Xiao, Haoran Wu, Yangqing Gao, Bo Huang*. A Faster Heuristic Scheduling Search for Robotic Cellular Manufacturing Systems with Generalized and Timed Petri Nets. IEEE International Conference on Systems, Man, and Cybernetics (SMC), Oct. 2024, Kuching, Malaysia.

• [c15] ZhuTao Yao, Bo Huang*, JianYong Lv, XiaoYu Lu, et al.. Scheduling of Robotic Cellular Manufacturing Systems with Timed Petri Nets and Reinforcement Learning. IROS 2024, Abu Dhabi, UAE, Oct. 2024.

• [j46] JY Lv, B. Huang*. A Petri-Net-based Anytime A* Search for Scheduling Resource Allocation Systems. IEEE Transactions on Industrial Informatics, Feb. 2024, 20(2): 2865-2872.

• [j46] Bo Huang, MengChu Zhou, XiaoYu Sean Lu, and Abdullah Abusorrah. Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey. ACM Computing Surveys, Feb. 2023, Vol. 55, No. 11, 230: 1-27.

• [c14] ChuanYang Ren, XiaoYu Lu, NanXiang Li, JianYong Lv, Bo Huang*. A Hybrid Heuristic Scheduling Method for FMSs Based on Timed Petri Nets. ASCMSE 2023, Kaifeng China, May 26-28, 2023. (Excellent Papers Award)

• [j45] FengLian Yuan, QingLing Zhao, Bo Huang*, ChunRong Pan. Scheduling of Time-Constrained Single-Arm Cluster Tools with Purge Operations in Wafer Fabrications. Journal of Systems Architecture. 2023, 134, 102788.

• [j44] FengLian Yuan, Bo Huang*, JiPeng Wang, ChunRong Pan. A Survey of Modeling and Scheduling of Cluster Tools Based on Petri Nets. Acta Automatica Sinica, 2022, DOI: 10.16383/j.aas.c210951.

• [j43] Bo Huang, MengChu Zhou. Symbolic Scheduling of Robotic Cellular Manufacturing Systems with Timed Petri Nets. IEEE Transactions on Control Systems Technology, 2022, 30(5): 1876-1887.

• [j42] Bo Huang, MengChu Zhou, Abdullah Abusorrah, Khaled Sedraoui. Scheduling Robotic Cellular Manufacturing Systems with Timed Petri Net, A* Search and Admissible Heuristic Function. IEEE Transactions on Automation Science and Engineering, 2022, 19(1): 243-250.

• [j41] Bo Huang, MengChu Zhou, Cong Wang, Abdullah Abusorrah, Yusuf Al-Turki. Deadlock-free Supervisor Design for Robotic Manufacturing Cells with Uncontrollable and Unobservable Events. IEEE/CAA Journal of Automatica Sinica, 2021, 8(3): 597-605.

• [j40] Chong Yu, Bo Huang*, JianGen Hao. Multiobjective Heuristic Scheduling of Automated Manufacturing Systems based on Petri Nets. International Journal of Machine Learning and Computing, 2021, 11(2): 176-181.

• [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.

• [c13] Chong Yu, Bo Huang*, JianGen Hao. Multiobjective Heuristic Scheduling of Automated Manufacturing Systems based on Petri Nets. 12th IEEE International Conference on Computer Science and Information Technology, Barcelona, Spain, Dec. 18-20, 2019.

• [c12] Yandong Pei, Bo Huang*, Chunxia Zhao and Gongxuan Zhang. Modeling and Analyzing of Emergency Vehicle Preemption in a Four-phase intersection via TPN. 12th IEEE International Conference on Computer Science and Information Technology, Barcelona, Spain, Dec. 18-20, 2019.

• [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.

• [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.

• [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.

• [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.

• [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.
• [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.

• [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.
• [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)
• [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.
• [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.

• [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.

• [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.
• [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.
• [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.
• [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.
• [j28] PeiYun Zhang, ChuanMing Chen, Bo Huang. Texts Similarity Algorithm based on Subtrees Matching. Pattern Recognition and Artificial Intelligence, 2014, 27(3): 226-233.
• [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.
• [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.
• [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.

• [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.

• [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.
• [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.
• [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.
• [j21] Lei Hong, Bo Huang*, ChunXia Zhao. Link Quality Aware Topology Control on Geographic Routing. Computer Engineering and Applications, 2011, 47(30): 75-78.
• [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.
• [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.
• [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.
• [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.
• [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.

• [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.

• [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.

• [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.

• [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.
• [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.
• [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.

• [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.

• [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.
• [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.
• [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.
• [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.
• [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.
• [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.
• [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.
• [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.
• [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.
• [j02] Bo Huang, Fang Zhou, YaMin Sun. A multimodal integration model of military control system. Journal of System Simulation, 2004, 16(10): 2135-2139.
• [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.

• [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.
• [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.

Academic Services

• IEEE Senior Member
• CCF Senior Member
• Editorial Board Member of Frontiers in Manufacturing Technology (2022.9-present)
• 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.

Chinese Bio-sketch (中文简介)

• Chinese Bio-sketch