Control of discrete-event systems with modular or distributed structure

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F07%3A00089065" target="_blank" >RIV/67985840:_____/07:00089065 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Control of discrete-event systems with modular or distributed structure

Original language description

Most of large scale state transition (also called discrete-event) systems are formed as parallel compositions of many small subsystems (modules). Control of modular and distributed discrete-event systems appears as an approach to handle computational complexity of synthesizing supervisory controllers for large scale systems. For both modular and distributed discrete-event systems sufficient and necessary conditions are derived for modular control synthesis to equal global control synthesis, while enforcing a safety specification in an optimal way (the language of the controlled system is required to be the supremal one achievable by an admissible controller and included in a safety specification language). The two cases of local (decomposable) and global (indecomposable) specifications are considered. The modular control synthesis has a much lower computational complexity than the corresponding global control synthesis for the respective sublanguages.

Czech name

Řízení diskrétních událostních systémů s modulární a distribuovanou strukturou otáček

Czech description

Většina velkých přechodových systémů(také nazývaných diskrétních událostních systémů) je tvořena paralelním skládáním mnoha malých podsystémů (modulů). Řízení modulárních a distribuovaných diskrétních událostních systémů umožňuje zvládnout výpočetní složitost syntézy supervizních automatů pro velké systémy. Jak pro modulární, tak pro distribuované diskrétní událostní systémy, jsme odvodili postačující a nutné podmínky, za kterých modulární řízení je rovnocenné s výpočetně složitějším globálním řízením,konkrétně bezpečnostní specifikace může být zajištěna optimálním způsobem (jazyk řízeného systému bude supremální jazyk, který je možno řízením dosáhnout a zároveň bude zahrnut ve specifikačním jazyku). Uvažovali jsme oba případy lokálních (rozložitelných) a globálních (nerozložitelných) specifikačních jazyků. Modulární řízení má mnohem menší výpočetní složitost mez odpovídající globální řízení. Výpočetní složitost je porovnána prostřednictvím explicitních formulí.

Type

J_x - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)

CEP classification

BA - General mathematics

OECD FORD branch

—

Project

<a href="/en/project/KJB100190609" target="_blank" >KJB100190609: Supervisory control of large distributed discrete event systems</a><br>

Continuities

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

Publication year

2007

Confidentiality

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

Name of the periodical

Theoretical Computer Science

ISSN

0304-3975

e-ISSN

—

Volume of the periodical

388

Issue of the periodical within the volume

3

Country of publishing house

NL - THE KINGDOM OF THE NETHERLANDS

Number of pages

28

Pages from-to

199-226

UT code for WoS article

—

EID of the result in the Scopus database

—