
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. Easytouse 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 neuralfuzzy inference system and its application for timeseries prediction. This ... type of fuzzy inference systems, denoted as dynamic evolving neuralfuzzy inference system (DENFIS ... offline learning, and their application for dynamic time series prediction. DENFIS evolve through incremental, hybrid ... fuzzy inference system based on mmost 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 physicsbased 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...

IF2.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, statespace models). ’pomp’ provides facilities...

TCHAT
 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 continuousintime dynamics are interrupted by discrete ... events, often referred to as hybrid dynamical systems. Boundaryvalueproblem 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, ifthenelse and propositional logic ... rules. Once a hybrid system is modeled in a humanreadable fashion, HYSDEL transforms ... mixedlogical 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...

WienerHammerstein Benchmark
 Referenced in 36 articles
[sw06636]
 nonlinear system identification. A WienerHammerstein system is selected as test object. In such ... sandwiched between two unknown dynamic systems. The signaltonoise 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...