SCHEDULE

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

       9:16 – 9:30 Daizhan Cheng

       An introduction to axiomatic STP

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

    Title: Observer design and fault detection of Boolean control networks

10:15 - 10:45 Coffee Break*  

     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

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

   Title: Reconstruction of Boolean networks and optimal control

       12:15 - 14:00 Lunch Time*

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

    Title: The control problem of probabilistic Boolean control networks

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

    Title: Application of STP to finite games

      15:00 - 15:30 Coffee Break*

     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

      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

       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

*Breaks and lunch will be held at the bayview foyer. Based on the floorplan here -https://cdc2023.ieeecss.org/workshops/, it is the area marked “F&B”.