Semantisches Browsen
Aus International Center for Computational Logic
In this paper, we prove that the most impo … In this paper, we prove that the most important concept of supervisory control of discrete-event systems, the controllability property, is undecidable for two deterministic context-free languages K and L, where L is prefix closed, even though K is a subset of L. If K is not a subset of L, the undecidability follows from the work by Sreenivas. However, the case where K is a subset of L does not follow from that work because it is decidable whether K and L are equivalent as shown by Sénizergues. Thus, our result completes this study. The problem is also mentioned as open in the Ph.D. thesis by Griffin, who extended the supervisory control framework so that the specification language is modeled as a deterministic context-free language (compared to the classical approach where the specification is regular) and the plant language is regular. This approach is of interest because it brings an opportunity for more concise representations of the specification (as discussed, e.g., in the work by Geffert et al.) and, therefore, in some sense it treats the most interesting problem of current supervisory control theory, the state-space explosion problem.theory, the state-space explosion problem. +
@article{M2012,
author = {Tom{\'{a}}{\v{s}} Masopust},
title = {A note on controllability of deterministic context-free systems},
journal = {Automatica},
volume = {48},
number = {8},
year = {2012},
pages = {1934-1937},
doi = {10.1016/j.automatica.2012.06.004}
}
author = {Tom{\'{a}}{\v{s}} Masopust},
title = {A note on controllability of deterministic context-free systems},
journal = {Automatica},
volume = {48},
number = {8},
year = {2012},
pages = {1934-1937},
doi = {10.1016/j.automatica.2012.06.004}
}
Masopust +
Tomáš +
Tomáš Masopust<br/> '''[[Article3002|A note on controllability of deterministic context-free systems]]'' … Tomáš Masopust<br/> '''[[Article3002|A note on controllability of deterministic context-free systems]]''' <br/>__NOTOC__Automatica, 48(8):1934-1937, 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3002|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:A note on controllability of deterministic context-free systems.pdf|Download]]dia:A note on controllability of deterministic context-free systems.pdf|Download]] +
Tomáš Masopust<br/> '''[[Article3002/en|A note on controllability of deterministic context-free systems]]'' … Tomáš Masopust<br/> '''[[Article3002/en|A note on controllability of deterministic context-free systems]]''' <br/>__NOTOC__Automatica, 48(8):1934-1937, 2012<br/><span class="fas fa-chevron-right" style="font-size: 85%;" ></span> [[Article3002|Details]] <span class="fas fa-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:A note on controllability of deterministic context-free systems.pdf|Download]]dia:A note on controllability of deterministic context-free systems.pdf|Download]] +
Display title of"Display title of" is a predefined property that can assign a distinct display title to an entity and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
A note on controllability of deterministic context-free systems +
Modification date"Zuletzt geändert <span style="font-size:small;">(Modification date)</span>" is a predefined property that corresponds to the date of the last modification of a subject and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
24. Mai 2016, 16:01:25 +
Has query"Hat Abfrage <span style="font-size:small;">(Has query)</span>" is a predefined property that represents meta information (in form of a <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Subobject">subobject</a>) about individual queries and is provided by <a rel="nofollow" class="external text" href="https://www.semantic-mediawiki.org/wiki/Help:Special_properties">Semantic MediaWiki</a>.
A note on controllability of deterministic context-free systems +, A note on controllability of deterministic context-free systems +, A note on controllability of deterministic context-free systems +, A note on controllability of deterministic context-free systems + and A note on controllability of deterministic context-free systems +
