-
Selection by year
-
Selection by authors
-
Complete lists
marchand97b
H. Marchand. Méthodes de synthèse d'automatismes décrits par des systèmes à événements discrets finis. PhD Thesis Université de Rennes 1, IFSIC, October 1997.
Download [help]
Download paper: Gziped Postscript
Copyright notice:
This 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.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic
Abstract
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
Contact
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@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}
}
EndNote Reference [help]
Get EndNote Reference (.ref)