Koalgebra a řízení systémů s diskrétními událostmi

Poskytovatel

Grantová agentura České republiky

Program

Postdoktorandské granty

Veřejná soutěž

Standardní projekty 3 (SGA02003GA1PD)

Hlavní účastníci

Matematický ústav AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

—

Název projektu anglicky

Coalgebra and discrete event control

Anotace anglicky

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

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 <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í poskytovatelem

U - Uspěl podle zadání (s publikovanými či patentovanými výsledky atd.)

Zhodnocení výsledků projektu

Klíčové cíle výzkumných prací na tomto projektu byly naplněny, přestože tento projekt trval pouze 2 roky namísto původně zamýšlených 3 let. Hlavním cílem bylo studium supervizního řízení automatů za pomoci metod univerzální koalgebry. Tyto metody se ukáz

Zahájení řešení

1. 1. 2003

Ukončení řešení

1. 1. 2004

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

—

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

CEP/2005/GA0/GA05GP/U/N/A:8

Datum dodání záznamu

23. 7. 2008

Celkové uznané náklady

134 tis. Kč

Výše podpory ze státního rozpočtu

134 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč