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)

The batch evaporator: A case study of target control for hybrid systems using level set methods. - Anastasios Trontis; Michael P. Spathopoulm (CDC, 2002)

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