You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.

Stéphane Riedweg (1) , Sophie Pinchinat (2)

1 LSV - Laboratoire Spécification et Vérification [Cachan]
2 S4 - System synthesis and supervision, scenarios

The maximal permissivity property of controllers is an optimal criterion that is often taken for granted as the result of synthesis algorithms: the algorithms are designed for frameworks where the existence and the uniqueness of a maximal permissive controller is demonstrated apart, as it fulfills sufficient hypotheses ; these algorithms precisely compute this object. Still, maximally permissive solutions might exist in circumstances which do not fall into such identified frameworks, but there is no way to ensure that the algorithms deliver an optimal solution. In this paper, we propose a general synthesis procedure which always computes a maximal permissive controller when it exists.

Domaines: Informatique et théorie des jeux [cs.GT]

Stéphane Riedweg, Sophie Pinchinat. You Can Always Compute Maximally Permissive Controllers Under Partial Observation When They Exist.. Proc. 2005 American Control Conference., Jun 2005, Portland, Oregon, United States. pp.2287-2292. ⟨inria-00556003⟩