Optimální řešení problému modulárního supervizního řešení s nerozložitelnými specifikačními jazyky

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F06%3A00042657" target="_blank" >RIV/67985840:_____/06:00042657 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages

Popis výsledku v původním jazyce

This paper concerns supervisory control of large-scale modular discrete event systems (DES) with partial observations and general (indecomposable) specification languages. We propose first a new method for computation of supremal controllable sublanguages that can be viewed as a complete observation counterpart of a method we have developed for supremal normal sublanguages. These can be put together in a procedure for computing optimal sublanguages, which avoids building of the global plant. We presentboth necessary and sufficient structural conditions for modular control synthesis to equal global control synthesis for partially observed modules and general (indecomposable)specification languages.

Název v anglickém jazyce

Optimal Solutions of Modular Supervisory Control Problems with Indecomposable Specification Languages

Popis výsledku anglicky

This paper concerns supervisory control of large-scale modular discrete event systems (DES) with partial observations and general (indecomposable) specification languages. We propose first a new method for computation of supremal controllable sublanguages that can be viewed as a complete observation counterpart of a method we have developed for supremal normal sublanguages. These can be put together in a procedure for computing optimal sublanguages, which avoids building of the global plant. We presentboth necessary and sufficient structural conditions for modular control synthesis to equal global control synthesis for partially observed modules and general (indecomposable)specification languages.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

<a href="/cs/project/KJB100190609" target="_blank" >KJB100190609: Supervizní řízení velkých distribuovaných systémů s diskrétními událostmi</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2006

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 8th International Workshop on Discrete Event Systems ( WODES 2006 )

ISBN

1-4244-0053-8

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

143-148

Název nakladatele

IEEE Press

Místo vydání

New York

Místo konání akce

Ann Arbor

Datum konání akce

10. 7. 2006

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

WRD - Celosvětová akce

Kód UT WoS článku

—