Coordination Control Plug-In for libFAUDES C++ library
The result's identifiers
Result code in 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>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Coordination Control Plug-In for libFAUDES C++ library
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
BA - General mathematics
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2011
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
Internal product ID
coocon
Technical parameters
Software package under GNU Lesser General Public License
Economical parameters
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.
Owner IČO
67985840
Owner name
Matematický ústav AV ČR, v.v