• LySHA

  • Referenced in 4 articles [sw20150]
  • Automata (LHA). The algorithm combines (a) Lyapunov function-based relational abstractions for the continuous dynamics ... symmetric with respect to the chosen Lyapunov functions. The algorithm is implemented in a prototype...
  • Lyapunov

  • Referenced in 5 articles [sw09343]
  • conditions for the existence of a Lyapunov function in a general class of non-linear ... MAPLE programming system in the package Lyapunov...
  • Lyap

  • Referenced in 6 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...
  • LyapunovFunDR

  • Referenced in 2 articles [sw34755]
  • Accompanying code for the paper ”A Lyapunov Function Construction for a Non-convex Douglas–Rachford ... handful of other special cases. Lyapunov functions for difference inclusions provide not only global ... disturbances. In this work, a global Lyapunov function is constructed by combining known local Lyapunov ... through the combination of local, simple Lyapunov functions...
  • FUNFITS

  • Referenced in 26 articles [sw02191]
  • LENNS package (’Lyapunov Exponents for Noisy Nonlinear Systems’) was originally standalone f77, but then ... version of S-plus. 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...
  • BFComp

  • Referenced in 3 articles [sw18654]
  • dynamical systems. BFs are Lyapunov-like functions that decay along the trajectories of a given...
  • Chaos

  • Referenced in 4 articles [sw01127]
  • using phase-space maps, autocorrelation functions, power spectra, Lyapunov exponents and Kolmogorov–Sinai entropy. Various...
  • MESS

  • Referenced in 30 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...
  • IQC-Game

  • Referenced in 1 article [sw39462]
  • worst-case convergence rate with quadratic Lyapunov functions. Finally, we further extend our analysis...
  • dlyap

  • Referenced in 3 articles [sw26171]
  • Matlab library function dlyap: Solve discrete-time Lyapunov equations...
  • LYAPROSEN

  • Referenced in 1 article [sw40470]
  • LYAPROSEN: MATLAB function to calculate Lyapunov exponent. This code uses Rosenstein et al. method with ... selection of tau methods of autocorrelation function and minimum mutual information is used ... practical method for calculating largest Lyapunov exponents from small data sets. Physica D. -Hai-Feng...
  • Lyapunov Exponents for ODE

  • Referenced in 4 articles [sw32167]
  • Swinney, and J. A. Vastano, ”Determining Lyapunov Exponents from a Time Series,” Physica ... used any MATLAB ODE-suite methods. This function is a part of MATDS program - toolbox...
  • DPPN

  • Referenced in 6 articles [sw03466]
  • nets. We prove that the concept of Lyapunov equilibrium coincides in this case with ... denition of the Lypunov-like function. To the best of our knowledge the approach...
  • nonlinearTseries

  • Referenced in 4 articles [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...
  • VIALS

  • Referenced in 5 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...
  • FLRBFN-AMF

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

  • Referenced in 1 article [sw17648]
  • dynamical systems. This paper describes the functionality and usage of bal, a C/C++ library with ... discussed, concerning two-dimensional bifurcation diagrams, Lyapunov exponents and finite-time Lyapunov exponents, basins...
  • MPGOS

  • Referenced in 2 articles [sw37677]
  • instance, during the calculation of the Lyapunov exponent, winding number or maximum response diagram ... easily via the addition of user-defined functions that must be implemented similarly...
  • BEMLIB

  • Referenced in 108 articles [sw00005]
  • BEMLIB is a boundary-element software library of...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...