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) Aljarbouh, Ayman - (2017-09-05) / Universite de Rennes 1 Accelerated simulation of hybrid systems : method combining static analysis and run-time execution analysis Accéder au document :  https://ecm.univ-rennes1.fr/nuxeo/site/esupversion...

Langue : Anglais Directeur(s) de thèse:  Caillaud, Benoît Discipline : Informatique Laboratoire :  INRIA-RENNES Ecole Doctorale : Mathématiques et STIC (MathSTIC) Classification : Informatique Mots-clés : Systèmes dynamiques hybrides, Simulations numériques, Modélisation et simulation, Chattering, Zénon, Vérification et complétude du modèle Systèmes dynamiques hybrides  - Thèses et écrits académiques Simulation par ordinateur  - Thèses et écrits académiques

Résumé : 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. Abstract : 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.