Analyse et estimation robustes des systèmes hybrides non linéaires, une approche ensembliste - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Analyse et estimation robustes des systèmes hybrides non linéaires, une approche ensembliste

Résumé

Les systèmes dynamiques hybrides sont des systèmes complexes où coexistent des dynamiques continues et événementielles. Ce sont souvent des systèmes embarqués ou cyber-physiques critiques. Lorsque les dynamiques mises en jeu sont non linéaires ou incertaines, la vérification et synthèse des lois de commande robustes pour ces systèmes, et l'estimation et supervision robustes de leurs variables deviennent des problèmes difficiles. En effet, l'analyse d'atteignabilité hybride non linéaire qui est au coeur des méthodes de vérification, de synthèse ou d'estimation robuste, s'appuie sur des algorithmes dont la complexité est exponentielle en la dimension du système analysé. Ceci constitue un des principaux obstacles pour la vérification des systèmes embarqués critiques et pour la mise en oeuvre des méthodes d'estimation robuste (ensembliste) avec des systèmes complexes réels de grande dimension. Nous procédons dans cet article à la synthèse des travaux récents de l'auteur et montrons qu'il est possible de développer des approches ensemblistes de complexité réduite, capables d'apporter des solutions robustes, globales et numériquement garanties au problème de l'analyse d'atteignabilité hybride non linéaire. Nous discuterons en particulier les méthodes ensemblistes obtenues récemment, en combinant l'analyse par intervalles, la programmation par contraintes, les théorèmes de comparaison des inégalités différentielles, et la théorie des systèmes dynamiques monotones. Dans une seconde partie, nous montrerons comment procéder à la vérification et estimation ensembliste d'un système hybride non linéaire en associant l'analyse d'atteignabilié avec un outil de test de satisfiabilité.
Fichier non déposé

Dates et versions

hal-00719902 , version 1 (22-07-2012)

Identifiants

  • HAL Id : hal-00719902 , version 1

Citer

Nacim Ramdani. Analyse et estimation robustes des systèmes hybrides non linéaires, une approche ensembliste. CIFA 2012, Jul 2012, France. pp.991-1002. ⟨hal-00719902⟩
35 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More