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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F11%3A00360187" target="_blank" >RIV/67985840:_____/11:00360187 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1016/j.sysconle.2011.04.005" target="_blank" >http://dx.doi.org/10.1016/j.sysconle.2011.04.005</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.sysconle.2011.04.005" target="_blank" >10.1016/j.sysconle.2011.04.005</a>

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

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 notionof 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.

Název v anglickém jazyce

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

Popis výsledku anglicky

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 notionof 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.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2011

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Systems and Control Letters

ISSN

0167-6911

e-ISSN

—

Svazek periodika

60

Číslo periodika v rámci svazku

7

Stát vydavatele periodika

NL - Nizozemsko

Počet stran výsledku

11

Strana od-do

492-502

Kód UT WoS článku

000292950900008

EID výsledku v databázi Scopus

—