Search results
- 1.0502373 - ÚI 2019 RIV CZ eng L4 - Software
Ratschan, Stefan
Barrifier.
Internal code: Barrifier ; 2018
Technical parameters: Barrifier proves safety of dynamical systems using barrier certificates and computes counter-example trajectories using numerical optimization.
Economic 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.
R&D Projects: GA ČR GA15-14484S
Institutional support: RVO:67985807
Keywords : safety verification * software * barrier certificates * numerical optimization * Barrifier
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.cs.cas.cz/~ratschan/barrifier/
Permanent Link: http://hdl.handle.net/11104/0294315 - 2.0383483 - ÚI 2013 RIV CZ eng L4 - Software
Franek, Peter - Ratschan, Stefan - Dzetkulič, Tomáš
TopDeg.
Internal code: TopDeg ; 2012
Technical parameters: TopDeg byl naprogramován v jazyku Objective Caml. Jde o implementaci nového algoritmu na výpočet topologického stupně zobrazení, který jsme podrobně popsali v následujícím článku: Effective Topological Degree Computation Based on Interval Arithmetics, viz http://arxiv.org/abs/1207.6331
Economic parameters: V standardních matematických programech jsme nenašli žádnou implementaci výpočtu stupně zobrazení, přestože se jedná o známý invariant, o kterém se dlouho vědělo, že je algoritmizovatelný. Program samotný může být použit jako ingredient mnoha dalších matematických balíků stejně tak jako pro výukové účely. Aplikace stupně zobrazení se vyskytují například v analýze existence globálních řešení obyčejných diferenciálních rovnic, v studiu jejich stability a bifurkací, viz např. M. Fečkan:Topological Degree Approach to Bifurcation Problems apod.
R&D Projects: GA MŠMT OC10048
Institutional support: RVO:67985807
Keywords : Brouwer degree * Interval arithmetics * Computational topology
Subject RIV: JC - Computer Hardware ; Software
http://www.cs.cas.cz/~franek/topdeg/topdeg.html
Permanent Link: http://hdl.handle.net/11104/0213406