During PhD Program

To be updated in the future

During Undergraduate Time

Program Verification:

  • [There might be one later …]

Formal Control Theory:

  • Ziteng Yang, X. Yin and S. Li. “Maximally permissive supervisor control of timed discrete-event systems under partial observation,” in 21st IFAC World Congress, 2020. [ Conference Paper l PDF l Slide l Video Report (Youtube) ].