Modulární supervizní řízení s obecnými nerozložitelnými specifikačními jazyky
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F05%3A00026074" target="_blank" >RIV/67985840:_____/05:00026074 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Modular supervisory control with general indecomposable specification languages
Popis výsledku v původním jazyce
In this paper modular supervisory control is studied in the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Sufficient conditions are found under which any manipulation with the global plant is avoided for the computation of supremal controllable sublanguages of (global) indecomposable specification languages.
Název v anglickém jazyce
Modular supervisory control with general indecomposable specification languages
Popis výsledku anglicky
In this paper modular supervisory control is studied in the case of general specification languages that are neither necessarily decomposable nor contained in the global plant language. Sufficient conditions are found under which any manipulation with the global plant is avoided for the computation of supremal controllable sublanguages of (global) indecomposable specification languages.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
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ů
Údaje specifické pro druh výsledku
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
3474-3479
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
—