• Dynamics

  • Referenced in 179 articles [sw09100]
  • visualize the properties of discrete and continuous dynamical systems, including the plotting of attractors, basins...
  • MATCONT

  • Referenced in 443 articles [sw00551]
  • Matlab software for bifurcation study of dynamical systems. The study of differential equations requires good ... have their own way of specifying the system or are written in a relatively ... Riet started the implementation of a continuation toolbox in Matlab. The aim of this toolbox ... environment for the continuation and normal form analysis of dynamical systems. In 2002, the toolbox...
  • TC-HAT

  • Referenced in 28 articles [sw13068]
  • toolbox for the continuation of periodic trajectories in hybrid dynamical systems. This paper describes ... perform bifurcation analysis of systems in which continuous-in-time dynamics are interrupted by discrete ... hybrid dynamical systems. Boundary-value-problem formulations corresponding to single- and two-parameter continuations ... bifurcation analysis of a few example hybrid dynamical systems...
  • d/dt

  • Referenced in 37 articles [sw10314]
  • automatic safety verification of hybrid systems with linear continuous dynamics with uncertain input. The verification ... synthesize a controller which switches the system between continuous modes in order to satisfy...
  • CL_MATCONT

  • Referenced in 68 articles [sw07132]
  • MatCont is to provide a continuation and bifurcation toolbox which is compatible with the standard ... dynamical systems. It is developed in parallel with the command line continuation toolbox Cl_MatCont...
  • SpaceEx

  • Referenced in 75 articles [sw10939]
  • reachability algorithm for hybrid systems with piecewise affine, non-deterministic dynamics. It combines polyhedra ... support function representations of continuous sets to compute an over-approximation of the reachable states ... SpaceEx, a new verification platform for hybrid systems, available at spaceex.imag.fr. Experimental results of full...
  • TrueTime

  • Referenced in 42 articles [sw13636]
  • Matlab/Simulink-based simulator for real-time control systems. TrueTime facilitates co-simulation of controller task execution ... real-time kernels, network transmissions, and continuous plant dynamics...
  • Scilab

  • Referenced in 173 articles [sw00834]
  • continuous and discrete optimization problems. Statistics: Tools to perform data analysis and modeling Control System ... 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...
  • HSolver

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

  • Referenced in 8 articles [sw00896]
  • polygonal hybrid systems Hybrid systems combining discrete and continuous dynamics arise as mathematical models ... systems, and as an approximation to complex continuous systems. A very important problem...
  • DEMiCs

  • Referenced in 21 articles [sw00196]
  • general semi-mixed polynomial system through dynamic enumeration of all mixed cells. The underlying mixed ... isolated zeros of a polynomial system by polyhedral homotopy continuation method. A notable feature ... DEMiCs is in the construction of a dynamic enumeration tree for finding all mixed cells ... dynamic enumeration method, proposed by Mizutani, Takeda and Kojima for fully mixed polynomial systems...
  • Linda

  • Referenced in 103 articles [sw09427]
  • distributed programming language that is intended for systems programming in distributed settings generally ... distributed in time; it allows distributed sharing, continuation passing, and structured naming. We discuss these ... particularly concerned with implementation of the dynamic global name space that the generative communication model...
  • Flow*

  • Referenced in 27 articles [sw20162]
  • systems. Flow* combines well-known Taylor model arithmetic techniques for guaranteed approximations of the continuous ... dynamics in each mode with a combination of approaches for handling mode invariants and discrete ... series of non-linear continuous and hybrid system benchmarks. Our comparisons show that Flow...
  • CTDSX

  • Referenced in 5 articles [sw04620]
  • state-space realizations of continuous-time dynamical system This paper describes Version...
  • Dsamala

  • Referenced in 2 articles [sw15240]
  • analysing and simulating discrete, continuous, stochastic dynamic systems. This article describes DSamala toolbox, a computational ... simulating and analysing discrete, continuous, stochastic dynamic systems; It is presented as a MATLAB toolbox...
  • ManLab

  • Referenced in 5 articles [sw12525]
  • package for interactive continuation and bifurcation analysis of non linear systems of equations ... fixed points) of dynamical systems. Manlab also provides algorithms for continuation, stability and bifurcation analysis ... periodic orbits of a given dynamical system, using the Harmonic Balance Method...
  • XSpeed

  • Referenced in 5 articles [sw20159]
  • parallel state space exploration of continuous systems with linear dynamics and non-deterministic inputs. XSpeed...
  • CL_MATCONTL

  • Referenced in 11 articles [sw06523]
  • MatCont is to provide a continuation and bifurcation toolbox which is compatible with the standard ... dynamical systems. It is developed in parallel with the command line continuation toolbox Cl_MatCont...
  • PDDE-CONT

  • Referenced in 30 articles [sw08419]
  • This is a review article on numerical continuation and bifurcation analysis methods for delay differential ... DDEs or numerical methods for dynamical systems but it is ideal as an entry point ... equilibria and periodic orbits, and for continuing codimension-one bifurcations of equilibria and periodic orbits...
  • Bellerophon

  • Referenced in 4 articles [sw23943]
  • hybrid systems. Hybrid systems combine discrete and continuous dynamics, which makes them attractive as models ... physical motion. Verification is undecidable for hybrid systems and challenging for many models and properties ... systems verification, named Bellerophon, that provides a way to convey insights by programming hybrid systems ... decomposing hybrid systems, discovering and establishing invariants of nonlinear continuous systems, arithmetic simplifications to maximize...