The non-blocking forbidden state problem for compact rectangular hybrid automata. - M. R. Laurence; Michael P. Spathopoulos (ECC, 1999)

Supervisory control for rectangular hybrid automata. - Michael P. Spathopoulos (CDC, 2000)

Target control for hybrid systems with linear continuous dynamics. - Anastasios Trontis; Michael P. Spathopoulos (CDC, 2001)

Target control for linear hybrid systems. - Anastasios Trontis; Michael P. Spathopoulos (ECC, 2001)

Eventuality synthesis for controlled linear automata. - Hao Xia; Yan Pang; Anastasios Trontis; Michael P. Spathopoulos (ACC, 2002)

Approximate analysis of supervisory target control for hybrid systems. - Hao Xia; Yan Pang; Michael P. Spathopoulos (CDC, 2002)

Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems. - Anastasios Trontis; Michael P. Spathopoulos (ADHS, 2003)

Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. - Yan Pang; Michael P. Spathopoulos; Hao Xia (Int. J. Control, 2007)