About: A note on controllability of deterministic context-free systems

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: A note on controllability of deterministic context-free systems Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Vysledek, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	skos:Concept http://linked.opendata.cz/ontology/domain/vavai/Vysledek
Description	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... 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... (en)
Title	A note on controllability of deterministic context-free systems A note on controllability of deterministic context-free systems (en)
skos:prefLabel	A note on controllability of deterministic context-free systems A note on controllability of deterministic context-free systems (en)
skos:notation	RIV/67985840:_____/12:00378943!RIV13-AV0-67985840
http://linked.open...avai/riv/aktivita	I P
http://linked.open...avai/riv/aktivity	I, P(GPP202/11/P028)
http://linked.open...iv/cisloPeriodika	8
http://linked.open...vai/riv/dodaniDat	2013
http://linked.open...aciTvurceVysledku	Masopust, Tomáš
http://linked.open.../riv/druhVysledku	J - Článek v odborném periodiku
http://linked.open...iv/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open...titaPredkladatele	Matematický ústav AV ČR, v. v. i.
http://linked.open...dnocenehoVysledku	120441
http://linked.open...ai/riv/idVysledku	RIV/67985840:_____/12:00378943
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	discrete-event systems; controllability; deterministic context-free systems (en)
http://linked.open.../riv/klicoveSlovo	controllability deterministic context-free systems discrete-event systems
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[F9EE0AE2AC72]
http://linked.open...i/riv/nazevZdroje	Automatica
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	1 (xsd:int)
http://linked.open...cetTvurcuVysledku	1 (xsd:int)
http://linked.open...vavai/riv/projekt	Decentralized and coordination supervisory control
http://linked.open...UplatneniVysledku	2012
http://linked.open...v/svazekPeriodika	48
http://linked.open...iv/tvurceVysledku	Masopust, Tomáš
http://linked.open...ain/vavai/riv/wos	000307688200057
issn	0005-1098
number of pages	4 (xsd:int)
http://bibframe.org/vocab/doi	10.1016/j.automatica.2012.06.004

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 48 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software