Abstract FR:

Dans le cadre de l'analyse automatique des convertisseurs statiques de puissance par ordinateur, ce travail propose une méthode systématique de modélisation sans à priori de commande par réseaux de pétri. Cette démarche basée sur l’hypothèse de composants idéalisés s'appuie d'abord sur le dénombrement des différentes configurations induites par les états binaires des interrupteurs en respectant les contraintes de commutation. Elle passe ensuite par l’écriture des réceptivités décrivant toutes les conditions de franchissement des transitions d'un graphe parallèle et enfin par la mise en équations des configurations réalisables en tenant compte des particularités topologiques de chacune d'elles. Le logiciel ainsi conçu, entièrement graphique, permet d’éditer facilement le schéma d'un convertisseur et d’établir son modèle de manière automatique. L'application présentée sur une alimentation à découpage en demi-pont comprenant les circuits d'aide a la commutation des transistors montre l’efficacité de la méthode et le logiciel développé