About: Control Synthesis and Formal Verification of Complex Hybrid Systems

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

About: Control Synthesis and Formal Verification of Complex Hybrid Systems 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=LH11065
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. (en) 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.
Title	Control Synthesis and Formal Verification of Complex Hybrid Systems (en) Řízení a ověřování vlastností komplexních hybridních systémů
skos:notation	LH11065
http://linked.open...avai/cep/aktivita	KONTAKT II
http://linked.open...kovaStatniPodpora	http://linked.opendata.cz/resource/domain/vavai/projekt/LH11065/celkovaStatniPodpora
http://linked.open...ep/celkoveNaklady	http://linked.opendata.cz/resource/domain/vavai/projekt/LH11065/celkoveNaklady
http://linked.open...datumDodatniDoRIV	2015-02-16 (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	100399871
http://linked.open...ai/cep/hlavniObor	IN - Informatika
http://linked.open...vai/cep/kategorie	ZV - Základní výzkum
http://linked.open.../cep/klicovaSlova	control strategy synthesis; formal verification; hybrid and continuous systems; robotic systems; temporal logic (en)
http://linked.open...ep/partnetrHlavni	Fakulta informatiky
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	14 (xsd:int)
http://linked.open...enychVysledkuVRIV	14 (xsd:int)
http://linked.open...lneniVMinulemRoce	2013-03-06 (xsd:date)
http://linked.open.../prideleniPodpory	http://linked.opendata.cz/resource/domain/vavai/cep/prideleniPodpory/MSMT-6784%2F2013-311
http://linked.open...iciPoslednihoRoku	2014
http://linked.open...atUdajeProjZameru	2014
http://linked.open.../vavai/cep/soutez	SMSM2011LH1
http://linked.open...usZobrazovaneFaze	DRRVK
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	2014-12-31 (xsd:date)
http://linked.open...ep/zahajeniReseni	2011-03-01 (xsd:date)
http://linked.open...tniCyklusProjektu	ZBBK
http://linked.open.../cep/klicoveSlovo	control strategy synthesis formal verification hybrid and continuous systems robotic systems
is http://linked.open...vavai/riv/projekt of	Temporal Logic Control of Discrete-Time Piecewise Affine Systems Timed Automata Approach to Verification of Systems with Degradation Optimal path planning for surveillance with temporal logic constraints Temporal Logic Robot Control based on Automata Learning of Environmental Dynamics Formal analysis of piecewise affine systems through formula-guided refinement Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning LTL Robot Motion Control based on Automata Learning of Environmental Dynamics Minimum-violation LTL Planning with Conflicting Specifications On Clock-Aware LTL Properties of Timed Automata Verification of Systems with Degradation Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints Optimal Control of MDPs with Temporal Logic Constraints Attraction-Based Receding Horizon Path Planning with Temporal Logic Constraints Least-violating control strategy synthesis with safety rules
is http://linked.open...vavai/cep/projekt of	http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11065/2011/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11065/2012/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11065/2013/orjk%3A14330 http://linked.opendata.cz/resource/domain/vavai/cep/ucast/LH11065/2014/orjk%3A14330

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, 106 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software