Junyao Hou

According to our database, Junyao Hou authored at least 9 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Abstraction-Based Verification of Approximate Preopacity for Control Systems.

Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani

IEEE Control. Syst. Lett., 2023

Abstraction-Based Synthesis of Controllers for Approximate Opacity.

Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Abstraction-Based Verification of Approximate Pre-Opacity for Control Systems.

Junyao Hou, Siyuan Liu, Xiang Yin, Majid Zamani

CoRR, 2022

A framework for current-state opacity under dynamic information release mechanism.

Junyao Hou, Xiang Yin, Shaoyuan Li

Autom., 2022

2021

Opacity of Networked Supervisory Control Systems Over Insecure Communication Channels.

Shuo Yang, Junyao Hou, Xiang Yin, Shaoyuan Li

IEEE Trans. Control. Netw. Syst., 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, Xinyue Bai, Qun Li, Tongtong Li, Dongxue Che, Leijie Li, Xiaodan Wang, Peng Zhang, Mingzhi Liao

Briefings Bioinform., 2021

Modeling and Analysis of Networked Supervisory Control Systems with Multiple Control Channels.

Zhaocong Liu, Junyao Hou, Xiang Yin, Shaoyuan Li

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2019

Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.

Junyao Hou, Xiang Yin, Shaoyuan Li, Majid Zamani

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2017

Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets.

Junyao Hou, Hesuan Hu, Yuan Zhou, Yang Liu

Proceedings of the 13th IEEE Conference on Automation Science and Engineering, 2017