Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Gziped Postscript (.ps.gz)
Copyright noticeThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Le langage SIGNAL est destiné à la conception et à la mise en oeuvre sure de systèmes réactifs temps réels. Certains domaines d'application exigent une grande fiabilité et une sûreté de fonctionnement. Traditionnellement, ces exigences sont vérifiées a posteriori par des techniques de simulation et de vérification de propriétés. La théorie du contrôle, utilisée dans le cadre des systèmes à événements discrets permet de développer le système en utilisant des méthodes de construction garantissant a priori les propriétés attendues du système global, permettant ainsi de restreindre la phase de validation aux seules propriétés du système non garanties par construction. L'objectif de cette thèse est la mise au point de méthodes permettant de dériver un système en y intégrant un ensemble de propriétés logico-temporelles. Dans notre approche, la théorie du contrôle repose sur une représentation équationnelle de la partie logique d'un programme SIGNAL sous la forme d'un système dynamique polynomial dans Z/3Z. Nous montrons, dans ce rapport, comment à partir d'un tel système, il est possible de synthétiser un contrôleur de manière à ce que le système contrôlé vérifie a posteriori un objectif de commande logique. Nous présentons une théorie de la commande optimale, permettant de synthétiser des contrôleurs traduisant un critère qualitatif et non plus logique. Les objectifs de commande s'expriment alors comme des relations d'ordre ou comme un critère de minimisation sur une trajectoire bornée du système. Enfin du point de vue théorique, nous esquissons une méthode de contrôle de systèmes dynamiques polynomiaux partiellement observés. Finalement, nous présentons l'intégration de ces techniques dans l'environnement de programmation SIGNAL à travers la description d'un prototype pour la conception d'automatismes et de logiciel sûrs les implémentant. Ce prototype est validé sur le contrôle d'un poste de transformation électrique et à travers divers exemples tirés du monde académique.
Keywords: Systèmes à événements discrets, théorie du contrôle, commande optimale, langages synchrones, SIGNAL
Hervé Marchand
hmarchan@irisa.fr
@PhdThesis{marchand97b,
Author = {Marchand, H.},
Title = {Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis},
School = {Université de Rennes 1, IFSIC},
Month = {October},
Year = {1997}
}
Get EndNote Reference (.ref)