![Differential equations / Mathematics / Hybrid automaton / Hybrid system / Systems science / X0 / Center / FO / Systems theory Differential equations / Mathematics / Hybrid automaton / Hybrid system / Systems science / X0 / Center / FO / Systems theory](https://www.pdfsearch.io/img/58e70e97c4f973d48910540abdcbcacd.jpg) Date: 2015-10-05 02:55:26Differential 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 ListSource URL: www.avacs.orgDownload Document from Source Website File Size: 4,23 MBShare Document on Facebook
|