Semantisches Browsen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Article3002
Abstract 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.  +
Author Tomáš Masopust +
BibTex
@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}
}
Bibtype Article  +
DOI Name 10.1016/j.automatica.2012.06.004  +
Download A note on controllability of deterministic context-free systems.pdf  +
ErsterAutorNachname Masopust  +
ErsterAutorVorname Tomáš  +
Forschungsgruppe Wissensbasierte Systeme +
ISSN 0005-1098  +
Journal Automatica  +
Num 8  +
Pages 1934-1937  +
Publication text Tomáš Masopust<br/> '''[[Article3002
Tomáš Masopust<br/> '''[[Article3002|A note on controllability of deterministic context-free systems]]''' <br/>__NOTOC__Automatica, 48(8):1934-1937, 2012<br/><span class="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article3002|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex; "></span> [[Media:A note on controllability of deterministic context-free systems.pdf|Download]]
nistic context-free systems.pdf|Download]]  +
Publication text en Tomáš Masopust<br/> '''[[Article3002
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="glyphicon glyphicon-chevron-right" style="font-size: 85%;" ></span> [[Article3002|Details]] <span class="glyphicon glyphicon-chevron-right" style="font-size: 85%; margin-left: 2ex;" ></span> [[Media:A note on controllability of deterministic context-free systems.pdf|Download]]
nistic context-free systems.pdf|Download]]  +
Referiert 0  +
Title A note on controllability of deterministic context-free systems  +
To appear 0  +
Type article  +
Volume 48  +
Year 2012  +
Hat Abfrage
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
Article3002 + , Article3002 + , Article3002 + , Article3002 + , Article3002 +
Kategorien Article , Publikation
Zuletzt geändert
Dieses Attribut ist ein Spezialattribut in diesem Wiki.
24 Mai 2016 16:01:25  +
verstecke Attribute die hierhin verlinken 
Article3002/en + Weiterleitungsseite
 

 

Bitte den Namen einer Seite angeben, um mit dem Browsen zu beginnen.