Coalgebra and discrete event control
Public support
Provider
Czech Science Foundation
Programme
Post-graduate (doctorate) grants
Call for proposals
Standardní projekty 3 (SGA02003GA1PD)
Main participants
Matematický ústav AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
—
Alternative language
Project name in Czech
Koalgebra a řízení systémů s diskrétními událostmi
Annotation in Czech
V posledních desetiletích se studovalo dohlížecí řízení v případě logických automatů a za pomoci algebraických metod. Automaty a jejich různá rozšíření se mohou studovat za pomoci koalgebraických metod, které vedou k novým výsledkům. Dnes se objevujepotřeba zabývat se kvantitativními modely jako jsou například vážené automaty a časované automaty. Zde se zdá být využití sjednocovacího formalismu koalgebraických metod klíčovým k porozumění a vyřešení problémů spojených s jejím dohlížecím řízením.Různé druhy automatů jsou koalgebry vhodně zvolených množinových funktorů a jejich trajektorie (formální jazyky, formální mocninné řady) mohou být také vybaveny stejnou strukturou automatu, kde přechodová funkce je dána pomocí derivací jazyka neboformální mocninné řady podle dané události. Tyto trajektorie tvoří ve skutečnosti tzv. finální koalgebru, která je duálem počátečních algeber ve smyslu teorie kategorií. Cílem tohoto grantu je doplnit výsledky dosažené navrhovatelem při aplikaci
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
BC - Theory and management systems
CEP - secondary branch
—
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
Principal goals of this project have been achived, although the life time of this project was shortened to 2 years instead of originally planned 3 years. The main objective was to study supervisory control of automata using the methods of universal coalg
Solution timeline
Realization period - beginning
Jan 1, 2003
Realization period - end
Jan 1, 2004
Project status
U - Finished project
Latest support payment
—
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
CEP/2005/GA0/GA05GP/U/N/A:8
Data delivery date
Jul 23, 2008
Finance
Total approved costs
134 thou. CZK
Public financial support
134 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK