A note on controllability of deterministic context-free systems

MASOPUST, Tomáš. A note on controllability of deterministic context-free systems. Automatica. Elsevier, 2012, roč. 48, č. 8, s. 1934-1937. ISSN 0005-1098. Dostupné z: https://dx.doi.org/10.1016/j.automatica.2012.06.004.

Základní údaje

• Originální název: A note on controllability of deterministic context-free systems
• Autoři: MASOPUST, Tomáš.
• Vydání: Automatica, Elsevier, 2012, 0005-1098.

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Článek v odborném periodiku
• Obor: 10201 Computer sciences, information science, bioinformatics
• Stát vydavatele: Česká republika
• Utajení: není předmětem státního či obchodního tajemství
• Impakt faktor: Impact factor: 2.919
• Organizační jednotka: Fakulta informatiky
• Doi: http://dx.doi.org/10.1016/j.automatica.2012.06.004
• UT WoS: 000307688200057
• Klíčová slova anglicky: Discrete-event systems; Controllability; Deterministic Context-Free Systems; Decidability.
• Příznaky: Mezinárodní význam, Recenzováno

Anotace

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 Senizergues. Thus, our result completes this study. The problem is also mentioned as open in the PhD thesis by Griffin, who extended the supervisory control framework so that the specification language is modelled 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 the current supervisory control theory, the state-space explosion problem.