• SMRSOFT

  • Referenced in 30 articles [sw12217]
  • MATLAB toolbox for optimization over polynomials and dynamical systems study via SOS programming. SMRSOFT ... solving basic optimization problems over polynomials and studying dynamical systems via SOS programming. The main...
  • DEMiCs

  • Referenced in 21 articles [sw00196]
  • general semi-mixed polynomial system through dynamic enumeration of all mixed cells. The underlying mixed ... computing all isolated zeros of a polynomial system by polyhedral homotopy continuation method. A notable ... DEMiCs is in the construction of a dynamic enumeration tree for finding all mixed cells ... dynamic enumeration method, proposed by Mizutani, Takeda and Kojima for fully mixed polynomial systems...
  • System Identification Toolbox

  • Referenced in 153 articles [sw05686]
  • Octave or MATLAB, for estimation of dynamic systems. A wide range of standard estimation approaches ... with either MIMO state space or MISO polynomial model structures. A key feature...
  • ADAM

  • Referenced in 7 articles [sw21957]
  • systems using computer algebra. BACKGROUND: Many biological systems are modeled qualitatively with discrete models, such ... computational complexity to analyze the complete dynamics of these models grows exponentially in the number ... several discrete model types automatically into polynomial dynamical systems and analyzes their dynamics using tools ... that is equivalent to solving a system of polynomial equations, a long-studied problem...
  • Sapo

  • Referenced in 3 articles [sw23566]
  • Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems. Sapo is a tool ... formal analysis of polynomial dynamical systems. Its main features are 1) Reachability computation...
  • DAISY

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

  • Referenced in 4 articles [sw21276]
  • used in implementing a class of nonlinear system identification algorithms. It was tested with MATLAB ... matrix multivariable polynomial variable class msspoly for handling elementary polynomial operations, a special class mssprog ... solved by SeDuMi) in terms of polynomial identities and self-dual cones ... identification of linear and nonlinear dynamical systems...
  • multistatepdscontrol

  • Referenced in 1 article [sw31987]
  • mathematical control approaches are available, such as systems of ordinary differential equations, then this problem ... models based on encoding them as polynomial dynamical systems over a finite algebraic state...
  • Flow*

  • Referenced in 17 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...
  • TRIP

  • Referenced in 17 articles [sw05726]
  • TRIP is a general computer algebra system dedicated to celestial mechanics. It includes a numerical ... dynamically load external libraries written in C, C++, or Fortran. Parallel computations on multivariate polynomials...
  • QPSI

  • Referenced in 4 articles [sw09344]
  • quasi-polynomial symmetries, invariants and invariant tensor fields for dynamical systems. A brief survey...
  • ERODE

  • Referenced in 5 articles [sw20210]
  • aggregate ODE system can be obtained; each aggregate ODE gives the cumulative dynamics ... special case of ODEs with polynomial derivatives of degree at most two, covering elementary chemical...
  • BFComp

  • Referenced in 3 articles [sw18654]
  • enabling approximate model-order reduction of dynamical systems. The BFs can then be used ... error between the outputs of the original system and its reduced approximation. To this ... study also presents workarounds for systems with non-polynomial vector fields, which are not amenable...
  • DynamicPrevariety

  • Referenced in 3 articles [sw19962]
  • compute positive dimensional solution sets of polynomial systems. In particular, pretropisms are candidate leading exponents ... solver. We present a parallel implementation of dynamic enumeration. Our first distributed memory implementation with...
  • MIXMAX

  • Referenced in 4 articles [sw29765]
  • well-known conditions, these discrete-time dynamical systems have the highly desirable K-mixing properties ... operations. Second, to recursively compute its characteristic polynomial with (O(N^2)) operations, and third...
  • ProbRel

  • Referenced in 2 articles [sw10154]
  • analyze random phenomena in nonlinear dynamic systems. The present paper describes some schemes of such ... expect an application of a computer algebra system (CAS) Mathematica v. 4.1, which ... Further, a problem concerning the seach of polynomial stochastic potentials is considered. Necessary conditions...
  • Spinach

  • Referenced in 0 articles [sw07040]
  • library for simulation of spin dynamics in large spin systems. We introduce a software library ... into efficient simulation algorithms for large spin systems. Liouville space simulations (including symmetry, relaxation ... liquid-state NMR experiments on 40+ spin systems can now be performed without effort ... fast (polynomially scaling) open-source Liouville space spin dynamics simulation library...
  • DSR Open Lab

  • Referenced in 1 article [sw28467]
  • this mathsoft “DSR Open Lab 1.0” (Dynamical Systems Research Open Laboratory). In this paper ... following mathematical structures: (1) systems of numbers, (2) algebraic systems (polynomials and groups...
  • HLL-2D

  • Referenced in 1 article [sw07510]
  • Riemann solver for Euler equations of gas dynamics This article presents a numerical model that ... MUSCL procedure, we develop a polynomial reconstruction that uses all the surrounding numerical data ... third-order accuracy. The resulting over determined system is solved by using a least-square...