
SMRSOFT
 Referenced in 34 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 semimixed 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 160 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 longstudied 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 42 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 selfdual cones ... identification of linear and nonlinear dynamical systems...

Flow*
 Referenced in 20 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...

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

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]
 quasipolynomial symmetries, invariants and invariant tensor fields for dynamical systems. A brief survey...

PoCET
 Referenced in 1 article
[sw33956]
 generation of polynomial chaos expansion (PCE) for linear and nonlinear dynamic systems with timeinvariant ... paper we show how to perform a polynomial chaos expansion on a simple ordinary differential...

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 modelorder 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 nonpolynomial 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]
 wellknown conditions, these discretetime dynamical systems have the highly desirable Kmixing 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 ... liquidstate NMR experiments on 40+ spin systems can now be performed without effort ... fast (polynomially scaling) opensource 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...

HLL2D
 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 ... thirdorder accuracy. The resulting over determined system is solved by using a leastsquare...