Logical analysis of hybrid systems proving theorems for complex dynamics authors platzer andre it is the first book that leverages the power of logic for hybrid systems the author develops a coherent logical approach for systematic hybrid systems analysis covering its theory practice and applications it is further shown how the developed verification techniques can be used to study . Logical analysis of hybrid systems proving theorems for complex dynamics platzer andre isbn 9783642145087 kostenloser versand fur alle bucher mit versand und verkauf duch amazon. Request pdf logical analysis of hybrid systems proving theorems for complex dynamics hybrid systems are models for complex physical systems and have become a widely used concept for . Logical analysis of hybrid systems proving theorems for complex dynamics andre platzer auth hybrid systems are models for complex physical systems and have become a widely used concept for understanding their behavior. Logical analysis of hybrid systems proving theorems for complex dynamics 123 isbn 978 3 642 14508 7 e isbn 978 3 642 14509 4 doi 101007 978 3 642 14509 4 springer heidelberg dordrecht london new york library of congress control number 2010934645 acm computing classification 1998 f41 f3 d24 i23 g17 i28 c springer verlag berlin heidelberg 2010 this work is subject to