Modélisation et simulation qualitative de systèmes hybrides
Les systèmes hybrides sont au cœur des systèmes cyber-physiques. De tels systèmes représentent l’interaction de processus physiques continus modélisant généralement l'environnement avec des décisions discrètes issues d'un système de contrôle commande électronique. La vérificat...
Main Author: | Zaatiti, Hadi |
---|---|
Other Authors: | Université Paris-Saclay (ComUE) |
Language: | en |
Published: |
2018
|
Subjects: | |
Online Access: | http://www.theses.fr/2018SACLS493/document |
Similar Items
-
Vérification de spécifications EB-3 à l'aide de techniques de model-checking
by: Vekris, Dimitrios
Published: (2014) -
Abstraction techniques for verification of concurrent systems
by: Enea, Constantin
Published: (2008) -
AN OVERVIEW OF 10 YEARS OF QUALITATIVE METHODS AT JOURNAL OF INTERNATIONAL BUSINESS STUDIES
by: Sílvio Luís de Vasconcellos, et al.
Published: (2013-06-01) -
A formal approach to automate the evolution management in component-based software development processes
by: Mokni, Abderrahman
Published: (2015) -
Une approche compositionnelle pour la modélisation et l'analyse des composants systemC au niveau TLM et au niveau des Delta Cycles
by: Harrath, Nesrine
Published: (2014)