DocumentCode
3105531
Title
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation
Author
Le Gall, Tristan ; Jeannet, Bertrand ; Marchand, Hervé
Author_Institution
IRISA, Campus Univ. de Beaulieu, 35042 Rennes, France. Tristan.leGall@irisa.fr
fYear
2005
fDate
12-15 Dec. 2005
Firstpage
30
Lastpage
35
Abstract
In this paper, we investigate the control of infinite systems, modeled by symbolic transition system for safety properties. We first redefine the concept of controllability by applying it to the guards of symbolic transitions, instead of to the events. We then define synthesis algorithms based on symbolic transformations and abstract interpretation techniques so that we can ensure finiteness of the computations.
Keywords
Automata; Communication system control; Control system synthesis; Control systems; Controllability; Discrete event systems; Safety; Sociotechnical systems; State-space methods; Supervisory control;
fLanguage
English
Publisher
ieee
Conference_Titel
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC '05. 44th IEEE Conference on
Print_ISBN
0-7803-9567-0
Type
conf
DOI
10.1109/CDC.2005.1582126
Filename
1582126
Link To Document