Date : 2003
Editeur / Publisher : [S.l.] : [s.n.] , 2003
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : La part croissante de l'électronique dans le secteur automobile a considérablement amélioré les services rendus par le véhicule. Toutefois, cela a rendu complexe la conception des systèmes mécatroniques sûrs. Ces systèmes, alliant mécanique, hydraulique, électronique et un calculateur, sont des systèmes dynamiques hybrides. Ces travaux portent sur l'aide à la conception des systèmes mécatroniques sûrs de fonctionnement. La thèse concerne l'analyse qualitative de ces systèmes pour l'obtention des scénarios redoutés. La connaissance de ces scénarios puis leur évaluation permet d'orienter le choix des concepteurs quant aux différents types d'architectures possibles proposées pour le systèmes à concevoir. Comme le système est hybride, nous avons choisi une modélisation associant Réseau de Pétri et équations différentielles. Nous proposons une méthode basée sur l'interprétation du modèle RdP en logique linéaire, ce qui permet d'extraire les relations de causalité menant à l'état redouté.