1. Semi-Tensor Product of Matrices and Its Applications
Organizers: Daizhan Cheng, Maria Elena Valcher, Kuize Zhang
Location: Peony Junior 4512
Website: https://m-stp.lcu.edu.cn/xzhdyg/520022.htm
Abstract: In the past decade the semi-tensor product (STP) of matrices has been the subject of extensive research and the theory of STP has been successfully applied to modelling and control of Boolean (control) networks (BNs, BCNs), evolutionary games, cross-dimensional control networks, just to cite a few. This workshop aims to provide a tutorial introduction to STP and its applications. The BN, introduced by Stuart Kauffman in 1969, is an effective model for gene regulatory networks, as well as some other networks. The use of STP to derive the algebraic representation of BNs and BCNs will first be illustrated. Then several recent developments about control problems BCNs will be presented, including reconstruction, optimal control, observer design, fault detection, control of probabilistic BCNs, observability, synthesis based on state-feedback control, etc.
The application of STP to finite games, such as potential games, networked games, etc., will also be discussed. STP-based mix-dimensional Euclidian spaces and dimension-varying dynamical systems over such spaces will be discussed.
Applications of STP to engineering problems, such as mixed energy vehicles and power systems, will be presented.
Lecture Schedules:
- 9:00 - 9:30 An Introduction to STP and its applications (Speakers: M. Elena Valcher and Daizhan Cheng)
- 9:30 - 10:15 Observer design and fault detection of Boolean control networks (Speaker: Ping Zhang)
- 10:15 - 10:45 Coffee Break
- 10:45 - 11:30 Observability verification and synthesis based on state-feedback control in Boolean control networks (Speaker: Kuizhe Zhang)
- 11: 30 - 12:15 Reconstruction of Boolean networks and optimal control (Speaker: M. Elena Valcher)
- 12:15 - 14:00 Lunch Time
- 14:00 - 14:30 The control problem of probabilistic Boolean control networks (Speaker: Carmen Del Vecchio)
- 14:30 - 15:00 Application of STP to finite games (Speaker: Jiandong Zhu)
- 15:00 - 15:45 Mix-dimensional Euclidian space and cross-dimensional (control) systems (Speakers: Daizhan Cheng and Jun-e Feng)
- 15:45 - 16:15 Coffee Break
- 16:15 - 16:45 Practical Applications of STP-Based Logical Networks in Automotive Powertrain Control Design (Speakers: Tielong Shen and Yuhu Wu)
- 16:45 - 17:15 Demand-side management for a class of smart grid by using STP (Speakers: Xiaohua Xia and Bing Zhu)