Asynchronous l-complete approximations
Citations
[...]
1,829 citations
42 citations
18 citations
Cites background from "Asynchronous l-complete approximati..."
...[17, 20, 23, 29]....
[...]
...The construction of finite-state abstractions of input/output traces for the purpose of output-feedback control is further enabled by so called l-complete abstractions [17, 20, 23, 29]....
[...]
14 citations
11 citations
References
13,779 citations
3,432 citations
"Asynchronous l-complete approximati..." refers background or methods in this paper
...With this specification type supervisory control theory (SCT) [1, 2] can be used to synthesize a correct by design control system if the abstracted plant model can be represented by a regular language as well....
[...]
...Even though SCT cannot be directly applied to ω-languages, it was shown in [3], and recently generalized in [12], that for ω-languages realizable by finite state machines (FSM), a variant of SCT can be used to synthesize a minimally restrictive controller for specifications representable by the closure of a regular language (for details, see [12] and the references therein)....
[...]
...Observe that after the first piece we are only allowed to pick from the set B|[1,3]....
[...]
2,829 citations
"Asynchronous l-complete approximati..." refers methods in this paper
...With this specification type supervisory control theory (SCT) [1, 2] can be used to synthesize a correct by design control system if the abstracted plant model can be represented by a regular language as well....
[...]
...Even though SCT cannot be directly applied to ω-languages, it was shown in [3], and recently generalized in [12], that for ω-languages realizable by finite state machines (FSM), a variant of SCT can be used to synthesize a minimally restrictive controller for specifications representable by the closure of a regular language (for details, see [12] and the references therein)....
[...]
[...]
1,829 citations
1,582 citations