Observers for a Class of Timed Automata Based on Elapsed Time Graphs. - Jun Li 086; Dimitri Lefebvre; Christoforos N. Hadjicostis; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2022)

State estimation for constant-time labeled automata under dense time. - Jun Li 086; Dimitri Lefebvre; Christoforos N. Hadjicostis; Zhiwu Li 001 (Autom., 2024)

Verification of State-Based Timed Opacity for Constant-Time Labeled Automata. - Jun Li 086; Dimitri Lefebvre; Christoforos N. Hadjicostis; Zhiwu Li 001 (IEEE Trans. Autom. Control., 2025)