
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...

TCHAT
 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 continuousintime dynamics are interrupted by discrete ... time events, often referred to as hybrid dynamical systems. Boundaryvalueproblem 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. Aﬃne 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 realvalued ... firstorder 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, nondeterministic 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, ifthenelse ... propositional logic rules. Once a hybrid system is modeled in a humanreadable fashion, HYSDEL ... transforms it to the mixedlogical 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 mmost 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 neurofuzzy system, HyFIS (Hybrid neural Fuzzy ... neurofuzzy hybrid model, extensive simulation studies of nonlinear complex dynamic systems are carried...

Flow*
 Referenced in 22 articles
[sw20162]
 flowpipe construction for nonlinear (polynomial) hybrid systems. Flow* combines wellknown Taylor model arithmetic ... techniques for guaranteed approximations of the continuous dynamics in each mode with a combination ... series of nonlinear 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 nondeterministic 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...