
HYSDEL
 Referenced in 39 articles
[sw05200]
 hybrid systems described by interconnections of linear dynamic systems, automata, ifthenelse and propositional...

benchmodred
 Referenced in 65 articles
[sw27644]
 examples for model reduction of linear timeinvariant dynamical systems. We present a benchmark collection...

LISPSTAT
 Referenced in 117 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, the X window system, and Microsoft Windows. A prototypebased objectoriented programming system ... system and to allow it to be customized and adapted. The objectoriented programming system...

Adams
 Referenced in 50 articles
[sw06593]
 physicsbased dynamics of complex mechanical systems. FEA is suited for studying linear vibration ... other highly nonlinear motion of full mechanical systems. Adams multibody dynamics software enables engineers...

Evolino
 Referenced in 19 articles
[sw36450]
 their ability to model nonlinear dynamical systems. Most supervised gradientbased recurrent neural networks ... sequence learning, EVOlution of recurrent systems with LINear outputs (Evolino). Evolino uses evolution to discover...

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

System Identification Toolbox
 Referenced in 179 articles
[sw05686]
 Octave or MATLAB, for estimation of dynamic systems. A wide range of standard estimation approaches ... authors. These include the estimation of nonlinear models, the use of nonstandard model...

ABACUS
 Referenced in 117 articles
[sw02948]
 ABACUS is a software system written in C++ that provides a framework for the implementation ... algorithms using linear programming relaxations. Cutting planes or columns can be generated dynamically (branch...

Lyapunov
 Referenced in 5 articles
[sw09343]
 stability problem in nonlinear dynamical systems. We present a methodology for the determination ... general class of nonlinear dynamical systems. The algorithm can be applied in the cases ... numerical algorithm involves the resolution of a linear programming problem. The algebraic version is implemented...

ASCEND
 Referenced in 19 articles
[sw06284]
 solve systems of nonlinear equations, linear and nonlinear optimisation problems, and dynamic systems expressed...

Geometer's Sketchpad
 Referenced in 228 articles
[sw04858]
 memorable using Sketchpad. Elementary students can manipulate dynamic models of fractions, number lines, and geometric ... transform geometric shapes and functions—from linear to trigonometric—promoting deep understanding. Sketchpad ... computer lab or on laptops. Computer algebra system...

XSpeed
 Referenced in 5 articles
[sw20159]
 state space exploration of continuous systems with linear dynamics and nondeterministic inputs. XSpeed exploits ... scalable tool for hybrid systems with linear dynamics. Experiments on Intel core i74770 having...

HSolver
 Referenced in 44 articles
[sw07419]
 program for verification of hybrid systems based on the constraint solver RSOLVER. Unlike other packages ... linear ordinary differential equations, but is not optimized for simpler continuous dynamics...

Hybrid Toolbox
 Referenced in 28 articles
[sw15053]
 hybrid dynamical systems, for designing and simulating model predictive controllers for hybrid systems subject ... constraints, and for generating linear and hybrid MPC control laws in piecewise affine form that...

Flow*
 Referenced in 28 articles
[sw20162]
 based flowpipe construction for nonlinear (polynomial) hybrid systems. Flow* combines wellknown Taylor model ... 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...

TTPY
 Referenced in 7 articles
[sw18073]
 interpolation, solve linear systems, eigenproblems, solve dynamical problems. Several computational routines are done in Fortran...

DAISY
 Referenced in 54 articles
[sw09059]
 nonlinear but identifiability analysis for nonlinear system turns out to be a difficult mathematical problem ... perform parameter identifiability analysis for (linear and) nonlinear dynamic models described by polynomial or rational ... DAISY (Differential Algebra for Identifiability of SYstems) software will potentially be useful in biological modelling...

SMI Toolbox
 Referenced in 4 articles
[sw32062]
 subspace model identification of LTI system and the linear dynamic part of Wiener systems...

SPOT
 Referenced in 6 articles
[sw21276]
 used in implementing a class of nonlinear system identification algorithms. It was tested with MATLAB ... functions for identification of linear and nonlinear dynamical systems...

PersistenceImages
 Referenced in 40 articles
[sw41418]
 vectorbased machine learning tools, such as linear sparse support vector machines, which identify features ... parameter values from the dynamic output of a discrete dynamical system (the linked twist...