<sup id="sa0om"></sup>
<acronym id="sa0om"></acronym>
<acronym id="sa0om"><center id="sa0om"></center></acronym>
<sup id="sa0om"><div id="sa0om"></div></sup>
<rt id="sa0om"><small id="sa0om"></small></rt>
<acronym id="sa0om"><small id="sa0om"></small></acronym>
當前位置:首頁  新聞公告  學術交流
航天學院-海外博士后系列學術報告八
發布人:劉玉菡??發布時間:2020-11-18?? 瀏覽次數:231

應航天學院張立憲青年科學家工作室的邀請,柏林工業大學洪堡學者張奎澤博士于20201119日(周四)舉行線上學術講座,歡迎感興趣的師生參加。


時間:20201119日(周四) 晚上730-830

會議室:騰訊會議室ID945 885 532


題目:

Observability of Large-scale Boolean Control Networks with an Application to the T-cell Receptor Kinetics


摘要:

Observability is a fundamental property in control theory. Verifying observability of Boolean control networks (BCNs) is NP-hard in the number of nodes. A BCN is observable if one can use an input sequence and the corresponding output sequence to determine the initial state. In this talk, we will review results on the observability verification problem of Boolean control networks, and will also introduce our recent results on whether and when a node-aggregation approach can be used to overcome the computational complexity in verifying observability. As an application, we use a BCN T-cell receptor kinetics model from the literature with 37 state nodes (i.e., 2^37 states) and 3 input nodes (2^3 inputs) to illustrate the efficiency of the results. For this model, we derive the unique minimal set of 16 state nodes needed to be directly measured to make the overall BCN observable.


個人簡介:

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 Humboldt Fellow at Technical University of Berlin, Germany. He held long-term visiting or research positions at KTH Royal Institute of Technology, Sweden (2017-20), Technical University of Munich, Germany (2016-17); Academy of Mathematics and Systems Science (2015-16), the Chinese Academy of Sciences; Nanyang Technological University, Singapore (2013-14); and University of Turku, Finland (2012-13). His current research interests include fundamental topics in discrete-event systems (finite automata and Petri nets, rewrote the fundamental results of detectability of finite automata and wrote the first detectability paper of labeled Petri nets), Boolean networks (solved the observability verification problem and proposed the notion of invertibility) with applications to systems biology, etc.


波多野结衣中文字幕在观线看,高清无码中文字幕无线,中文字幕人成乱码在线观看,中文乱码字幕在线观看