This HTML5 document contains 45 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n18http://linked.opendata.cz/ontology/domain/vavai/riv/typAkce/
dctermshttp://purl.org/dc/terms/
n15http://purl.org/net/nknouf/ns/bibtex#
n19http://linked.opendata.cz/resource/domain/vavai/projekt/
n9http://linked.opendata.cz/resource/domain/vavai/riv/tvurce/
n8http://linked.opendata.cz/resource/domain/vavai/subjekt/
n7http://linked.opendata.cz/ontology/domain/vavai/
n21https://schema.org/
n6http://linked.opendata.cz/resource/domain/vavai/zamer/
shttp://schema.org/
skoshttp://www.w3.org/2004/02/skos/core#
n4http://linked.opendata.cz/ontology/domain/vavai/riv/
n16http://linked.opendata.cz/resource/domain/vavai/vysledek/RIV%2F67985840%3A_____%2F11%3A00365394%21RIV12-AV0-67985840/
n2http://linked.opendata.cz/resource/domain/vavai/vysledek/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/ontology/domain/vavai/riv/klicoveSlovo/
n12http://linked.opendata.cz/ontology/domain/vavai/riv/duvernostUdaju/
xsdhhttp://www.w3.org/2001/XMLSchema#
n17http://linked.opendata.cz/ontology/domain/vavai/riv/jazykVysledku/
n5http://linked.opendata.cz/ontology/domain/vavai/riv/aktivita/
n22http://linked.opendata.cz/ontology/domain/vavai/riv/obor/
n20http://linked.opendata.cz/ontology/domain/vavai/riv/druhVysledku/
n10http://reference.data.gov.uk/id/gregorian-year/

Statements

Subject Item
n2:RIV%2F67985840%3A_____%2F11%3A00365394%21RIV12-AV0-67985840
rdf:type
n7:Vysledek skos:Concept
dcterms:description
In this paper, the supervisory control synthesis of modular or distributed discrete-event systems is discussed. The coordination-control architecture proposed by Komenda and Van Schuppen (2008) and studied for prefix-closed specification languages by Komenda et al. (2010a,b) is generalized to the case of non-prefix-closed global specification languages and non-prefix-closed plant languages. Necessary and sufficient conditions for the solvability of the coordinated supervisory control synthesis problem are characterized in terms analogous to the terms of controllable and closed languages used in supervisory control theory of monolithic discrete-event systems. In this paper, the supervisory control synthesis of modular or distributed discrete-event systems is discussed. The coordination-control architecture proposed by Komenda and Van Schuppen (2008) and studied for prefix-closed specification languages by Komenda et al. (2010a,b) is generalized to the case of non-prefix-closed global specification languages and non-prefix-closed plant languages. Necessary and sufficient conditions for the solvability of the coordinated supervisory control synthesis problem are characterized in terms analogous to the terms of controllable and closed languages used in supervisory control theory of monolithic discrete-event systems.
dcterms:title
Coordinated control of discrete event systems with nonprefix-closed languages Coordinated control of discrete event systems with nonprefix-closed languages
skos:prefLabel
Coordinated control of discrete event systems with nonprefix-closed languages Coordinated control of discrete event systems with nonprefix-closed languages
skos:notation
RIV/67985840:_____/11:00365394!RIV12-AV0-67985840
n7:predkladatel
n8:ico%3A67985840
n4:aktivita
n5:P n5:Z
n4:aktivity
P(GAP103/11/0517), P(GPP202/11/P028), Z(AV0Z10190503)
n4:dodaniDat
n10:2012
n4:domaciTvurceVysledku
n9:3725944 n9:7977026
n4:druhVysledku
n20:D
n4:duvernostUdaju
n12:S
n4:entitaPredkladatele
n16:predkladatel
n4:idSjednocenehoVysledku
191983
n4:idVysledku
RIV/67985840:_____/11:00365394
n4:jazykVysledku
n17:eng
n4:klicovaSlova
discrete-event system; coordination control; supervisory control
n4:klicoveSlovo
n11:discrete-event%20system n11:coordination%20control n11:supervisory%20control
n4:kontrolniKodProRIV
[F59FF997E961]
n4:mistoKonaniAkce
Milano
n4:mistoVydani
Milano
n4:nazevZdroje
Proceedings of the 18th IFAC World Congres, 2011
n4:obor
n22:BA
n4:pocetDomacichTvurcuVysledku
2
n4:pocetTvurcuVysledku
3
n4:projekt
n19:GAP103%2F11%2F0517 n19:GPP202%2F11%2FP028
n4:rokUplatneniVysledku
n10:2011
n4:tvurceVysledku
Masopust, Tomáš Komenda, Jan van Schuppen, J. H.
n4:typAkce
n18:WRD
n4:zahajeniAkce
2011-08-28+02:00
n4:zamer
n6:AV0Z10190503
s:numberOfPages
6
n15:hasPublisher
IFAC
n21:isbn
978-3-902661-93-7