core C++ library
-
Updated
Jul 19, 2024 - C++
core C++ library
A multi-body simulation software
Codac is a library for constraint programming over reals, trajectories and sets.
A collection of library modules to facilitate the creation of full control loop algorithms, including state representation, motion planning, kinematics, dynamics and control.
Python bindings to pressio
Implementation of controls as part of Control Theory course at IIT Kharagpur
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…
Tutorials for the C++ pressio library
Collection of dynamical systems
A C++ library supporting the implementation of various ADP algorithms
Codebase for generating visuals with dynamical systems over cyclic rings.
Solve systems of ODEs and plot phase planes in up to 3 dimensions
Generalization of the famous SIR epidemiological model considering also virus variants and reinfections. Scale-free network via Barabási–Albert model.
P4 (Polynomial Planar Phase Portraits) software for phase portrait computation and representation in the plane or other projections such as the Poincaré Sphere.
a program for drawing tileable images consisting of lines and dots
C++ implementation of Nova
C++ version of Kalker's FastSim algorithm, essential for railway dynamics simulations || GTest included according to the author's original data provided.
C++ libarary for executing JT-DS
Code to reproduce main results in the manuscript "Weak-winner phase synchronization: A curious case of weak interactions"
Add a description, image, and links to the dynamical-systems topic page so that developers can more easily learn about it.
To associate your repository with the dynamical-systems topic, visit your repo's landing page and select "manage topics."