Výpočet robustních invariantů hybridních dynamických systémů s využitím simulací

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

Standardní projekty 19 (SGA0201500001)

Hlavní účastníci

Ústav informatiky AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

15-14484S

Název projektu anglicky

Simulation-Based Computation of Robust Invariants of Hybrid Dynamical Systems

Anotace anglicky

One of the most important objects used in the field of formal verification are invariants. An invariant is a set of states of a given system such that the system will always stay in this set of states. Recently, there has been a lot of progress on the constraint-based computation of invariants, that reduces invariant computation to a constraint solving problem in a decidable theory. However, this approach cannot be applied in cases where the corresponding logical theory is not decidable, or where the available constraint solvers are not efficient enough to solve problems of interesting size. The proposal concerns computation of invariants of hybrid dynamical systems, that is, dynamical systems that have partially discrete, partially continuous states and behavior. In order to circumvent the mentioned problems of undecidability and efficiency limitations of constraint solvers, we use a radically different approach that exploits robustness and simulations.

Kategorie VaV

ZV - Základní výzkum

CEP - hlavní obor

IN - Informatika

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 se zaměřoval na výpočet invariantů hybridních systémů pomoci robustnosti a simulací. Mimo jiné jsou hlavním výsledkem projektu metoda a příslušný software, který umí zacházet s diferenciálními rovnicemi s transcendentálními funkčními symboly. V druhém roce řešení došlo k personální změně projektu, což vedlo ke změnám, nedočerpání finančních prostředků a komplikacím s dedikacemi publikací.

Zahájení řešení

1. 1. 2015

Ukončení řešení

31. 12. 2017

Poslední stav řešení

U - Ukončený projekt

Poslední uvolnění podpory

5. 4. 2017

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

CEP18-GA0-GA-U/02:1

Datum dodání záznamu

4. 5. 2018

Celkové uznané náklady

2 610 tis. Kč

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

2 610 tis. Kč

Ostatní veřejné zdroje financování

0 tis. Kč

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

0 tis. Kč