Coordination Control Plug-In for libFAUDES C++ library

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F11%3A00362694" target="_blank" >RIV/67985840:_____/11:00362694 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Coordination Control Plug-In for libFAUDES C++ library
Popis výsledku v původním jazyce
The plugin implements procedures for checking properties required for successful usage of coordination control approach for distributed discrete-event systems with global specifications. Coordination control is intended for large distributed discrete-event systems that share very few communication events. The main advantage in comparison with global approach is the decentralization that results in time and space savings.
Název v anglickém jazyce
Coordination Control Plug-In for libFAUDES C++ library
Popis výsledku anglicky
The plugin implements procedures for checking properties required for successful usage of coordination control approach for distributed discrete-event systems with global specifications. Coordination control is intended for large distributed discrete-event systems that share very few communication events. The main advantage in comparison with global approach is the decentralization that results in time and space savings.

Rok uplatnění
2011
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ů

Interní identifikační kód produktu
coocon
Technické parametry
Software package under GNU Lesser General Public License
Ekonomické parametry
Coordination control plugin is now distributed as part of the C/C++ library libFAUDES implementing most of the known results concerning control of discrete-event systems using automata models.
IČO vlastníka výsledku
67985840
Název vlastníka
Matematický ústav AV ČR, v.v

Podobné výsledky(10)