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


T. Legall, B. Jeannet, H. Marchand. Contrôle de systèmes symboliques, discrets ou hybrides. Technical Report IRISA, No 0, January 2005.

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.


In this paper, we tackle the safety controller synthesis problem for various models ranging from finite transition systems to hybrid systems. Within this framework, we are mainly interested in an intermediate model: the symbolic transition system. Modeling requirements lead us to redefine the concept of controllability by applying it to the guards of symbolic transitions, instead to events. We then define synthesis algorithms based on abstract interpretation techniques so that we can ensure finiteness of the computations. We finally generalize our methodology to the control of hybrid systems, which gives an unified framework to the supervisory control problem for several classes of models


Bertrand Jeannet http://pop-art.inrialpes.fr/people/bjeannet/

BibTex Reference

   Author = {Legall, T. and Jeannet, B. and Marchand, H.},
   Title = {Contrôle de systèmes symboliques, discrets ou hybrides},
   Number = {0},
   Institution = {IRISA},
   Month = {January},
   Year = {2005}

EndNote Reference [help]

Get EndNote Reference (.ref)