报告人简介：

程代展，1946年3月生。清华大学毕业（1964-1970），中科院研究生院硕士（1978-1981），美国华盛顿大学博士（1981-1985）。现为中国科学院数学与系统科学研究院研究员，囯际电气与电子工程师协会会士（IEEE Fellow），国际自动控制联合会会士（IFAC Fellow），中国自动化学会首届会士，曾任IFAC理事（2011-2014）及IEEE CSS执委（2010和2015），中国自动化学会控制理论专业委员会主任（2003-2010）。曾获国家自然科学二等奖两次（2008、2014，均为第一完成人），IFAC颁发的其旗舰杂志Automatica2008-2011最佳论文奖（为迄今唯一华人学者完成的获奖论文），中国科学院个人杰出成就奖（金质奖章）。此外，还获得省部级一等奖两次、二等奖四次、三等奖一次。出版学术论著17本，期刊论文300余篇，其他书籍3本。

报告摘要：

The application of STP to logical dynamicsystems is the most successful field of STP.

This talk containing two parts: First partintroduces some basic concepts and properties of STP, including its currentdevelopment. Then the modeling, analysis, and control of Boolean network (BN)are introduced. Some basic concepts and results, including topologicalstructure of Boolean network (BN) and Boolean control network (BCN),controllability, observability, stabilizability, etc. are introduced.

Second part concentrates on the state spacedescription of  BN/BCN. Recentdevelopment about the invariant subspace and realizations, including minimumrealization of BN/BCN are discussed in detail. It seems that the observe-basedaggregation, including minimum realization, is a promising technique toovercome the computational complexity of STP approach to large-scale BN/BCN.