Certifikace zákonů řízení pro budoucí dopravní systémy pomocí semidefinitního programování

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 20 (SGA0201600001)

Hlavní účastníci

České vysoké učení technické v Praze / Fakulta elektrotechnická

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

16-19526S

Název projektu anglicky

Semidefinite programming certification of control laws for emerging transportation projects

Anotace anglicky

The project aims at applying and further developing semidefinite programming (SDP) techniques based on moment-sum-of-squares (SOS) hierarchies for validating, verifying (VV) and certifying control laws in two application areas: 1) flight control systems; 2) vehicle platoon control systems. Beyond addressing the challenge of applying modern optimization algorithms to practical physically relevant VV problems, the project also focuses on the development of new theoretical tools of measure theory in Banach spaces to cope with stochastic phenomena modeling noise and uncertainty.

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

Projekt dosáhl kvalitních výsledků v oblasti rozvoje metod semidefinitního programování. Výsledky jsou spíše čistě v oblasti semidefinitního programování, i když i v oblasti využití pro řízení bylo některých výsledků dosaženo, jak bylo deklarováno v záměru. Pouze některé deklarované výsledky mohly být uznány jako výsledky projektu. Není jasná souvislost zahraničních cest s řešením projektu.

Zahájení řešení

1. 1. 2016

Ukončení řešení

31. 12. 2018

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

16. 4. 2018

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

CEP19-GA0-GA-U/01:1

Datum dodání záznamu

12. 6. 2019

Celkové uznané náklady

4 671 tis. Kč

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

3 261 tis. Kč

Ostatní veřejné zdroje financování

1 410 tis. Kč

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

0 tis. Kč