Workshop Title: Semi-Tensor Product of Matrices and Its Applications

Organizers: Daizhan Cheng, M. Elena Valcher, and Kuize Zhang

Workshop Time: December 12, 2023

Location: Peony Junior 4512

      1. 9:00 - 9:30 M. Elena Valcher and Daizhan Cheng (Chaired by Kuize Zhang)

     9:00-9:02 Kuize Zhang

     Title: Opening address: A brief introduction to the workshop

      9:02 – 9:16 M. Elena Valcher

       A general survey on STP (Report PPT 1-2)

       9:16 – 9:30 Daizhan Cheng

       An introduction to axiomatic STP (Report PPT 1-3)

      2.  9:30 - 10:15 Ping Zhang (Chaired by M. Elena Valcher)

    Title: Observer design and fault detection of Boolean control networks (Report PPT 2)

     3. 10:45 - 11:30  Kuizhe Zhang (Chaired by M. Elena Valcher)

  Title: Observability verification and synthesis based on state-feedback control in Boolean control networks (Report PPT 3)

      4. 11:30 – 12:15 M. Elena Valcher (Chaired by Daizhan Cheng)

   Title: Reconstruction of Boolean networks and optimal control (Report PPT 4)

       5. 14:00 - 14:30 Carmen Del Vecchio (Chaired by Daizhan Cheng)

    Title: The control problem of probabilistic Boolean control networks (Report PPT 5)

       6. 14:30 - 15:00 Jiandong Zhu  (Chaired by Daizhan Cheng)

    Title: Application of STP to finite games (Report PPT 6)

     7. 15:30 - 16:15 Daizhan Cheng and Jun-e Feng  (Chaired by Kuize Zhang)

   Title: From dimension-free manifold to cross-dimensional (control) systems (Report PPT 7)

      8. 16:15 - 16:45 Tielong Shen and Yuhu Wu (Chaired by Kuize Zhang)

   Title: Practical Applications of STP-Based Logical Networks in Automotive Powertrain Control Design (Report PPT 8)

       9. 16:45 - 17:15 Xiaohua Xia and Bing Zhu (Chaired by Kuize Zhang)

    Title: Demand-side management for a class of smart grid by using STP (Report PPT 9)