Kompozitní metody pro řízení konkurentních časovaných diskrétních událostních systémů

Poskytovatel

Grantová agentura České republiky

Program

Mezinárodní projekty

Veřejná soutěž

Mezinárodní projekty 14 (SGA0201900003)

Hlavní účastníci

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

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

19-06175J

Název projektu anglicky

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems

Anotace anglicky

Current approaches for control of timed discrete-event systems (DES) with dense real time only deal with monolithic plants, which means that their control suffers from high complexity and even decidability issues (non existence of finite state controllers). In order to face these issues, it is important to develop computationally efficient compositional approaches, such as modular control. We will investigate modular and coordination control of timed DES modeled by timed Petri nets or by (max,+)-automata.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AF - Dokumentace, knihovnictví, práce s informacemi<br>BC - Teorie a systémy řízení<br>BD - Teorie informace<br>IN - Informatika

Zahájení řešení

1. 1. 2019

Ukončení řešení

30. 6. 2022

Poslední stav řešení

—

Poslední uvolnění podpory

1. 4. 2022

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

CEP23-GA0-GC-R

Datum dodání záznamu

26. 6. 2023

Celkové uznané náklady

4 381 tis. Kč

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

4 183 tis. Kč

Ostatní veřejné zdroje financování

198 tis. Kč

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

0 tis. Kč