• 当前位置:首页  新闻公告  学术交流
    航天学院-海外博士后系列学术报告八
    发布人:刘玉菡??发布时间: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.


    国产综合色在线精品 天天天天天操天天干| 啪啪啪视频在线免费观看| 亚洲男人的天堂色偷免费| 久久综合久久鬼中文字幕| 五月丁香缴情深爱五月天| 大香蕉伊人影院在线| 日本一本一道色av| 色狠狠丁香婷婷综合久久| 猫咪大香蕉伊人6在线播放| 亚洲午夜福利在线视频| 久久草视在线综合视频| 婷婷激情五月综合| 大香蕉啪啪久久网| 超碰人人碰| 萝莉啪啪啪视频| 久久爱永久网站| 狠狠干狠狠日狠狠插| 天天啪啪啪天天干| 伊人综合和线在线23| 在线丝袜美腿 中文字幕| 中文字幕一本到无线| 夜夜操狠狠干| av国产系列欧美亚洲| 偷偷干狠狠干| 狠狠日就要干狠狠射| 综合久久网| 姐妹综合久久第八色| 久久线看在观草草青青| 男女啪啪视频大全| 日本岛国av在线播放| 五月婷婷缴情七月丁香| 日本av官网| 大香蕉伊人手机| 狠狠干网址| 大香蕉伊人视频75在线看| 大伊人香蕉在线观看视频| 人人干狠狠干| 亚洲欧美综合日韩国产av| 婷婷丁香五月| 青青草在线视频网站| 天天干天天射天天啪|