Dr Kuize Zhang
Academic and research departments
Nature Inspired Computing and Engineering Research Group, Department of Computer Science.Biography
I obtained my PhD degree at Harbin Engineering University, China, 2014. I was an Alexander von Humboldt fellow at Control Systems Group, Technical University of Berlin, Germany from 2020 to 2022, did postdocs at KTH Royal Institute of Technology, Sweden, from 2017 to 2020 as well as at Technical University of Munich, Germany, from 2016 to 2017.
Affiliations and memberships
Research
Research interests
Decidability and complexity of fundamental properties (e.g., controllability, observability, invertibility, detectability, diagnosability, opacity) in Boolean control networks and diverse partially-observed discrete-event and hybrid systems, including finite automata, Petri nets, timed automata, real-time automata, weighed automata over monoids, etc., with applications to systems biology and cyber security/privacy, etc.
The observability verification method (called weighted pair graph, later renamed observability graph) in Boolean control networks proposed by me has been widely used since 2015 in the corresponding area.
I recently proposed an open-loop property enforcement framework, which particularly can be implemented in polynomial time in finite automata, remarkably differing from the classical supervisory control framework used over 30 years in a closed-loop manner, which can be realized in finite automata in at least exponential time.
An original technique was developed to compute the basic tool -- observer of a real-time automaton, which will extend plenty of results in finite automata obtained in the past 3 decades to real-time automata.
I recently proposed a new model called weighed automata oner monoids, and developed original techniques to compute two basic tools -- concurrent composition and observer therein, which will also extend plenty of results in finite automata obtained in the past 3 decades to this new model. Welcome more and more researchers to join in this new research direction.
Supervision
Postgraduate research supervision
I am looking for a PhD student. The topic is on verification of fundamental properties in real-time automata and weighted automata (over monoids), with applications to cyber-security. Basic knowledge in theoretical computer science and control theory is required.
My publications
Highlights
We are organising a workshop "Fundamental Topics in Control and Optimization of Boolean Networks --- Review and Outlook" in the 61st IEEE Conference on Decision and Control - Dec. 6-9, 2022, in Cancún, Mexico.