• HYSDEL

  • Referenced in 39 articles [sw05200]
  • hybrid systems described by interconnections of linear dynamic systems, automata, if-then-else and propositional...
  • benchmodred

  • Referenced in 65 articles [sw27644]
  • examples for model reduction of linear time-invariant dynamical systems. We present a benchmark collection...
  • LISP-STAT

  • 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 prototype-based object-oriented programming system ... system and to allow it to be customized and adapted. The object-oriented programming system...
  • Adams

  • Referenced in 50 articles [sw06593]
  • physics-based 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 non-linear dynamical systems. Most supervised gradient-based 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 non-linear models, the use of non-standard 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 non-linear dynamical systems. We present a methodology for the determination ... general class of non-linear 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 non-linear 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 non-deterministic inputs. XSpeed exploits ... scalable tool for hybrid systems with linear dynamics. Experiments on Intel core i7-4770 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 non-linear (polynomial) hybrid systems. Flow* combines well-known Taylor model ... techniques for guaranteed approximations of the continuous dynamics in each mode with a combination ... series of non-linear 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]
  • vector-based 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...