Converse Theorems for Safety and Barrier Certificates

Kód výsledku v IS VaVaI

RIV/67985807:_____/18:00487250 - isvavai.cz

Výsledek na webu

http://dx.doi.org/10.1109/TAC.2018.2792325

DOI - Digital Object Identifier

10.1109/TAC.2018.2792325

Jazyk výsledku

angličtina

Název v původním jazyce

Converse Theorems for Safety and Barrier Certificates

Popis výsledku v původním jazyce

An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this technical note we prove that every robustly safe ordinary differential equation has a barrier certificate. Moreover, we show a construction of such a barrier certificate based on a set of states that is reachable in finite time.

Název v anglickém jazyce

Converse Theorems for Safety and Barrier Certificates

Popis výsledku anglicky

An important tool for proving safety of dynamical systems is the notion of a barrier certificate. In this technical note we prove that every robustly safe ordinary differential equation has a barrier certificate. Moreover, we show a construction of such a barrier certificate based on a set of states that is reachable in finite time.

Druh

J_imp - Článek v periodiku v databázi Web of Science

CEP obor

—

OECD FORD obor

20204 - Robotics and automatic control

Projekt

GA15-14484S: Výpočet robustních invariantů hybridních dynamických systémů s využitím simulací

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2018

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

IEEE Transactions on Automatic Control

ISSN

0018-9286

e-ISSN

—

Svazek periodika

63

Číslo periodika v rámci svazku

8

Stát vydavatele periodika

US - Spojené státy americké

Počet stran výsledku

5

Strana od-do

2628-2632

Kód UT WoS článku

000439968100027

EID výsledku v databázi Scopus

2-s2.0-85041186577