时间

报告人

报告题目

Session 1  Chair：刘艳红  郑州大学

09:00 – 09:10

      会议开幕致辞：吴臻  山东大学

09:10 – 10:00

程代展  中国科学院数学与系统科学研究院

On Dimension-Free Linear Systems

10:00-10:30

卢剑权 东南大学

Consensus in Networked Multi-Agent Systems with Communication Constraints

Session 2   Chair：尹居良  暨南大学

10:30-11:00

李芳菲  华东理工大学

Stealthy Attack for Boolean Networks with Resource Constraints

11:00 – 11:30

朱建栋  南京师范大学

布尔控制网络的卡尔曼分解

11:30 – 12:00

梁金玲  东南大学

Two Algorithms for State Feedback Stabilization of Boolean Control Networks

Session 3  Chair：齐洪胜  中国科学院数学与系统科学研究院

13:30-14:00

钟江华  中国科学院信息工程研究所

非线性反馈移位寄存器串联的非奇异性和等价性

14:00-14:30

刘洋  浙江师范大学

Normalization of Dynamic-Algebraic Boolean Networks and its Applications

Session 4  Chair：李晓迪  山东师范大学

14:30-15:00

陈增强  南开大学

矩阵半张量积在Petri网和有限自动机中的若干应用

15:00- 15:30

朱全新  南京师范大学

On the Effect of A Noise on the Solutions of Nonlinear Systems

15:30 – 15:50茶歇

Session 5  Chair：李修贤  南洋理工大学

15:50-16:20

李睿  大连理工大学

On Observability of Automata Networks via Computational Algebra

16:20-16:50

周荣佩  中南大学

Set Reachability and Observability of ProbabilisticBoolean Networks

16:50-17:20

孟敏  山东大学

Stability and Guaranteed Cost Analysis of Time-Triggered Logical Networks