报告人：张奎泽 副教授 中国科学院数学与系统科学研究院

报告题目：Observability of Boolean control networks and beyond

时间：2024年12月6日9:00-11:00

地点：数学楼423会议室

摘要：

Observability is a fundamental control-theoretic property which provides basis for many related problems such as state estimation, observer design, feedback controller design, system identification, etc. Boolean control networks were originally proposed by Kauffman in 1969 to model genetic regulatory networks. The control problems in Boolean control networks have drawn wide attention in the systems biology area and the control area in the recent two decades.

In this talk, I will introduce a basic tool --- observability graph as well as how to use the observability graph and finite automata theory to verify different types of observability in Boolean control networks. Moreover, I will also briefly introduce further development along this research line worked out by a number of researchers in this area based on the observability graph or its adjacency matrix (called observability matrix), including reconstructibility verification in Boolean control networks, observability verification in probabilistic Boolean networks, minimal observability in Boolean control networks, etc.

报告人简介：

Kuize Zhang received the B.S. and Ph.D. degrees in Mathematics and Control Science and Engineering from Harbin Engineering University, China, in 2009 and 2014, respectively. He is now a visiting scholar in the Academy of Mathematics and Systems Science, Chinese Academy of Sciences. Previously, he held an associate professor position at Harbin Engineering University, China, a postdoc position in the Academy of Mathematics and Systems Science, Chinese Academy of Sciences, a postdoc position at the Technical University of Munich, Germany, a postdoc position at KTH Royal Institute of Technology, Sweden, an Alexander von Humboldt Fellow at the Technical University of Berlin, Germany, a lecturer position at the University of Surrey, UK, and a visiting professor position at the University of Cagliari, Italy, successively, from 2015 to 2024.

His current research interests include fundamental topics in the common area of control theory and theoretical computer science, including partially-observed Boolean control networks, finite automata, Petri nets, weighted automata over monoids, timed automata. etc., in terms of decidability and complexity. He proposed the observability graph of Boolean control networks, a new framework of discrete-event systems, and weighted automata over monoids. Has co-authored one monograph in Springer Nature and authored one monograph in Foundations and Trends in Systems and Control. Has (co)authored 40 journal articles (some of them were published in top control theory journals and top theoretical computer science journals) and over 30 conference articles.

邀请人：肖燕妮 教授