• SReach

  • Referenced in 5 articles [sw20158]
  • Probabilistic Bounded Delta-Reachability Analyzer for Stochastic Hybrid Systems. In this paper, we present ... classes of models of stochastic hybrid systems. The first one is (nonlinear) hybrid automata with ... systems involving both nonlinear dynamics over the reals and stochasticity. SReach encodes stochastic information ... models and additional benchmarks for nonlinear hybrid systems with multiple probabilistic system parameters...
  • ProbReach

  • Referenced in 3 articles [sw20157]
  • ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. We present ProbReach, a tool ... verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that the system reaches ... reachability that is suited for hybrid systems whose stochastic behaviour is given in terms ... several benchmarks involving highly non-linear hybrid systems...
  • StocHy

  • Referenced in 3 articles [sw36937]
  • quantitative analysis of discrete-time stochastic hybrid systems (SHS). StocHy accepts a high-level description...
  • DifferentialEquations.jl

  • Referenced in 58 articles [sw23910]
  • equations, delay differential equations, hybrid differential equations, jump diffusions, and (stochastic) partial differential equations. Through ... such as allowing arbitrary user-defined number systems for high-precision and arithmetic with physical...
  • HSIM

  • Referenced in 2 articles [sw18272]
  • HSIM: A hybrid stochastic simulation system for systems biology. This paper describes a method...
  • SIDNUR

  • Referenced in 7 articles [sw22934]
  • mortar BDD method for solving flow in stochastic discrete fracture networks. In this paper, flow ... Mortar Mixed Hybrid Finite Element Method. To solve large linear systems derived from a nonconforming ... discretization of stochastic fractured networks, a Balancing Domain Decomposition is used. Tests on three stochastically...
  • S-TaLiRo

  • Referenced in 22 articles [sw09775]
  • tool for temporal logic falsification for hybrid systems. S-TaLiRo is a Matlab (TM) toolbox ... system. At the heart of the tool, we use randomized testing based on stochastic optimization...
  • sbioPN

  • Referenced in 6 articles [sw11725]
  • deterministic solutions, sbioPN creates the associated system of differential equations ”on the fly”, and solves ... stochastic solutions, sbioPN offers two variants of Gillespie algorithm, or SSA. For hybrid deterministic/stochastic ... Haseltine and Rawlings algorithm, that partitions the system in fast and slow reactions. sbioPN algorithms...
  • sitar

  • Referenced in 2 articles [sw40191]
  • Stochastic local search for falsification of hybrid systems. Falsification techniques for models of embedded control ... converge to local optima, we introduce stochastic aspects such as random restarts, sampling and probabilistically...
  • MCCEFF

  • Referenced in 5 articles [sw06179]
  • modules method. It originates from the generalized stochastic perturbation-based FEM, where Taylor expansion with ... response functions. The hybrid computational implementation of the system MAPLE with homogenization-oriented FEM code...
  • HSimulator

  • Referenced in 2 articles [sw22841]
  • HSimulator: hybrid stochastic/deterministic simulation of biochemical reaction networks. HSimulator is a multithread simulator for mass ... action biochemical reaction systems placed in a well-mixed environment. HSimulator provides optimized implementation ... widespread state-of-the-art stochastic, deterministic, and hybrid simulation strategies including the first publicly...
  • Hy3S

  • Referenced in 5 articles [sw23355]
  • Hy3S -- Hybrid Stochastic Simulation for Supercomputers. Hy3S is now a part of a larger project ... chemical or biochemical system as quickly as possible, using hybrid or other approximate algorithms...
  • THOR

  • Referenced in 1 article [sw07915]
  • solids and biomolecular systems. It is based on a hybrid approach which makes ... Classical Molecular Dynamics (MD) and Stochastic Molecular Dynamics Monte Carlo (MC) simulations, coupled to Embedded...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ARMS

  • Referenced in 65 articles [sw00048]
  • ARMS: an algebraic recursive multilevel solver for general...
  • BARON

  • Referenced in 354 articles [sw00066]
  • BARON is a computational system for solving nonconvex...
  • BoomerAMG

  • Referenced in 196 articles [sw00086]
  • BoomerAMG: A parallel algebraic multigrid solver and preconditioner...
  • CADNA

  • Referenced in 47 articles [sw00098]
  • CADNA: a library for estimating round-off error...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...