Control of Modular and Distributed Discrete-Event Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F06%3A00042604" target="_blank" >RIV/67985840:_____/06:00042604 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Control of Modular and Distributed Discrete-Event Systems
Original language description
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 for the supremal controllable sublanguage, for the supremal normal sublanguage, and for the supremal controllable and normal sublanguage. The modular control synthesis has a much lower computational complexity than the corresponding global control synthesis for the respective sublanguages.
Czech name
Řízení modulárních a distribuovaných diskrétních událostních systémů
Czech description
Řizení modulárních a distribuovaných diskrétních systémů je metodou pro snížení výpočetní složitosti supervizního řízení velkých systémů. Jsou odvozeny postačující a nutné podmínky pro rovnocennost lokálního a globálního řízení modulárních a distribuovaných diskrétních událostních systémů v případě výpočtu supremálních kontrolovatelných, supremálních normálních a supremálních kontrolovatelných a normálních podjazyků. Modulární řízení má přitom podstatně nižší výpočetní složitosti než odpovídající globální řízení.
Classification
Type
D - Article in proceedings
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
2006
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
Article name in the collection
Formal Methods for Components and Objects
ISBN
9783540367499
ISSN
—
e-ISSN
—
Number of pages
20
Pages from-to
44-63
Publisher name
Springer
Place of publication
Berlin
Event location
Amsterdam
Event date
Nov 1, 2005
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—