Search Results for "dynamical system toolbox"

MatCont is a Matlab software project for the numerical continuation and bifurcation study of continuous and discrete parameterized dynamical systems. Leaders of the project are Willy Govaerts (Gent,B) and Yuri A. Kuznetsov (Utrecht,NL) and Hil G.E. Meijer (UT, Enschede, NL). Matcont for ODEs and MatcontM for Maps Publishing a paper using our software? That's great. Please do us a favour and cite: New features of the software MatCont for bifurcation analysis of dynamical systems. A....

Euler is a powerful all-in-one numerical software and includes Maxima for seamless symbolic computations. Euler supports Latex for math display, Povray for photo-realistic 3D scenes, Python, Matplotlib and C for scripting, and contains a full programming language. Features include libraries for numerical algorithms, optimization, plotting in 2D and 3D, graphics export, a complete help system, tutorials and examples. Euler runs in Windows natively, or in Linux via Wine. It is completely...

This toolbox is used to generate finite abstractions of autonomous Max-Plus-Linear (MPL) systems over R^n. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). The LTS finite abstractions are shown to either simulate or to bisimulate the original MPL system. LTS models are to be verified against given specifications expressed as formulae in Linear Temporal Logic (LTL) and Computation Tree Logic (CTL).

This project aims to provide open source software implementing the Wedge algorithm for the estimation of parameters in dynamical systems models. This project also seeks to create tutorials and resources for those using Wedge.

...Nevertheless the toolbox capabilities to simulate numerical solutions of SDE systems are still valid and can serve as a useful starting point to those willing to simulate stochastic dynamical models easily.

A java program for exploring cubic fractals, similar to the Mandelbrot set but exhibiting a higher level of dynamical complexity. CubicBrowser provides the ability to explore the 4D Cubic Locus (and associated Julia sets) by viewing arbitrary 2D slices.