Coalgebra and discrete event control
Project goals
In the last decades supervisory control of logical automata has been studied using algebraic methods. Automata and their various extensions can be studied within the framework of universal coalgebra that leads to new results. Nowadays there is a naturalneed for the study of quantitative models like weighted and timed automata. The unifying formalism of coalgebraic methods seems to be essential for understanding and solving of problems related to their supervisory control. Different kinds of automataarecoalgebras of suitable set functors and their behaviours (formal languages, formal power series) can be also endowed with the same automaton structure, where the state transition function is given by input derivatives of the language or the formalpower series. These behaviours form in fact the final coalgebra, which is the dual of initial algebras in the sense of the category theory. The aim of this project is to complete the results achieved by the applicant in the application of coalgebra to
Keywords
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
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
Basic information
Recognised costs
134 CZK thou.
Public support
134 CZK thou.
100%
Provider
Czech Science Foundation
CEP
BC - Theory and management systems
Solution period
01. 01. 2003 - 01. 01. 2004