Université de Rennes 1 Accelerated simulation of hybrid systems : method combining static analysis and run-time execution analysis Simulation accélérée des systèmes hybrides : méthode combinant analyse statique et analyse à l'exécution Systèmes dynamiques hybridesSimulations numériquesModélisation et simulationChatteringZénonVérification et complétude du modèle Hybrid dynamical systemsNumerical simulationsModeling and simulationChatteringZenoModel verification and completeness Systèmes dynamiques hybrides Thèses et écrits académiques Simulation par ordinateur Thèses et écrits académiques Cette thèse apporte quatre principales contributions : une méthode d'éliminateur de phénomènes de ''chattering'' d'automates hybrides, par calcul d'une dynamique régulière équivalente à l'aide d'une convexification de Filippov ; une méthode d'accélération de la simulation de certains comportements Zénon, dits géométriques, pour certains automates hybrides ; des preuves de préservation par les méthodes ci-dessus d'une sémantique des automates hybrides à base d'analyse non-standard ; développement de trois logiciels prototypes, l'un sous la forme d'une bibliothèque Simulink, le second sous la forme d'un environnement de simulation de composants FMI, et le troisième étant une implémentation de la méthode de régularisation dans le langage de modélisation de systèmes hybrides Acumen. This thesis deals with Zeno behavior of hybrid systems, and it has four main contributions : a method of eliminating "chattering" phenomena of hybrid automata, by computing an equivalent dynamics using a new convexification approach ; a method for accelerating the simulation of geometric-Zeno behavior in which the solution converges to a Zeno limit point according to a geometric series ; a proof of preservation by the above methods of a semantics of hybrid automata based on non-standard analysis ; a development of three prototype software, one in the form of a Simulink library, the other in the form of an FMI simulation environment, and the third being an implementation of the regularization method in the Modeling and simulation tool Acumen. Electronic Thesis or DissertationText en application/pdf1 : 10902 Kohttps://ecm.univ-rennes1.fr/nuxeo/site/esupversions/8a104b87-755b-43cb-bf8f-60d723f123da Aljarbouh Ayman 1983-04-27 FR 221042385 ayman.aljarbouh@yahoo.fr 2017REN1S033 http://www.theses.fr/2017REN1S033 2017-09-05 Informatique Universite de Rennes 1thesis.degree.grantor_1 02778715X Doctorat non ouiCaillaudBenoîtintervenant_1148066518 Mathématiques et STIC (MathSTIC)ecoleDoctorale_1 204770424 Universite Bretagne LoirepartenaireRecherche_1 191639044 INRIA-RENNES partenaireRecherche_2 133175863 ddc:004 CaillaudBenoîtUniversite de Rennes 1Sciences et technologie, medecine, pharmacie, odontologie, droit, economie, gestion, philosophieMathématiques et STIC (MathSTIC)Universite Bretagne Loire Communaute des etablissements d enseignement superieur et de recherche (ComuE) INRIA-RENNES ASCII PDF 11164120