Decentralized control of weighted automata
Public support
Provider
Ministry of Education, Youth and Sports
Programme
KONTAKT
Call for proposals
—
Main participants
—
Contest type
M2 - International cooperation
Contract ID
9113/2008-32
Alternative language
Project name in Czech
Decentralizované řízení vážených automatů
Annotation in Czech
Tento projekt si klade za cíl vybudovat teoretický základ metod decentralizovaného řízení konkurentních vážených automatů (weighted automata), jejichž aplikace zabrání kombinatoriální explozi výpočetní složitosti, jež je vlastní konkurentním systémům (jako např. paralelním součinům automatů). Vážené automaty (např. tzv. (max,+) automaty a třídy časovaných automatů) modelizují různé systèmy, např. flexibilní manufakturální systémy. Našim cílem je navrhnout metody řízení vážených automatů pomocí lineární reprezentace na idempotentních polokruzích (dioidech) formálních mocninných řad a v číselném polookruhu nazývaném (max,+) algebrou. Pro zavedení a studium řízení těchto automatů je třeba studovat vlastnosti paralelního součinu vážených automatů. Jeznámo že vážené automaty s vahami v dioidech mají lineární reprezentaci na dioidech. Jakmile se zajímáme o řízení, objeví se ovšem první problémy. Na rozdíl od teorie řízení Petriho sítí (deterministických), kde stavové proměnné jsou přirozeně od
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BC - Theory and management systems
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Completed project evaluation
Provider evaluation
U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)
Project results evaluation
We have developed a control mechanism for (max,+) automata: resulting process is given by a parallel composition distinguishing uncontrollable events. A formula for optimal controller and conditions for rationality have been derived.
Solution timeline
Realization period - beginning
Jan 1, 2008
Realization period - end
Dec 31, 2008
Project status
U - Finished project
Latest support payment
Aug 7, 2008
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP09-MSM-ME-U/02:2
Data delivery date
May 7, 2010
Finance
Total approved costs
33 thou. CZK
Public financial support
33 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK