• ABAQUS

  • Referenced in 1093 articles [sw04215]
  • consider full vehicle loads, dynamic vibration, multibody systems, impact/crash, nonlinear static, thermal coupling, and acoustic...
  • MATCONT

  • Referenced in 205 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 ... continuation and normal form analysis of dynamical systems. In 2002, the toolbox was extended...
  • XPPAUT

  • Referenced in 264 articles [sw05543]
  • analysis and simulation of dynamic systems. It includes AUTO, a bifurcation package, as well...
  • Simulink

  • Referenced in 534 articles [sw04348]
  • Model-Based Design for dynamic and embedded systems. It provides an interactive graphical environment...
  • DYNAMO

  • Referenced in 162 articles [sw01227]
  • accompanying graphical notation developed within the system dynamics analytical framework. It was originally for industrial ... dynamics but was soon extended to other applications, including population and resource studies ... Dynamo II/F and Dynamo III improved the system’s portability by being written in FORTRAN ... DYNAMO was used for the system dynamics simulations of global resource-depletion reported...
  • Python

  • Referenced in 305 articles [sw14460]
  • procedural styles. It features a dynamic type system and automatic memory management...
  • Neural Network Toolbox

  • Referenced in 154 articles [sw07378]
  • functions and apps for modeling complex nonlinear systems that are not easily modeled with ... supervised learning with feedforward, radial basis, and dynamic networks. It also supports unsupervised learning with ... recognition, clustering, time-series prediction, and dynamic system modeling and control. To speed up training...
  • Dynamics

  • Referenced in 151 articles [sw09100]
  • properties of discrete and continuous dynamical systems, including the plotting of attractors, basins of attraction...
  • DSTool

  • Referenced in 94 articles [sw06719]
  • interactively exporing the dynamics of dynamical systems. It allows you to draw trajectories, to find ... fixed points or bifurcation points. Dynamical systems arise in many disciplins of physics, biology ... methods employed by the theory of dynamical systems allow to compute important properties directly without...
  • CafeOBJ

  • Referenced in 140 articles [sw06232]
  • method for verifying safety properties of dynamic systems based on the first-order description...
  • Scilab

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

  • Referenced in 112 articles [sw05686]
  • System Identification Toolbox) is a software package, running under either ... Octave or MATLAB, for estimation of dynamic systems. A wide range of standard estimation approaches...
  • GAIO

  • Referenced in 66 articles [sw04306]
  • global numerical analysis of dynamical systems and optimization problems based on set oriented techniques ... measures and almost invariant sets in dynamical systems and to compute the globally optimal solutions...
  • LISP-STAT

  • Referenced in 86 articles [sw01111]
  • framework for exploring the use of dynamic graphical methods. Extensibility is achieved by basing Lisp ... linear algebra functions. A portable window system ... interface forms the basis of a dynamic graphics system that is designed to work identically...
  • PHAVer

  • Referenced in 90 articles [sw04123]
  • hybrid systems with piecewise constant bounds on the derivatives. Affine dynamics are handled ... user-definable constraints and the dynamics of the system. PHAVer’s exact arithmetic is robust...
  • CAPD

  • Referenced in 36 articles [sw07620]
  • modules designed for rigorous numerics in dynamical systems. The CAPD library is a collection ... nonrigorous and validated numerics for dynamical systems. It is distributed under the terms...
  • SLMC

  • Referenced in 61 articles [sw04604]
  • tool for model checking concurrent systems against dynamical spatial logic specifications. The Spatial Logic Model ... tool for verifying π-calculus systems against safety, liveness, and structural properties expressed ... techniques to check temporal properties of software systems. However, when the analysis focuses on properties ... reason about spatial properties and structural dynamics. The SLMC is the only currently available tool...
  • K2

  • Referenced in 43 articles [sw19597]
  • TOCSY - Toolboxes for Complex Systems: K2 - Dynamical Invariants by Recurrence Plots. Recurrence plots contain information ... about the dynamics of the system. It is possible, to derive dynamical invariants, like...
  • IF-2.0

  • Referenced in 42 articles [sw03303]
  • mandatory for an automated validation of complex systems. Finally, the toolbox was successfully used ... intermediate representation prevents the analysis of dynamic systems. More exactly, primitive operations like object...