Vše
Vše

Co hledáte?

Vše
Výsledky výzkumu
Subjekty

Rychlé hledání

  • Projekty podpořené TA ČR
  • Významné projekty
  • Projekty s nejvyšší státní podporou
  • Aktuálně běžící projekty

Chytré vyhledávání

  • Takto najdu konkrétní +slovo
  • Takto z výsledků -slovo zcela vynechám
  • “Takto můžu najít celou frázi”

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

Cíle projektu

Jedním z nejdůležitějších nástrojů v oblasti formální verifikace jsou invarianty. Invariantem nazýváme množinu stavů daného systému, pro kterou platí, že každý dosažitelný stav systému náleží do této množiny. V poslední době došlo k velkému vývoji metod pro výpočet invariantů založených na dodržení omezujících podmínek, kdy výpočet invariantu je redukován na řešení problému s omezeními v rozhodnutelné teorii. Nicméně, takový postup nelze použít v případech, ve kterých je patřičná teorie nerozhodnutelná a nebo dostupné nástroje nejsou dost efektivní pro v praxi zajímavé úlohy. Tento návrh se zabývá výpočtem invariantů pro hybridní dynamické systémy, což jsou systémy, které mají částečné diskrétní a částečně spojité chování. Proto, abychom se vyhnuli již zmíněným problémům s nerozhodnutelností a nedostatečnou efektivností dostupných nástrojů, zvolíme značně odlišný způsob, který využívá robustnosti a simulací.

Klíčová slova

formal verificationhybrid dynamical systemsinvariants

Veřejná podpora

  • 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

Alternativní jazyk

  • 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.

Vědní obory

  • 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
    (dle převodníku)

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

Hodnocení dokončeného projektu

  • 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í.

Termíny řešení

  • 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

Dodání dat do CEP

  • 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

Finance

  • 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č

Základní informace

Uznané náklady

2 610 tis. Kč

Statní podpora

2 610 tis. Kč

100%


Poskytovatel

Grantová agentura České republiky

CEP

IN - Informatika

Doba řešení

01. 01. 2015 - 31. 12. 2017