Detail projektu

Computer-Aided Quantitative Synthesis

Období řešení: 1. 1. 2020 – 31. 12. 2022

Typ projektu: grant

Kód: GJ20-02328Y

Agentura: Grantová agentura České republiky

Program: Juniorské granty

Název anglicky
CAQtuS: Computer-Aided Quantitative Synthesis
Typ
grant
Klíčová slova

Kvantitativní formální metody; syntakticky řízená syntéza; protipříklady;
evoluční optimalizace; aproximační techniky; rozhodovací procedury; automatizace
návrhů systémů; výpočetní biochemické modely; pravděpodobnostní programy

Abstrakt

Počítačem podporovaná syntéza je nové paradigma v oblasti automatizace návrhu
systémů s mnoha praktickými aplikacemi. V současnosti existují dva hlavní
přístupy k syntéze: techniky založené na prohledávání stavového prostoru
a induktivní techniky. Prvně zmíněný přístup postupně generuje kandidátní řešení,
jejichž korektnost je následně verifikována. Tento přístup zpravidla není schopen
dokázat neexistenci nebo optimálnost řešení. Induktivní techniky používají
náročnou rozhodovací proceduru, která přímo zkonstruuje požadované řešení, nebo
dokáže jeho neexistenci.

Cílem tohoto projektu je vývoj nové metodiky, která unikátním způsobem kombinuje
oba přístupy v rámci syntézy řízené syntaxí. Projekt je zaměřen na systémy mající
pravděpodobnostní chování či zahrnující přibližné výpočty, a které tak vyžadují
kvantitativní analýzu. Navržené metody budou přizpůsobeny problémům v oblasti
vývoje relevantních inženýrských a biologických systémů. Věříme, že navržený
kombinovaný přístup znatelně rozšíří možnosti současných metod pro automatizovaný
vývoj komplexních systémů.

Řešitelé
Češka Milan, doc. RNDr., Ph.D. (UITS) – hlavní řešitel
Ambrožová Gabriela, Mgr., Ph.D.
Andriushchenko Roman, Ing. (UITS)
Bíl Jan, Ing.
Frejlach Jakub, Ing.
Havlena Vojtěch, Ing., Ph.D. (UITS)
Malásková Věra (UITS)
Martiček Štefan, Ing.
Matyáš Jiří, Ing., Ph.D. (VZ VERIFIT)
Stupinský Šimon, Ing.
Publikace

2024

2022

2021

2020

Nahoru