Media type: E-Article Title: Hybrid Systems: Computation and Control: Abstraction by Projection and Application to Multi-affine Systems Contributor: Asarin, Eugene; Dang, Thao Published: Springer Berlin Heidelberg, 2004 Published in: Hybrid Systems: Computation and Control (2004), Seite 32-47 Language: Not determined DOI: 10.1007/978-3-540-24743-2_3 ISSN: 0302-9743; 1611-3349 Origination: Footnote: