%O Report 
%F LJM05a
%A Legall, T.
%A Jeannet, B.
%A Marchand, H.
%T Contrôle de systèmes symboliques, discrets ou hybrides
%N 0
%I IRISA
%X 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
%U ftp://ftp.irisa.fr/techreports/2005/PI-1683.ps.gz
%8 January
%D 2005