Combinatorics Seminar 2015

Speaker: Daizhan Cheng (程代展), Chinese Academy of Sciences

Date: Wed, Apr 29, 2015

Time: 13:45 - 14:45

Venue: Large Meeting Room

Title: From STP to logical dynamical systems


In this talk the concept of semi-tensor product (STP) of matrices is introduced first. The motivation and certain properties are also discussed. Then STP is used to formulate the logical dynamical systems. A framework, called the algebraic state space presentation (ASSP) of logical dynamical systems, is presented. The topological structure of a logical dynamical system is revealed via its ASSP. Next, the control of logical dynamical systems is investigated. Certain basic control problems, such as controllability, observability, disturbance decoupling, optimization, identification, etc., are discussed. Finally, various other applications of STP and ASSP approach are introduced.

Slides: View slides

Biographical sketch:

程代展, 中科院数学与系统研究院研究员. 1970年毕业于清华大学, 1982 年毕业于科学院研究生院, 1985年获美国华盛顿大学博士学位. 研究内容包括: 非线性系统控制、哈密顿系统、切换系统、逻辑动态系统、博弈、等系统与控制问题. 现为国际电力与电子协会(IEEE) Fellow, 国际自动化协会(IFAC) Fellow. 2011 年获IFAC颁发 Automatica 2008-2010 最佳论文奖. 2008年与2014年的国家自然科学奖二等奖项目“复杂非线性系统稳定性与镇定” 及 “逻辑动态系统控制的代数状态空间方法”的第一完成人.