Barrifier

Result code in 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>

Result on the web

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

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Barrifier

Original language description

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.

Czech name

—

Czech description

—

Type

R - Software

CEP classification

—

OECD FORD branch

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

Project

<a href="/en/project/GA15-14484S" target="_blank" >GA15-14484S: Simulation-Based Computation of Robust Invariants of Hybrid Dynamical Systems</a><br>

Continuities

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

Publication year

2018

Confidentiality

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

Internal product ID

Barrifier

Technical parameters

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

Economical parameters

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.

Owner IČO

67985807

Owner name

Ústav informatiky AV ČR, v.v