• Scilab

  • Referenced in 167 articles [sw00834]
  • Analysis: Standard algorithms and tools for control system study Signal Processing: Visualize, analyze and filter ... data exchanges with external tools. Xcos - Hybrid dynamic systems modeler and simulator: Modeling mechanical systems...
  • TC-HAT

  • Referenced in 27 articles [sw13068]
  • continuation of periodic trajectories in hybrid dynamical systems. This paper describes the underlying formulation ... perform bifurcation analysis of systems in which continuous-in-time dynamics are interrupted by discrete ... time events, often referred to as hybrid dynamical systems. Boundary-value-problem formulations corresponding ... bifurcation analysis of a few example hybrid dynamical systems...
  • Hybrid Toolbox

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

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

  • Referenced in 20 articles [sw20822]
  • verification and parameter synthesis of hybrid systems. We describe Breach, a Matlab/C++ toolbox providing ... analysis of deterministic models of hybrid dynamical systems. The primary feature of Breach...
  • KeYmaera

  • Referenced in 41 articles [sw03709]
  • verification logic for hybrid systems. KeYmaera supports differential dynamic logic, which is a real-valued ... first-order dynamic logic for hybrid programs, a program notation for hybrid automata. For automating ... automatic proof strategies that decompose the hybrid system specification symbolically. To overcome the complexity...
  • Scicos

  • Referenced in 19 articles [sw01941]
  • Scicos is a graphical dynamical system modeler and simulator developed in the Metalau project ... model and simulate the dynamics of hybrid dynamical systems and compile models into executable code...
  • SpaceEx

  • Referenced in 70 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...
  • HYSDEL

  • Referenced in 38 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...
  • d/dt

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

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

  • Referenced in 58 articles [sw24183]
  • their application for dynamic time series prediction. DENFIS evolve through incremental, hybrid (supervised/unsupervised), learning ... updated during the operation of the system. At each time moment, the output of DENFIS ... fuzzy inference system based on m-most activated fuzzy rules which are dynamically chosen from...
  • HSolver

  • Referenced in 42 articles [sw07419]
  • program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages ... optimized for simpler continuous dynamics...
  • HyFIS

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

  • Referenced in 22 articles [sw20162]
  • flowpipe construction for non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model arithmetic ... 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...
  • XSpeed

  • Referenced in 5 articles [sw20159]
  • state space exploration of continuous systems with linear dynamics and non-deterministic inputs. XSpeed exploits ... scenario), a scalable tool for hybrid systems with linear dynamics. Experiments on Intel core...
  • C2e2

  • Referenced in 9 articles [sw20139]
  • invariant properties of hybrid system and Stateflow models. It supports nonlinear dynamics...
  • SPeeDI

  • Referenced in 7 articles [sw00896]
  • polygonal hybrid systems Hybrid systems combining discrete and continuous dynamics arise as mathematical models ... continuous systems. A very important problem in the anajysis of the behavior of hybrid systems...
  • PyDSTool

  • Referenced in 11 articles [sw06718]
  • environment for dynamical systems models of physical systems (ODEs, DAEs, maps, and hybrid systems). PyDSTool...
  • HyEQ

  • Referenced in 7 articles [sw14490]
  • hybrid systems in Matlab/Simulink: Hybrid Equations (HyEQ) Toolbox. This paper describes the Hybrid Equations (HyEQ ... dynamical systems. This toolbox is capable of comput- ing approximations of trajectories to hybrid systems...