Home Research
Image Credit Header image: Artwork by Professor Lubaina Himid, CBE. Photo: @Denise Swanson
Hao, Jinyuan, Gao, Limin, Ran, Ning, Huang, Miao and Zhenming, Hao (2023) Supervisor synthesis for Petri nets with unobservable and uncontrollable transitions. Journal of Hebei University (Natural Science Edition), 43 (5). pp. 517-524. ISSN 1000-1565
Ning, Ran, Tingting, Li, Zhang, Zhaoyan and Hao, Jinyuan (2022) A method for boundary diagnosability analysis for discrete event systems. Electric Measurement Technology, 45 (08). ISSN 1002-7300
Up a level