This HTML5 document contains 37 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
n17http://linked.opendata.cz/ontology/domain/vavai/cep/typPojektu/
n21http://linked.opendata.cz/ontology/domain/vavai/cep/druhSouteze/
n4http://linked.opendata.cz/ontology/domain/vavai/cep/zivotniCyklusProjektu/
dctermshttp://purl.org/dc/terms/
n2http://linked.opendata.cz/resource/domain/vavai/projekt/
n16http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/
n8http://linked.opendata.cz/resource/domain/vavai/subjekt/
n15http://linked.opendata.cz/ontology/domain/vavai/
n9http://linked.opendata.cz/ontology/domain/vavai/cep/kategorie/
n7http://linked.opendata.cz/ontology/domain/vavai/cep/duvernostUdaju/
skoshttp://www.w3.org/2004/02/skos/core#
rdfshttp://www.w3.org/2000/01/rdf-schema#
n19http://linked.opendata.cz/ontology/domain/vavai/cep/fazeProjektu/
n10http://linked.opendata.cz/ontology/domain/vavai/cep/obor/
n5http://linked.opendata.cz/resource/domain/vavai/soutez/
n12http://linked.opendata.cz/ontology/domain/vavai/cep/statusZobrazovaneFaze/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n11http://linked.opendata.cz/resource/domain/vavai/projekt/LH11065/
xsdhhttp://www.w3.org/2001/XMLSchema#
n3http://linked.opendata.cz/ontology/domain/vavai/cep/
n18http://reference.data.gov.uk/id/gregorian-year/
n14http://linked.opendata.cz/resource/domain/vavai/aktivita/

Statements

Subject Item
n2:LH11065
rdf:type
n15:Projekt
rdfs:seeAlso
http://www.isvav.cz/projectDetail.do?rowId=LH11065
dcterms:description
The aim of the project is to support and extend cooperation between laboratory ParaDiSe at Faculty of Informatics Masaryk University (FI MU) and laboratory HyNeSs at Boston University (BU) in research and development of techniques for controller synthesis and formal verification of complex hybrid systems with specialization towards robotic systems. One of the key points of the cooperation is to establish conditions for direct research contacts and mutual usage of research infrastructure of both partners. The project connects two complementing research areas. Project activities will lead to design of new methods and techniques for control and verification of hybrid systems by adapting verification techniques of temporal properties of discrete concurrent systems developed at FI MU and methods for modeling and discretization of hybrid systems, which is a long-term research topic at BU. Combination of both will be basis for development of approach and experimental tool for control and verification. Cílem projektu je podpořit a rozšířit vzájemnou spolupráci mezi laboratoří ParaDiSe na Fakultě informatiky Masarykovy univerzity (FI MU) a laboratoří HyNeSs na Boston University (BU) v oblasti výzkumu a vývoje technik pro syntézu řídících strategií a ověřování komplexních hybridních systémů, s částečnou specializací na robotické systémy. Jedním z hlavních bodů spolupráce je vytvoření podmínek pro bezprostřední vědecké kontakty a využívání výzkumné infrastruktury obou zúčastněných partnerů. Svým odborným zaměřením projekt vhodně propojuje doplňující se výzkumné aktivity obou partnerských týmů. Aktivity projektu směřují k návrhu a vývoji nových metod a technik pro řízení a verifikaci hybridních systémů, adaptujících techniky verifikace temporálních vlastností diskrétních souběžných systémů vybudované na FI MU a metody modelování a diskretizace hybridních systémů, kterým se dlouhodobě věnuje tým na BU. Kombinací obou bude vybudován přístup a experimentální nástroj pro efektivní řízení a verifikaci.
dcterms:title
Řízení a ověřování vlastností komplexních hybridních systémů Control Synthesis and Formal Verification of Complex Hybrid Systems
skos:notation
LH11065
n3:aktivita
n14:LH
n3:celkovaStatniPodpora
n11:celkovaStatniPodpora
n3:celkoveNaklady
n11:celkoveNaklady
n3:datumDodatniDoRIV
2015-02-16+01:00
n3:druhSouteze
n21:VS
n3:duvernostUdaju
n7:S
n3:fazeProjektu
n19:100399871
n3:hlavniObor
n10:IN
n3:kategorie
n9:ZV
n3:klicovaSlova
control strategy synthesis; formal verification; hybrid and continuous systems; robotic systems; temporal logic
n3:partnetrHlavni
n8:orjk%3A14330
n3:pocetKoordinujicichPrijemcu
0
n3:pocetPrijemcu
1
n3:pocetSpoluPrijemcu
0
n3:pocetVysledkuRIV
14
n3:pocetZverejnenychVysledkuVRIV
14
n3:posledniUvolneniVMinulemRoce
2013-03-06+01:00
n3:prideleniPodpory
n16:MSMT-6784%2F2013-311
n3:sberDatUcastniciPoslednihoRoku
n18:2014
n3:sberDatUdajeProjZameru
n18:2014
n3:soutez
n5:SMSM2011LH1
n3:statusZobrazovaneFaze
n12:DRRVK
n3:typPojektu
n17:P
n3:ukonceniReseni
2014-12-31+01:00
n3:zahajeniReseni
2011-03-01+01:00
n3:zivotniCyklusProjektu
n4:ZBBK
n3:klicoveSlovo
robotic systems hybrid and continuous systems control strategy synthesis formal verification