" robotic systems" . "1"^^ . . . "\u0158\u00EDzen\u00ED a ov\u011B\u0159ov\u00E1n\u00ED vlastnost\u00ED komplexn\u00EDch hybridn\u00EDch syst\u00E9m\u016F" . . . . "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."@en . "2013-03-06+01:00"^^ . . "C\u00EDlem projektu je podpo\u0159it a roz\u0161\u00ED\u0159it vz\u00E1jemnou spolupr\u00E1ci mezi laborato\u0159\u00ED ParaDiSe na Fakult\u011B informatiky Masarykovy univerzity (FI MU) a laborato\u0159\u00ED HyNeSs na Boston University (BU) v oblasti v\u00FDzkumu a v\u00FDvoje technik pro synt\u00E9zu \u0159\u00EDd\u00EDc\u00EDch strategi\u00ED a ov\u011B\u0159ov\u00E1n\u00ED komplexn\u00EDch hybridn\u00EDch syst\u00E9m\u016F, s \u010D\u00E1ste\u010Dnou specializac\u00ED na robotick\u00E9 syst\u00E9my. Jedn\u00EDm z hlavn\u00EDch bod\u016F spolupr\u00E1ce je vytvo\u0159en\u00ED podm\u00EDnek pro bezprost\u0159edn\u00ED v\u011Bdeck\u00E9 kontakty a vyu\u017E\u00EDv\u00E1n\u00ED v\u00FDzkumn\u00E9 infrastruktury obou z\u00FA\u010Dastn\u011Bn\u00FDch partner\u016F. Sv\u00FDm odborn\u00FDm zam\u011B\u0159en\u00EDm projekt vhodn\u011B propojuje dopl\u0148uj\u00EDc\u00ED se v\u00FDzkumn\u00E9 aktivity obou partnersk\u00FDch t\u00FDm\u016F. Aktivity projektu sm\u011B\u0159uj\u00ED k n\u00E1vrhu a v\u00FDvoji nov\u00FDch metod a technik pro \u0159\u00EDzen\u00ED a verifikaci hybridn\u00EDch syst\u00E9m\u016F, adaptuj\u00EDc\u00EDch techniky verifikace tempor\u00E1ln\u00EDch vlastnost\u00ED diskr\u00E9tn\u00EDch soub\u011B\u017En\u00FDch syst\u00E9m\u016F vybudovan\u00E9 na FI MU a metody modelov\u00E1n\u00ED a diskretizace hybridn\u00EDch syst\u00E9m\u016F, kter\u00FDm se dlouhodob\u011B v\u011Bnuje t\u00FDm na BU. Kombinac\u00ED obou bude vybudov\u00E1n p\u0159\u00EDstup a experiment\u00E1ln\u00ED n\u00E1stroj pro efektivn\u00ED \u0159\u00EDzen\u00ED a verifikaci." . . . "http://www.isvav.cz/projectDetail.do?rowId=LH11065"^^ . "0"^^ . "2015-02-16+01:00"^^ . "control strategy synthesis; formal verification; hybrid and continuous systems; robotic systems; temporal logic"@en . "Control Synthesis and Formal Verification of Complex Hybrid Systems"@en . . . . "14"^^ . "2014-12-31+01:00"^^ . "14"^^ . . . . " hybrid and continuous systems" . . "2011-03-01+01:00"^^ . . "control strategy synthesis" . "LH11065" . "0"^^ . . " formal verification" .