Výsledky vyhledávání

  1. 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. 2.
    0473970 - ÚI 2018 SE eng A - Abstrakt
    Franek, Peter - Kuřátko, Jan - Ratschan, Stefan
    Safety Verification By Interval Based Quantified Constraint Solving,.
    SCAN 2016. Book of Abstracts. Uppsala University, 2016. s. 107-108.
    [SCAN 2016. International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerics /17./. 26.09.2016-29.09.2016, Uppsala]
    Grant CEP: GA ČR GA15-14484S
    Institucionální podpora: RVO:67985807
    Klíčová slova: ordinary differential equations * safety verification * constraints * constraint solving
    Trvalý link: http://hdl.handle.net/11104/0271070
    Název souboruStaženoVelikostKomentářVerzePřístup
    a0473970.pdf02 MBVydavatelský postprintpovolen
     
     
  3. 3.
    0423370 - ÚI 2014 RIV US eng J - Článek v odborném periodiku
    Ratschan, Stefan
    Safety verification of non-linear hybrid systems is quasi-decidable.
    Formal Methods in System Design. Roč. 44, č. 1 (2014), s. 71-90. ISSN 0925-9856. E-ISSN 1572-8102
    Grant CEP: GA ČR GCP202/12/J060
    Institucionální podpora: RVO:67985807
    Klíčová slova: hybrid systems * safety verification * decidability * robustness
    Kód oboru RIV: IN - Informatika
    Impakt faktor: 0.875, rok: 2014
    Trvalý link: http://hdl.handle.net/11104/0229467
     
     


  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.