From Dimension-Free Matrix Theory to Cross-Dimensional Dynamic Systems

Daizhan Cheng is the creator of the novel and highly-useful product of matrices called the semi-tensor product (STP) or Cheng product. He holds a PhD from Washington University, St. Louis, and since 1990, he has served as a professor with the Institute of Systems Science, AMSS, Chinese Academy of Sciences. He is the author / co-author of 14 books, over 250 journal papers, and more than 150 conference papers. He received the Second National Natural Science Award in both 2008 and 2014, the Outstanding Science and Technology Achievement Price of CAS in 2015, and the Automatica Best Paper Award (2008–2010), bestowed by the IFAC.

1. Semi-tensor product of matrices2. Boolean networks3. Finite games4. Equivalence and lattice structures5. Topological structure on quotient space6. Differential geometry on set of matrices7. Cross-dimensional Lie algebra and Lie group8. Second matrix-matrix semi-tensor product9. Structure on set of vectors10. Dimension-varying linear system11. Dimension-varying linear control system12. Generalized dynamic systems13. Dimension-varying nonlinear dynamic systemsA. Mathematical preliminaries