Supervizní řízení modulárních systémů s globálními specifikačními jazyky
Popis výsledku
V tomto článku prezentujeme postačující podmínky pro rovnost modulárního a globálního supervizního řízení. Modulární supervizní řízení se získá pro každý podsystém zvlášť a celkové supervizní řízení obdržíme jejich paralelním složením. Uvažujeme obecný případ specifikačního jazyka, který je nerozložitelný a není nutné zahrnout v jazyku systému, což nastane často v praxi. Obvyklý předpoklad , že sdílené události jsou kontrolovatelné, je zeslaben díky zavedení dvou nových strukturálních podmínek založených na globální vzájemné kontrolovatelnosti. Postačující strukturální podmínku nazýváme silná globální vzájemná kontrolovatelnost. Hlavní výsledek používá slabší podmínku nazvanou globální vzájemná kontrolovatelnost společně s lokální konzistencí specifikačního jazyka. Metoda je ilustrovaná na příkladě.
Klíčová slova
discrete-event systemsmodular supervisory controlglobal specification
Identifikátory výsledku
Kód výsledku v IS VaVaI
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Supervisory Control of Modular Systems with Global Specification Languages
Popis výsledku v původním jazyce
The paper presents sufficient conditions for modular ( supervisory ) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists ofthe parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily contained in the plant language, which is often the case in practice, is considered. The usual assumption thatall shared events are controllable is relaxed by introducing two new structural conditions relying on the global mutual controllability condition. The novel concept used as a sufficient structural condition is strong global mutual controllability. The main result uses a weaker condition called global mutual controllability together with local consistency of the specification. An example illustrates the approach.
Název v anglickém jazyce
Supervisory Control of Modular Systems with Global Specification Languages
Popis výsledku anglicky
The paper presents sufficient conditions for modular ( supervisory ) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synthesized for each module separately and the supervisory control consists ofthe parallel composition of the modular supervisory controls. The general case of the specification that is indecomposable and not necessarily contained in the plant language, which is often the case in practice, is considered. The usual assumption thatall shared events are controllable is relaxed by introducing two new structural conditions relying on the global mutual controllability condition. The novel concept used as a sufficient structural condition is strong global mutual controllability. The main result uses a weaker condition called global mutual controllability together with local consistency of the specification. An example illustrates the approach.
Klasifikace
Druh
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
BA - Obecná matematika
OECD FORD obor
—
Návaznosti výsledku
Projekt
KJB100190609: Supervizní řízení velkých distribuovaných systémů s diskrétními událostmi
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2008
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 periodika
Automatica
ISSN
0005-1098
e-ISSN
—
Svazek periodika
44
Číslo periodika v rámci svazku
4
Stát vydavatele periodika
NL - Nizozemsko
Počet stran výsledku
8
Strana od-do
1127-1134
Kód UT WoS článku
—
EID výsledku v databázi Scopus
—
Druh výsledku
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP
BA - Obecná matematika
Rok uplatnění
2008