-
Selection by year
-
Selection by authors
-
Complete lists
deds12a
G. Kalyon, T. Le Gall, H. Marchand, T. Massart. Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation. Discrete Event Dynamic Systems : Theory and Applications, 22(2):121-161, 2012.
Download [help]
Download paper: Adobe portable document (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
We propose algorithms for the synthesis of state-feedback controllers with partial observation of infinite state discrete event systems modelled by Symbolic Transition Systems. We provide models of safe memoryless controllers both for potentially deadlocking and deadlock free controlled systems. The termination of the algorithms solving these problems is ensured using abstract interpretation techniques which provide an overapproximation of the transitions to disable. We then extend our algorithms to controllers with memory and to online controllers. We also propose improvements in the synthesis of controllers in the finite case which, to our knowledge, provide more permissive solutions than what was previously proposed in the literature. Our tool SMACS gives an empirical validation of our methods by showing their feasibility, usability and efficiency
Contact
Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/
BibTex Reference
@article{deds12a,
Author = {Kalyon, G. and Le Gall, T. and Marchand, H. and Massart, T.},
Title = {Symbolic Supervisory Control of Infinite Transition Systems under Partial Observation using Abstract Interpretation},
Journal = {Discrete Event Dynamic Systems : Theory and Applications},
Volume = {22},
Number = {2},
Pages = {121--161},
Year = {2012}
}
EndNote Reference [help]
Get EndNote Reference (.ref)