Converse Theorems for Safety and Barrier Certificates
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F18%3A00487250" target="_blank" >RIV/67985807:_____/18:00487250 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1109/TAC.2018.2792325" target="_blank" >http://dx.doi.org/10.1109/TAC.2018.2792325</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1109/TAC.2018.2792325" target="_blank" >10.1109/TAC.2018.2792325</a>
Alternativní jazyky
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.
Klasifikace
Druh
J<sub>imp</sub> - Článek v periodiku v databázi Web of Science
CEP obor
—
OECD FORD obor
20204 - Robotics and automatic control
Návaznosti výsledku
Projekt
<a href="/cs/project/GA15-14484S" target="_blank" >GA15-14484S: Výpočet robustních invariantů hybridních dynamických systémů s využitím simulací</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Ostatní
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ů
Údaje specifické pro druh výsledku
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