About: Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

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

About: Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator 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	Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed. Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed. (en)
Title	Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (en)
skos:prefLabel	Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator (en)
skos:notation	RIV/67985840:_____/11:00360187!RIV12-AV0-67985840
http://linked.open...avai/predkladatel	Matematický ústav AV ČR, v. v. i.
http://linked.open...avai/riv/aktivita	P Z
http://linked.open...avai/riv/aktivity	P(GAP103/11/0517), P(GPP202/11/P028), Z(AV0Z10190503)
http://linked.open...iv/cisloPeriodika	7
http://linked.open...vai/riv/dodaniDat	2012
http://linked.open...aciTvurceVysledku	Komenda, Jan 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	233899
http://linked.open...ai/riv/idVysledku	RIV/67985840:_____/11:00360187
http://linked.open...riv/jazykVysledku	eng - angličtina
http://linked.open.../riv/klicovaSlova	discrete-event system; coordination control; coordinator (en)
http://linked.open.../riv/klicoveSlovo	coordination control coordinator discrete-event system
http://linked.open...odStatuVydavatele	NL - Nizozemsko
http://linked.open...ontrolniKodProRIV	[AD7B80172893]
http://linked.open...i/riv/nazevZdroje	Systems and Control Letters
http://linked.open...in/vavai/riv/obor	BA
http://linked.open...ichTvurcuVysledku	2 (xsd:int)
http://linked.open...cetTvurcuVysledku	3 (xsd:int)
http://linked.open...vavai/riv/projekt	Decentralized supervisory control of timed automata Decentralized and coordination supervisory control
http://linked.open...UplatneniVysledku	2011
http://linked.open...v/svazekPeriodika	60
http://linked.open...iv/tvurceVysledku	Komenda, Jan Masopust, Tomáš van Schuppen, J. H.
http://linked.open...ain/vavai/riv/wos	000292950900008
http://linked.open...n/vavai/riv/zamer	Rozvoj a prohloubení obecných matematických poznatků a jejich užití v dalších vědních oborech a v praxi
issn	0167-6911
number of pages	11 (xsd:int)
http://bibframe.org/vocab/doi	10.1016/j.sysconle.2011.04.005
is http://linked.open...avai/riv/vysledek of	Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator

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, 58 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software