Decentralizované řízení vážených automatů
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
KONTAKT
Veřejná soutěž
—
Hlavní účastníci
—
Druh soutěže
M2 - Mezinárodní spolupráce
Číslo smlouvy
9113/2008-32
Alternativní jazyk
Název projektu anglicky
Decentralized control of weighted automata
Anotace anglicky
This project aims at developing a new theoretical framework for decentralized control of concurrent weighted automata. Its application can avoid the combinatorial explosion of computational complexity inherent to concurrent systems (e.g. parallel products of automata). Weighted automata (e.g. (max,+) automata and some classes of timed automata) are used to model flexible manufacturing systems. Our goal is to propose methods for control of weighted automata using linear representations on idempotent semirings (also called dioids) of formal power series with coefficients in a number semiring called (max,+) algebra. In order to introduce and study control of weighted automata the properties of their parallel product must be studied. It is known that weighted automata with weights in dioids admit linear representation using dioids. The problem appears when one want to introduce control. Unlike control methods for Petri nets using dioid algebras, where input and state variables are naturally
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
BC - Teorie a systémy řízení
CEP - vedlejší obor
IN - Informatika
CEP - další vedlejší obor
—
OECD FORD - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)
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
Vypracovali jsme metodu rízení (max,+) automatu: výsledný proces je dán pomocí paralelního soucinu, který rozlišuje nekontrolovatelné události. Odvodili jsme vzorec pro optimální rízení a podmínky jeho realizovatelnosti.
Termíny řešení
Zahájení řešení
1. 1. 2008
Ukončení řešení
31. 12. 2008
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
7. 8. 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-MSM-ME-U/02:2
Datum dodání záznamu
7. 5. 2010
Finance
Celkové uznané náklady
33 tis. Kč
Výše podpory ze státního rozpočtu
33 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč