• LYAPACK

  • Referenced in 63 articles [sw12624]
  • related to large sparse or structured dynamical systems before 1990. In the last few years...
  • Gephi

  • Referenced in 61 articles [sw12110]
  • kinds of networks and complex systems, dynamic and hierarchical graphs. Runs on Windows, Linux...
  • Multisim

  • Referenced in 47 articles [sw06447]
  • several electronic circuits, which are represented dynamical systems with hyperbolic chaotic attractors, such as Smale ... secure communication, noise radar, for cryptographic systems, for random number generators. The developed approach ... training students specializing in radiophysics and nonlinear dynamics ... design and analysis of systems with complex dynamics on a base of examples close...
  • GeoGebra

  • Referenced in 381 articles [sw04203]
  • algebra and tables are connected and fully dynamic. Easy-to-use interface, yet many powerful ... Free and open source software. Computer algebra system...
  • SLMC

  • Referenced in 74 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...
  • SMRSOFT

  • Referenced in 38 articles [sw12217]
  • toolbox for optimization over polynomials and dynamical systems study via SOS programming. SMRSOFT ... optimization problems over polynomials and studying dynamical systems via SOS programming. The main functions currently...
  • CHARMM

  • Referenced in 120 articles [sw05953]
  • Mechanics). CHARMM models the dynamics and mechanics of macromolecular systems using empirical and mixed empirical/quantum ... designed to investigate the structure and dynamics of large molecules. It performs free energy calculations ... chemical calculations. In addition, mixed quantum mechanical/classical systems can be defined to investigate chemical processes...
  • DENFIS

  • Referenced in 57 articles [sw24183]
  • DENFIS: dynamic evolving neural-fuzzy inference system and its application for time-series prediction. This ... type of fuzzy inference systems, denoted as dynamic evolving neural-fuzzy inference system (DENFIS ... offline learning, and their application for dynamic time series prediction. DENFIS evolve through incremental, hybrid ... fuzzy inference system based on m-most activated fuzzy rules which are dynamically chosen from...
  • Adams

  • Referenced in 50 articles [sw06593]
  • dynamics of moving parts, how loads and forces are distributed throughout mechanical systems ... neglect the true physics-based dynamics of complex mechanical systems. FEA is suited for studying ... linear vibration and transient dynamics, but inefficient at analyzing large rotations and other highly ... nonlinear motion of full mechanical systems. Adams multibody dynamics software enables engineers to easily create...
  • Bocop

  • Referenced in 48 articles [sw11823]
  • academic partners. Optimal control (optimization of dynamical systems governed by differential equations) has numerous applications...
  • IF-2.0

  • Referenced in 46 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...
  • pomp

  • Referenced in 46 articles [sw10664]
  • observed Markov processes (POMPs, AKA stochastic dynamical systems, state-space models). ’pomp’ provides facilities...
  • TC-HAT

  • Referenced in 28 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 ... events, often referred to as hybrid dynamical systems. Boundary-value-problem formulations corresponding to single ... analysis of a few example hybrid dynamical systems...
  • HYSDEL

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

  • Referenced in 154 articles [sw07907]
  • systems for performance and robustness. You can create uncertain models by combining nominal dynamics with ... unmodeled dynamics. You can analyze the impact of plant model uncertainty on control system performance...
  • CONTENT

  • Referenced in 37 articles [sw01058]
  • bifurcations. The paper provides details on defining systems and test functions implemented in content ... time integration of a three - dimensional dynamical system over a fixed time interval...
  • Wiener-Hammerstein Benchmark

  • Referenced in 36 articles [sw06636]
  • nonlinear system identification. A Wiener-Hammerstein system is selected as test object. In such ... sandwiched between two unknown dynamic systems. The signal-to-noise ratio of the measurements...
  • PersistenceImages

  • Referenced in 35 articles [sw41418]
  • dynamic output of a discrete dynamical system (the linked twist map) and a partial differential...
  • Julia

  • Referenced in 450 articles [sw13986]
  • performance. This paper presents Julia, a new dynamic language for technical computing, designed for performance ... generic functions and a rich type system simultaneously enables an expressive programming model and successful...