Barrifier

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F18%3A00502373" target="_blank" >RIV/67985807:_____/18:00502373 - isvavai.cz</a>

Výsledek na webu

<a href="http://www2.cs.cas.cz/~ratschan/barrifier/" target="_blank" >http://www2.cs.cas.cz/~ratschan/barrifier/</a>

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Barrifier

Popis výsledku v původním jazyce

Barrifier is a program for verifying safety of dynamical systems. It proves safety using barrier certificates and computes counter-example trajectories using numerical optimization. It is available under the GNU Lesser General Public License.

Název v anglickém jazyce

Barrifier

Popis výsledku anglicky

Barrifier is a program for verifying safety of dynamical systems. It proves safety using barrier certificates and computes counter-example trajectories using numerical optimization. It is available under the GNU Lesser General Public License.

Druh

R - Software

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

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)

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ů

Interní identifikační kód produktu

Barrifier

Technické parametry

Barrifier proves safety of dynamical systems using barrier certificates and computes counter-example trajectories using numerical optimization.

Ekonomické parametry

Barrifier is a program for verifying safety of dynamical systems. It supports the design of safe systems by proving that a mathematical system model fulfills the safety requirement of the system. It is available under the GNU Lesser General Public License.

IČO vlastníka výsledku

67985807

Název vlastníka

Ústav informatiky AV ČR, v.v