Andere Kunden interessierten sich auch für
![Contribution à la synthèse d'observateurs pour les systèmes hybrides]( "Contribution à la synthèse d'observateurs pour les systèmes hybrides")
Contribution à la synthèse d'observateurs pour les systèmes hybrides51,99 €![Méthode de vérification de la signature manuscrite hors ligne]( "Méthode de vérification de la signature manuscrite hors ligne")
Méthode de vérification de la signature manuscrite hors ligne23,99 €![Introduction à la vérification de la parenté]( "Introduction à la vérification de la parenté")
Introduction à la vérification de la parenté19,99 €![Méthodes discriminatoires pour la vérification des visages avec progression de l'âge]( "Méthodes discriminatoires pour la vérification des visages avec progression de l'âge")
Méthodes discriminatoires pour la vérification des visages avec progression de l'âge23,99 €![Sûreté de fonctionnement des condensateurs et supercondensateurs]( "Sûreté de fonctionnement des condensateurs et supercondensateurs")
Sûreté de fonctionnement des condensateurs et supercondensateurs25,99 €![Sûreté de fonctionnement de services de télécommunications]( "Sûreté de fonctionnement de services de télécommunications")
Sûreté de fonctionnement de services de télécommunications40,99 €![Approche de Commande Floue des Systèmes Dynamiques Hybrides]( "Approche de Commande Floue des Systèmes Dynamiques Hybrides")
Approche de Commande Floue des Systèmes Dynamiques Hybrides23,99 €
Les systèmes dynamiques hybrides sont des systèmes dynamiques faisant intervenir explicitement et simultanément des phénomènes ou des modèles de type dynamique continu et événementiel. Dans cette thèse, nous proposons des techniques algorithmiques de vérification formelle de propriétés pour ces systèmes. Ces techniques de vérification se basent sur le calcul de l espace atteignable à partir d une région initiale pour déterminer si l intersection de cet espace avec le domaine à éviter est bien vide. Notre méthode consiste à partitionner l espace d état du système complexe en régions et à approximer pour chacune de ces régions la dynamique du système étudié par une dynamique plus simple. Nous présentons des extensions à une proposition précédente afin de prendre en compte des incertitudes dans les dynamiques affines. Dans un premier temps cette incertitude est considérée comme invariante. Dans un second temps nous la considérons variante. Cette deuxième extension permet de considérer l atteignabilité des systèmes non-linéaires.