Personal information

Automata theory and languages, discrete event systems, logistics automation, Petri nets, supervision
China

Biography

Hao Yue received the B.S. degree in mathematics, the M.S. degree in computer science and technology and the Ph.D. degree in computer software and theory from Shandong University of Science and Technology, Shandong, China, in 2002, 2005, and 2009, respectively. He was with Xi’an Jiaotong University from July 2011 to December 2013, as a postdoctoral researcher of control science and engineering with the State Key Laboratory for Manufacturing Systems Engineering and the Systems Engineering Institute. Now, He is with Qingdao University, Shandong, China, where he is currently an associate professor. His research interests include discrete event systems, Petri nets, automata theory and languages, and their applications in supervisory control of automated manufacturing and logistics automation systems.

Activities

Works (3)

Minimum Initial Marking Estimation in Labeled Petri Nets With Unobservable Transitions Based on Minimal Explanations

IEEE Transactions on Systems, Man, and Cybernetics: Systems
2024 | Journal article
Contributors: Hao Yue; Yakun Xu; Keyi Xing; Hesuan Hu; Shanchen Pang
Source: check_circle
Crossref

Petri‐net‐based deadlock detection and recovery for control of interacting equipment in automated container terminals

IET Intelligent Transport Systems
2022-06 | Journal article
Contributors: Weimin Wu; Zichao Xing; Hao Yue; Hongye Su; Shanchen Pang
Source: check_circle
Crossref

Supervisory Control of Deadlock-Prone Production Systems With Routing Flexibility and Unreliable Resources

IEEE Transactions on Systems, Man, and Cybernetics: Systems
2020-10 | Journal article
Contributors: Hao Yue; Keyi Xing; Hesuan Hu; Weimin Wu; Hongye Su
Source: check_circle
Crossref