Michael P. Spathopoulos

Publication Activity (10 Years)

Years Active: 1999-2007
Publications (10 Years): 0

Publications

Y. Pang, Michael P. Spathopoulos, Hao Xia
Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. Int. J. Control 80 (5) (2007)
Anastasios Trontis, Michael P. Spathopoulos
Hierarchical Control Synthesis for Eventuality Specifications in Hybrid Systems. ADHS (2003)
Hao Xia, Y. Pang, Anastasios Trontis, Michael P. Spathopoulos
Eventuality synthesis for controlled linear automata. ACC (2002)
Hao Xia, Yan Pang, Michael P. Spathopoulos
Approximate analysis of supervisory target control for hybrid systems. CDC (2002)
Anastasios Trontis, Michael P. Spathopoulos
Target control for hybrid systems with linear continuous dynamics. CDC (2001)
Anastasios Trontis, Michael P. Spathopoulos
Target control for linear hybrid systems. ECC (2001)
Michael P. Spathopoulos
Supervisory control for rectangular hybrid automata. CDC (2000)
M. R. Laurence, Michael P. Spathopoulos
The non-blocking forbidden state problem for compact rectangular hybrid automata. ECC (1999)