Temporal Empirical Dynamic Modeling
A multi-body simulation software
Codac (Catalog Of Domains And Contractors) is a C++/Python/Matlab library providing tools for interval computations and constraint programming over real numbers, trajectories and sets. It has numerous applications in parameter estimation, guaranteed integration, robot localization, and provides reliable outputs.
linear and non-linear solvers, time integration, roms
A collection of library modules to facilitate the creation of full control loop algorithms, including state representation, motion planning, kinematics, dynamics and control.
Pattern Causality Analysis
OmegaThreads constructs automatically correct-bu-construction controllers for dynamical systems to satisfy Omega-regular specifications given as discrete parity automata (DPA) or linear temporal logic (LTL) formulae. It constructs a symbolic model of the system and combine it with the specification into a parity game. Winning the parity game res…
Python bindings to pressio
Implementation of controls as part of Control Theory course at IIT Kharagpur
Tutorials for the C++ pressio library
P4 (Polynomial Planar Phase Portraits) software for phase portrait computation and representation in the plane or other projections such as the Poincaré Sphere.
A GPU-accelerated physics simulation engine for defining and integrating mathematical dynamical systems (including complex-valued expressions) in Python, with real-time and headless execution.
Collection of dynamical systems
A C++ library supporting the implementation of various ADP algorithms
C++ Kalker's FastSim algorithm (GTest included against author's paper data & Contact software results) || C++ port of Giossi's Python library (Normal Contact Problem computed by Equivalent Elastic Method) || Kalker's Book of Tables (TABCON), including a C++ 4D multi-dimensional table interpolator (USETAB).
Generalization of the famous SIR epidemiological model considering also virus variants and reinfections. Scale-free network via Barabási–Albert model.
Codebase for generating visuals with dynamical systems over cyclic rings.
Interactive CLI toolset for the analysis of periodic windows in the Rössler system using Interval Newton's method and Lyapunov exponents.
Solve systems of ODEs and plot phase planes in up to 3 dimensions
To associate your repository with the dynamical-systems topic, visit your repo's landing page and select "manage topics."
