A Note on Undecidability of Observation Consistency for Non-Regular Language

Tomáš MasopustTomáš Masopust

Download

Tomáš Masopust
A Note on Undecidability of Observation Consistency for Non-Regular Language
Technical Report, arxiv.org, 2012

Details
Bibtex

KurzfassungAbstract
One of the most interesting questions concerning hierarchical control of discrete-event systems with partial observations is a condition under which the language observability is preserved between the original and the abstracted plant. Recently, we have characterized two such sufficient conditions---observation consistency and local observation consistency. In this paper, we prove that the condition of observation consistency is undecidable for non-regular (linear, deterministic context-free) languages. The question whether the condition is decidable for regular languages is open.
Bemerkung: Note: The problem is still open
Forschungsgruppe:Research Group: Knowledge SystemsKnowledge-Based Systems

@techreport{M2012,
  author      = {Tom{\'{a}}{\v{s}} Masopust},
  title       = {A Note on Undecidability of Observation Consistency for
                 Non-Regular Language},
  institution = {arxiv.org},
  year        = {2012}
}