Formal models and effective algorithms for the intelligent protection of transport infrastructures.
Public support
Provider
Ministry of Education, Youth and Sports
Programme
KONTAKT II
Call for proposals
KONTAKT II 1 (SMSM2011LH1)
Main participants
—
Contest type
VS - Public tender
Contract ID
6970/2011-320
Alternative language
Project name in Czech
Formální modely a efektivní algoritmy pro inteligentní ochranu dopravní infrastruktury.
Annotation in Czech
Bezprostředním cílem projektu je v účinné spoluprácí s americkým pracovištěm vypracovat teoretické základy inteligentní ochrany dopravní sítí před motivovaným útočníkem, zejména pak formální model dopravní bezpečnostní hry a výpočetně efektivních algoritmů pro jejich řešení. Plánovaným důsledkem kvalitního plnění tohoto cíle bude sepsání kvalitních, impaktovaných vědeckých publikací, které budou mít šanci na citovanost a tudíž zajištění uznání a věhlasu vědecké práce mladého týmu výzkumníků a doktorandů. Dalším cílem navrhovaného projektu je rozšíření a zintenzivnění existující spolupráce mezi Katedrou kybernetiky při FEL ČVUT (ATG) a Department of Computer Science při USC (TEAMCORE) a rozvinutí a vzájemná výměna know-how v oblasti bezpečnostních her.Cílem projektu je dále vytvoření týmu mladých vědeckých pracovníků, kteří budou vynikat v perspektivní a rychle se rozvíjející oblasti základního výzkumu s vysokou praktickou relevancí a tím i vysokým potenciálem pro návazný aplikovaný výzkum.
Scientific branches
R&D category
ZV - Basic research
CEP classification - main branch
JD - Use of computers, robotics and its application
CEP - secondary branch
IN - Informatics
CEP - another secondary branch
—
OECD FORD - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</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
Completed project evaluation
Provider evaluation
V - Vynikající výsledky projektu (s mezinárodním významem atd.)
Project results evaluation
Project LH11051 succesfully designed and evaluated a set of algorithms for protection of transportation infrastructures. The results were published on conferences (AAMAS, IEEE ICMSAO) and impacted journals. Results were also defended as a dissertation thesis of Ondřej Vaněk. The simulation framework was provided in form of a software. The collaboration with the partner continues.
Solution timeline
Realization period - beginning
Mar 1, 2011
Realization period - end
Dec 31, 2013
Project status
U - Finished project
Latest support payment
Mar 6, 2013
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP14-MSM-LH-U/01:1
Data delivery date
Jun 30, 2014
Finance
Total approved costs
2,332 thou. CZK
Public financial support
2,332 thou. CZK
Other public sources
0 thou. CZK
Non public and foreign sources
0 thou. CZK