Informace o projektu

Řízení a ověřování vlastností komplexních hybridních systémů (Řízení a ověřování vlastností komplexních hybridní)

Kód projektu
LH11065
Období řešení
3/2011 - 12/2014
Investor/Program
Ministerstvo školství, mládeže a tělovýchovy ČR
Programový rámec / typ projektu
KONTAKT II (od projektů s počátkem řešení v roce 2011)
Fakulta/Pracoviště MU
Fakulta informatiky

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 odoborný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.

Publikace

2015

Optimal Temporal Logic Control for Deterministic Transition Systems with Probabilistic Penalties

SVOREŇOVÁ Mária — ČERNÁ Ivana — BELTA Calin

Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games

SVOREŇOVÁ Mária — KŘETÍNSKÝ Jan — CHMELÍK Martin — CHATTERJEE Krishnendu — ČERNÁ Ivana — BELTA Calin

Temporal Logic Motion Planning using POMDPs with Parity Objectives

SVOREŇOVÁ Mária — CHMELÍK Martin — LEAHY Kevin — ENISER Hasan Ferit — CHATTERJEE Krishnendu — ČERNÁ Ivana — BELTA Calin

2014

On Clock-Aware LTL Properties of Timed Automata

BEZDĚK Peter BENEŠ Nikola — HAVEL Vojtěch — BARNAT Jiří ČERNÁ Ivana

2013

Formal analysis of piecewise affine systems through formula-guided refinement

YORDANOV Boyan — TŮMOVÁ Jana — ČERNÁ Ivana BARNAT Jiří — BELTA Calin

Incremental Sampling-Based Algorithm for Minimum-Violation Motion Planning

REYES CASTRO Luis Ignacio — CHAUDHARI Pratik — TŮMOVÁ Jana — KARAMAN Sertac — FRAZZOLI Emilio — RUS Daniela

Least-violating control strategy synthesis with safety rules

TŮMOVÁ Jana — HALL Gavin — KARAMAN Sertac — FRAZZOLI Emilio — RUS Daniela

Minimum-violation LTL Planning with Conflicting Specifications

TŮMOVÁ Jana — REYES CASTRO Luis — KARAMAN Sertac — FRAZZOLI Emilio — RUS Daniela

Optimal Control of MDPs with Temporal Logic Constraints

SVOREŇOVÁ Mária — ČERNÁ Ivana — BELTA Calin

Optimal Receding Horizon Control for Finite Deterministic Systems with Temporal Logic Constraints

SVOREŇOVÁ Mária — ČERNÁ Ivana — BELTA Calin

Předchozí 1 2 Další

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info