Supremální podjazyky obecných specifikačních jazyků v modulárním řízení diskrétních událostních systémů

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F05%3A00026041" target="_blank" >RIV/67985840:_____/05:00026041 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems

Popis výsledku v původním jazyce

For supervisory control of large-scale modular DES the possibility of performing control-related computation locally (in components) is of utmost importance to computational complexity. Unlike our previous results, where the specification language is decomposable into local specification languages, this paper concerns the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Still the conditions are found under which building of theglobal plant is avoided for the computation of the supremal normal sublanguages of the (global) specification language.

Název v anglickém jazyce

Supremal Sublanguages of General Specification Languages Arising in Modular Control of Discrete-Event Systems

Popis výsledku anglicky

For supervisory control of large-scale modular DES the possibility of performing control-related computation locally (in components) is of utmost importance to computational complexity. Unlike our previous results, where the specification language is decomposable into local specification languages, this paper concerns the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Still the conditions are found under which building of theglobal plant is avoided for the computation of the supremal normal sublanguages of the (global) specification language.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2005

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 statě ve sborníku

Proceedings of Joint 44th IEEE Conference on Decision and Control and European Control Conference

ISBN

0-7803-9568-9

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

2775-2780

Název nakladatele

IEEE Press

Místo vydání

Sevilla

Místo konání akce

Sevilla

Datum konání akce

12. 12. 2005

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—