Výsledky vyhledávání
- 1.0502373 - ÚI 2019 RIV CZ eng L4 - Software
Ratschan, Stefan
Barrifier.
Interní kód: Barrifier ; 2018
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.
Grant CEP: GA ČR GA15-14484S
Institucionální podpora: RVO:67985807
Klíčová slova: safety verification * software * barrier certificates * numerical optimization * Barrifier
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://www.cs.cas.cz/~ratschan/barrifier/
Trvalý link: http://hdl.handle.net/11104/0294315 - 2.0383483 - ÚI 2013 RIV CZ eng L4 - Software
Franek, Peter - Ratschan, Stefan - Dzetkulič, Tomáš
TopDeg.
Interní kód: TopDeg ; 2012
Technické parametry: 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
Ekonomické parametry: 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.
Grant CEP: GA MŠMT OC10048
Institucionální podpora: RVO:67985807
Klíčová slova: Brouwer degree * Interval arithmetics * Computational topology
Kód oboru RIV: JC - Počítačový hardware a software
http://www.cs.cas.cz/~franek/topdeg/topdeg.html
Trvalý link: http://hdl.handle.net/11104/0213406