Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France, - Equation - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-10-05 02:55:26 Differential equations Mathematics Hybrid automaton Hybrid system Systems science X0 Center FO Systems theory		Model Checking of Hybrid Systems Goran Frehse AVACS Autumn School, October 1, 2015 Univ. Grenoble Alpes – Verimag, 2 avenue de Vignate, Centre Equation, 38610 Gières, France, Add to Reading List Source URL: www.avacs.org Download Document from Source Website File Size: 4,23 MB Share Document on Facebook