About: Formal models and effective algorithms for the intelligent protection of transport infrastructures.

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Formal models and effective algorithms for the intelligent protection of transport infrastructures. Goto Sponge NotDistinct Permalink

An Entity of Type : http://linked.opendata.cz/ontology/domain/vavai/Projekt, within Data Space : linked.opendata.cz associated with source document(s)

Attributes	Values
rdf:type	http://linked.opendata.cz/ontology/domain/vavai/Projekt
rdfs:seeAlso	http://www.isvav.cz/projectDetail.do?rowId=LH11051
Description	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. (en) 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.
Title	Formal models and effective algorithms for the intelligent protection of transport infrastructures. (en) Formální modely a efektivní algoritmy pro inteligentní ochranu dopravní infrastruktury.
skos:notation	LH11051
http://linked.open...avai/cep/aktivita	KONTAKT II
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/LH11051/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/LH11051/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2014-06-30 (xsd:date)
http://linked.open...i/cep/druhSouteze	VS - Veřejná soutěž ve výzkumu a vývoji
http://linked.open...ep/duvernostUdaju	S - Úplné a pravdivé údaje nepodléhající ochraně podle zvláštních právních předpisů
http://linked.open.../cep/fazeProjektu	100743682
http://linked.open...ai/cep/hlavniObor	JD - Využití počítačů, robotika a její aplikace
http://linked.open...hodnoceniProjektu	V - Vynikající výsledky (s mezinárodním významem apod.). Zároveň byly splněny cíle a předpokládané výsledky uvedené ve smlouvě / rozhodnutí o poskytnutí podpory.
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	critical infrastructure protection; multi-agent systems; game theory; agent-based simulation; security (en)
http://linked.open...ep/partnetrHlavni	Fakulta elektrotechnická
http://linked.open...inujicichPrijemcu	0 (xsd:int)
http://linked.open...cep/pocetPrijemcu	1 (xsd:int)
http://linked.open...ocetSpoluPrijemcu	0 (xsd:int)
http://linked.open.../pocetVysledkuRIV	7 (xsd:int)
http://linked.open...enychVysledkuVRIV	7 (xsd:int)
http://linked.open...lneniVMinulemRoce	2013-03-06 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/6970%2F2011-320
http://linked.open...iciPoslednihoRoku	2013
http://linked.open...atUdajeProjZameru	2014
http://linked.open.../vavai/cep/soutez	SMSM2011LH1
http://linked.open...usZobrazovaneFaze	DUU
http://linked.open...ai/cep/typPojektu	P - Projekt výzkumu a vývoje financovaný ze státního rozpočtu
http://linked.open...ep/ukonceniReseni	2013-12-31 (xsd:date)
http://linked.open.../cep/vedlejsiObor	IN - Informatika
http://linked.open...ep/zahajeniReseni	2011-03-01 (xsd:date)
http://linked.open...jektu+dodavatelem	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. (en) 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ční práce Ondřeje Vaňka. Simulační framework byl uvolněn ve formě software. S partnerským pracovištěm se spolupráce nadále udržuje. (cs)
http://linked.open...tniCyklusProjektu	ZBKU
http://linked.open.../cep/klicoveSlovo	critical infrastructure protection game theory multi-agent systems agent-based simulation
is http://linked.open...vavai/riv/projekt of	Agents vs. Pirates: Multi-Agent Simulation and Optimization to Fight Maritime Piracy Dynamic group transit scheme for corridor transit Double-Oracle Algorithm for Computing an Exact Nash Equilibrium in Zero-Sum Extensive-Form Games Game-theoretic Resource Allocation for Malicious Packet Detection in Computer Networks Extending Security Games to Defenders with Constrained Mobility Strategy Representation Analysis for Patrolling Games Improving Group Transit Schemes to Minimize Negative Effects of Maritime Piracy
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11051/2011/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11051/2012/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11051/2013/orjk%3A21230 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11051/2014/orjk%3A21230

Faceted Search & Find service v1.16.118 as of Jun 21 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Jun 21 2024, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (126 GB total memory, 47 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software