
Lyapunov
 Referenced in 5 articles
[sw09343]
 conditions for the existence of a Lyapunov function in a general class of nonlinear ... MAPLE programming system in the package Lyapunov...

LySHA
 Referenced in 3 articles
[sw20150]
 Automata (LHA). The algorithm combines (a) Lyapunov functionbased relational abstractions for the continuous dynamics ... symmetric with respect to the chosen Lyapunov functions. The algorithm is implemented in a prototype...

Lyap
 Referenced in 5 articles
[sw00531]
 problem: The program calculates all the Lyapunov exponents of a dynamical system when ... series is approximated by an analytical function. The Lyapunov exponents are computed from this analytical...

BFComp
 Referenced in 3 articles
[sw18654]
 dynamical systems. BFs are Lyapunovlike functions that decay along the trajectories of a given...

FUNFITS
 Referenced in 25 articles
[sw02191]
 LENNS package (âLyapunov Exponents for Noisy Nonlinear Systemsâ) was originally standalone f77, but then ... version of Splus. Most of its functionality has been incorporated into the fields package ... rest  neural networks, global and local Lyapunov exponents  is here. Lenns.zip: LENNS and nnreg...

Chaos
 Referenced in 4 articles
[sw01127]
 using phasespace maps, autocorrelation functions, power spectra, Lyapunov exponents and KolmogorovâSinai entropy. Various...

dlyap
 Referenced in 3 articles
[sw26171]
 Matlab library function dlyap: Solve discretetime Lyapunov equations...

DPPN
 Referenced in 6 articles
[sw03466]
 nets. We prove that the concept of Lyapunov equilibrium coincides in this case with ... deďŹnition of the Lypunovlike function. To the best of our knowledge the approach...

MESS
 Referenced in 6 articles
[sw14886]
 solvers for differential Riccati equations extend the functionality and many enhancements upgrade the efficiency ... computed. Amongst other things, it can solve Lyapunov and Riccati equations, and do model reduction...

VIALS
 Referenced in 4 articles
[sw09561]
 total variation (TV) of the level set function. The proposed method can be easily incorporated ... computation of the finite time Lyapunov exponent (FTLE) in the Lagrangian coherent structure (LCS) extraction...

FLRBFNAMF
 Referenced in 1 article
[sw08675]
 optimised for the functional link radial basis function network. Furthermore, the adaptive learning algorithms ... FLRBFNAMF online are derived using the Lyapunov stability theorem. Finally, some experimental results...

nonlinearTseries
 Referenced in 1 article
[sw29817]
 package nonlinearTseries: Nonlinear Time Series Analysis. Functions for nonlinear time series analysis. This package permits ... including generalized correlation dimension, information dimension, largest Lyapunov exponent, sample entropy and Recurrence Quantification Analysis...

BAL
 Referenced in 1 article
[sw17648]
 dynamical systems. This paper describes the functionality and usage of bal, a C/C++ library with ... discussed, concerning twodimensional bifurcation diagrams, Lyapunov exponents and finitetime Lyapunov exponents, basins...

BEMLIB
 Referenced in 90 articles
[sw00005]
 BEMLIB is a boundaryelement software library of...

ADOLC
 Referenced in 212 articles
[sw00019]
 ADOLC: Automatic Differentiation of C/C++. We present...

ATLAS
 Referenced in 193 articles
[sw00056]
 This paper describes the Automatically Tuned Linear Algebra...

cdd
 Referenced in 103 articles
[sw00114]
 The program cdd+ (cdd, respectively) is a C...

Coq
 Referenced in 1689 articles
[sw00161]
 Coq is a formal proof management system. It...

CSDP
 Referenced in 187 articles
[sw00169]
 CSDP, A C Library for Semidefinite Programming. This...

CXSC
 Referenced in 104 articles
[sw00181]
 CXSC. A programming environment for verified scientific...