2011
DOI: 10.1007/s10626-011-0101-3
|View full text |Cite
|
Sign up to set email alerts
|

Symbolic Supervisory Control of Infinite Transition Systems Under Partial Observation Using Abstract Interpretation

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 controller… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
8
0

Year Published

2013
2013
2021
2021

Publication Types

Select...
3
2
1

Relationship

1
5

Authors

Journals

citations
Cited by 8 publications
(8 citation statements)
references
References 39 publications
0
8
0
Order By: Relevance
“…The controller synthesis of infinite state systems modeled by Petri Nets has also been considered by Holloway et al [8]. Regarding models more closely related to our ASTSs, one can find the work of Le Gall et al [9] that control symbolic transition systems with variables as well as Kalyon et al [10], in an asynchronous framework and with finite alphabets.…”
Section: B Related Work On the Control Of Infinite Systemsmentioning
confidence: 96%
“…The controller synthesis of infinite state systems modeled by Petri Nets has also been considered by Holloway et al [8]. Regarding models more closely related to our ASTSs, one can find the work of Le Gall et al [9] that control symbolic transition systems with variables as well as Kalyon et al [10], in an asynchronous framework and with finite alphabets.…”
Section: B Related Work On the Control Of Infinite Systemsmentioning
confidence: 96%
“…We shortly introduce in this section the model of Arithmetic Symbolic Transition Systems allowing to model reactive systems handling data (a mix between the STS introduced by Kalyon et al (2011) and the Boolean system of ). We further formally present the invariance control problem and our algorithms within this framework.…”
Section: Control Of Symbolic Transition Systemsmentioning
confidence: 99%
“…Note that if the uncontrollable variables are Boolean variables as well and if only one of the input variables can be true at each instant, then we obtain a finite set of actions some of them being controllable and the other ones uncontrollable, as in the classical Ramadge & Wonham framework. In that case, and if applied to a system with distinct locations as explained in Remark 4, then our methodology is reduced to the one of Kalyon et al (2011) and implemented in Smacs 3 when all state variables are fully observable.…”
Section: Restricting Controllable Inputs To Booleansmentioning
confidence: 99%
See 2 more Smart Citations