Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

tsi-legall-jeannet-marchand-06

T. Le Gall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technique et Science Informatiques (TSI), 25(3):293-319, 2006.

Download [help]

Download paper: Doi page

Download paper: Adobe portable document (pdf) pdf

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

Nous abordons le problème de la synthèse de contrôleurs à travers différents modèles allant des systèmes de transitions finis aux systèmes hybrides en nous intéressant à des propriétés de sûreté. Dans ce cadre, nous nous intéressons principalement au problème de synthèse pour un modèle intermédiaire : les systèmes de transitions symboliques. L'analyse des besoins de modélisation nous amène à redéfinir la notion de contrôlabilité en faisant porter le caractère de contrôlabilité non plus sur les événements mais sur les gardes des transitions, puis à définir des algorithmes de synthèse permettant l'usage d'approximations et d'assurer la terminaison des calculs. Nous généralisons par la suite notre méthodologie au contrôle de systèmes hybrides, ce qui donne un cadre unifié du problème de la synthèse pour un ensemble consistant de modèles

Contact

Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@article{tsi-legall-jeannet-marchand-06,
   Author = {Le Gall, T. and Jeannet, B. and Marchand, H.},
   Title = {Contrôle de systèmes symboliques, discrets ou hybrides},
   Journal = {Technique et Science Informatiques (TSI)},
   Volume = {25},
   Number = {3},
   Pages = {293--319},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)