Formální modely a efektivní algoritmy pro inteligentní ochranu dopravní infrastruktury.
Veřejná podpora
Poskytovatel
Ministerstvo školství, mládeže a tělovýchovy
Program
KONTAKT II
Veřejná soutěž
KONTAKT II 1 (SMSM2011LH1)
Hlavní účastníci
—
Druh soutěže
VS - Veřejná soutěž
Číslo smlouvy
6970/2011-320
Alternativní jazyk
Název projektu anglicky
Formal models and effective algorithms for the intelligent protection of transport infrastructures.
Anotace anglicky
The aim is to develop theoretical and algorithmic foundation of effective protection of transport networks against attack by an intelligent adversary. Employing game-theoretical framework, we will develop formal model of transport security game and synthesize effective solution algorithms by extending single and double oracle method [TSAi09] and large scale linear optimization using column generation techniques [Conitzer04]. We will also study cooperation in transport security scenarios by means of cooperative game theory. Resulting algorithms will be analyzed both formally and empirically using a computational agent-based model of the respective target scenarios. In addition to technical goals, the project aims to strengthen cooperation between ATG@CVUT and TEAMCORE@USC, leverage TEAMCORE?s technical expertise and community links and develop potential for a sustainable existence of a team of excellent researchers in transport and infrastructure security.
Vědní obory
Kategorie VaV
ZV - Základní výzkum
CEP - hlavní obor
JD - Využití počítačů, robotika a její aplikace
CEP - vedlejší obor
IN - Informatika
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)<br>20204 - Robotics and automatic control<br>20205 - Automation and control systems
Hodnocení dokončeného projektu
Hodnocení poskytovatelem
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Zhodnocení výsledků projektu
Projekt LH11051 úspěšně vyvinul a evaluoval sadu algoritmů pro ochranu dopravních infrastruktur. Výsledky projektu byly publikovány na prestižních konferencích (AAMAS, IEEE ICMSAO) a impaktovaných časopisech. Výsledky projektu byly obhájeny jako dizerta?
Termíny řešení
Zahájení řešení
1. 3. 2011
Ukončení řešení
31. 12. 2013
Poslední stav řešení
U - Ukončený projekt
Poslední uvolnění podpory
6. 3. 2013
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
CEP14-MSM-LH-U/01:1
Datum dodání záznamu
30. 6. 2014
Finance
Celkové uznané náklady
2 332 tis. Kč
Výše podpory ze státního rozpočtu
2 332 tis. Kč
Ostatní veřejné zdroje financování
0 tis. Kč
Neveřejné tuz. a zahr. zdroje finan.
0 tis. Kč