Supervizní řízení velkých distribuovaných systémů s diskrétními událostmi
Cíle projektu
Tento projekt si klade za cíl prohloubit znalosti logických a časovaných systémů s diskrétními událostmi za využití metod univerzální koalgebry a idempotentní algebry se zaměřením na supervizní řízení velkých distribuovaných systémů. Metody idempotentníalgebry poskytují lineární reprezentaci vzhledem k vhodným idempotentním polookruhům, která může být využitá na kvantitativní (časový) aspekt řízení, zatímco koalgebra je vhodná pro kvalitativní aspekt. Kombinací těchto metod budeme studovat decentralizovane a modulární řízení za účelem snížení výpočetní složitosti a tedy lepší praktické použitelnosti obdržených výsledků na řízení velkých distribuovaných systémů.
Klíčová slova
Discrete-event systemssupervisory controlcoalgebrabisimulationdioid algebradecentralized and modular control
Veřejná podpora
Poskytovatel
Akademie věd České republiky
Program
Juniorské badatelské grantové projekty
Veřejná soutěž
Juniorské badatelské grantové projekty 4 (SAV02006-B)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
KJB100190609
Alternativní jazyk
Název projektu anglicky
Supervisory control of large distributed discrete event systems
Anotace anglicky
This project aims at studying logical and timed discrete event systems using methods from universal coalgebra and idempotent algebra with special focus on supervisory control of large distributed systems. Methods of idempotent algebra enable linear representation on suitable idempotent semirings useful for quantitative (timing) aspect of control, while coalgebra is useful for qualitative aspects of control. A combination of these techniques will be applied to the decentralized and modular supervisory control in order to reduce the computational complexity and make our results applicable to control of large distributed systems.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BC - Teorie a systémy řízení
CEP - vedlejší obor
—
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory
(dle převodníku)10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Zhodnocení výsledků projektu
Tento projekt přispěl k teorii decentralizovaného řízení velkých distribuovaných diskrétních událostních systémů. Byly odvozeny nutné a postačující podmínky pro rovnost výsledků dosažených lokálním (výpočetně jednodušším) a globálním řízením.
Termíny řešení
Zahájení řešení
1. 1. 2006
Ukončení řešení
31. 12. 2008
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
21. 2. 2008
Dodání dat do CEP
Důvěrnost údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Systémové označení dodávky dat
CEP09-AV0-KJ-U/04:4
Datum dodání záznamu
5. 11. 2013
Finance
Celkové uznané náklady
255 tis. Kč
Výše podpory ze státního rozpočtu
255 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč
Základní informace
Uznané náklady
255 tis. Kč
Statní podpora
255 tis. Kč
100%
Poskytovatel
Akademie věd České republiky
CEP
BC - Teorie a systémy řízení
Doba řešení
01. 01. 2006 - 31. 12. 2008