Anastasios Trontis

Publication Activity (10 Years)

Years Active: 2001-2003
Publications (10 Years): 0

Publications

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)
Anastasios Trontis, Michael P. Spathopoulm
The batch evaporator: A case study of target control for hybrid systems using level set methods. 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)