@phdthesis{bouissou:pastel-00004412, TITLE = {{Analyse statique par interpr{\'e}tation abstraite de syst{\`e}mes hybrides.}}, AUTHOR = {Bouissou, Olivier}, URL = {https://pastel.hal.science/pastel-00004412}, SCHOOL = {{Ecole Polytechnique X}}, YEAR = {2008}, MONTH = Sep, KEYWORDS = {Abstract interpretation ; Denotational semantics ; Hybrid systems ; Differential equations ; Guaranteed integration ; Embedded systems ; Interpr{\'e}tation abstraite ; Syst{\`e}mes hybrides ; S{\'e}mantique d{\'e}notationnelle ; Equations diff{\'e}rentielles ; Int{\'e}gration garantie ; Syst{\`e}mes embarqu{\'e}s}, TYPE = {Theses}, PDF = {https://pastel.hal.science/pastel-00004412/file/Bouissou.pdf}, HAL_ID = {pastel-00004412}, HAL_VERSION = {v1}, }