Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets. - Junyao Hou; Hesuan Hu; Yuan Zhou 005; Yang Liu 003 (CASE, 2017)

Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations. - Junyao Hou; Xiang Yin 003; Shaoyuan Li; Majid Zamani 001 (CDC, 2019)

Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels. - Zhaocong Liu; Junyao Hou; Xiang Yin 003; Shaoyuan Li (CDC, 2021)

FifBase: a comprehensive fertility-associated indicators factor database for domestic animals. - Hao Li; Junyao Hou; Ziyu Chen; Jingyu Zeng; Yu Ni; Yayu Li; Xia Xiao; Yaqi Zhou; Ning Zhang; Deyu Long; Hongfei Liu; Luyu Yang; et al. (Briefings Bioinform., 2021)

Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels. - Shuo Yang 007; Junyao Hou; Xiang Yin 003; Shaoyuan Li (IEEE Trans. Control. Netw. Syst., 2021)

A framework for current-state opacity under dynamic information release mechanism. - Junyao Hou; Xiang Yin 003; Shaoyuan Li (Autom., 2022)

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CoRR, 2022)

Abstraction-Based Synthesis of Controllers for Approximate Opacity. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (CDC, 2023)

Abstraction-Based Verification of Approximate Preopacity for Control Systems. - Junyao Hou; Siyuan Liu 002; Xiang Yin 003; Majid Zamani 001 (IEEE Control. Syst. Lett., 2023)