• Scilab

  • Referenced in 174 articles [sw00834]
  • data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems...
  • TC-HAT

  • Referenced in 28 articles [sw13068]
  • continuation of periodic trajectories in hybrid dynamical systems. This paper describes the underlying formulation ... time events, often referred to as hybrid dynamical systems. Boundary-value-problem formulations corresponding ... bifurcation analysis of a few example hybrid dynamical systems...
  • KeYmaera

  • Referenced in 48 articles [sw03709]
  • verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which ... real-valued first-order dynamic logic for hybrid programs, a program notation for hybrid automata...
  • Hybrid Toolbox

  • Referenced in 28 articles [sw15053]
  • toolbox for modeling, simulating, and verifying hybrid dynamical systems, for designing and simulating model predictive...
  • Breach

  • Referenced in 26 articles [sw20822]
  • analysis of deterministic models of hybrid dynamical systems. The primary feature of Breach...
  • Scicos

  • Referenced in 19 articles [sw01941]
  • model and simulate the dynamics of hybrid dynamical systems and compile models into executable code...
  • PHAVer

  • Referenced in 117 articles [sw04123]
  • properties of hybrid systems with piecewise constant bounds on the derivatives. Affine dynamics are handled...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • class of hybrid systems described by interconnections of linear dynamic systems, automata, if-then-else ... propositional logic rules. Once a hybrid system is modeled in a human-readable fashion, HYSDEL ... transforms it to the mixed-logical dynamical (MLD) form which can be immediately used...
  • SpaceEx

  • Referenced in 75 articles [sw10939]
  • reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics. It combines polyhedra ... SpaceEx, a new verification platform for hybrid systems, available at spaceex.imag.fr. Experimental results of full...
  • DENFIS

  • Referenced in 57 articles [sw24183]
  • their application for dynamic time series prediction. DENFIS evolve through incremental, hybrid (supervised/unsupervised), learning ... most activated fuzzy rules which are dynamically chosen from a fuzzy rule set. Two approaches...
  • CCSTM

  • Referenced in 34 articles [sw33312]
  • functionality. We use a novel hybrid of static and dynamic transaction scoping to retain composability...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification...
  • DAEPACK

  • Referenced in 17 articles [sw12958]
  • general FORTRAN models so that hybrid discrete/continuous dynamic simulation can be performed efficiently and robustly...
  • CLEAN

  • Referenced in 58 articles [sw01346]
  • offers a hybrid type system with both static as well as dynamic typing. Expressions, which...
  • HSolver

  • Referenced in 44 articles [sw07419]
  • HSolver is a program for verification of hybrid systems based on the constraint solver RSOLVER ... optimized for simpler continuous dynamics...
  • Pegasus

  • Referenced in 9 articles [sw18068]
  • code for astrophysical plasma dynamics. We describe Pegasus, a new hybrid-kinetic particle-in-cell...
  • GSHMC

  • Referenced in 16 articles [sw02631]
  • efficient method for molecular simulation. The hybrid Monte Carlo (HMC) method is a popular ... method is based on classical molecular dynamics simulations combined with a Metropolis acceptance criterion ... after each Monte Carlo step, the generalized hybrid Monte Carlo (GHMC) method can be implemented ... seems desirable for keeping some of the dynamic information throughout the sampling process similar...
  • HyFIS

  • Referenced in 13 articles [sw24184]
  • nonlinear dynamical systems. This paper proposes an adaptive neuro-fuzzy system, HyFIS (Hybrid neural Fuzzy ... proposed neuro-fuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic systems are carried...
  • AstroPhi

  • Referenced in 6 articles [sw41168]
  • complex simulation of the dynamics of astrophysical objects using hybrid supercomputers. We propose ... simulation of the dynamics of astrophysical objects on hybrid supercomputers equipped with Intel Xenon...
  • Flow*

  • Referenced in 27 articles [sw20162]
  • based flowpipe construction for non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model ... techniques for guaranteed approximations of the continuous dynamics in each mode with a combination ... series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow...