Modular Control of Discrete-Event Systems with Coalgebra
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F08%3A00307560" target="_blank" >RIV/67985840:_____/08:00307560 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Modular Control of Discrete-Event Systems with Coalgebra
Original language description
Modular supervisory control of discrete-event systems (DES), where the overall system is synchronous (parallel) product of subsystems, is considered. The main results of this paper are formulations of sufficient conditions for the compatibility between the synchronous product and various operations stemming from supervisory control as supervised product and supremal controllable sublanguages. These results are generalized to the case of modules with partial observations: e.g. modular computation of supremal normal sublanguages is studied. Coalgebraic techniques based on the coinduction proof principle are used in our main results. Sufficient conditions are derived for modular to equal global control synthesis.An algorithmic procedure for checking the new conditions is proposed and the computational benefit of the modular approach is discussed and illustrated by comparing the time complexity of modular and monolithic computation.
Czech name
Modulární řízení diskrétních událostních systémů pomocí koalgebry
Czech description
Uvažujeme modulární supervizní řízení diskrétních událostních sytémů, kdy systém je synchronizovaným (paralelním)součinem podsystému. Hlavním výsledkem je formulace postačujících podmínek pro kompatibilitu mezi synchronizovaným součinem a různými operacemi supervizního řízení jako jsou supervizní součin a supremální kontrolovatelný podjazyk. Tyto výsledky jsou zobecněny na případ podsystému s částečným pozorováním, např. studujeme modulární výpočet supremálních normálních podjazyků. V hlavních výsledcích používáme koalgebraický přístup založený na tzv. koindukčním důkazovém principu. Odvodili jsme postačující podmínky pro rovnost modulárního a globálního supervizního řízení. Diskutovali jsme výpočetní výhody modulárního přístupu a porovnali jsme časovou výpočetní složitost monolitického a modulárního výpočtu.
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
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)
Others
Publication year
2008
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
IEEE Transactions on Automatic Control
ISSN
0018-9286
e-ISSN
—
Volume of the periodical
53
Issue of the periodical within the volume
2
Country of publishing house
US - UNITED STATES
Number of pages
14
Pages from-to
447-460
UT code for WoS article
—
EID of the result in the Scopus database
—