Recherche simple :
Ressources pédagogiques
Ressources diverses
Thèses
Toutes les ressources
Thèses > Par auteur en fr
  • Nouveautés
  • Recherche avancée
  • Par auteur
  • Par date
  • Par laboratoire
  • Recherche thématique
Thèses -> Auteurs
Auteurs > A > Aljarbouh Ayman
Niveau supérieur
  • 1 ressource a été trouvée.
  |< << Page précédente 1 Page suivante >> >| documents par page
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
Tri :   Date de référencement Editeur Auteur Titre

Accelerated simulation of hybrid systems : method combining static analysis and run-time execution analysis
  • Consulter la notice
  • Date de publication : 
    • 05-09-2017  | 
  • Auteur(s) : 
    • Aljarbouh Ayman  | 
  • Editeur(s) : 
    • Universite de Rennes 1  | 
  • Origine de la fiche : 
    • Université de Rennes 1
  • 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éth...


  • Référencé le  : 
    • 28-11-2017
    |< << Page précédente 1 Page suivante >> >| documents par page
    © 2006-2010 ORI-OAI