Codac is a library for constraint programming over reals, trajectories and sets.
-
Updated
Apr 26, 2024 - C++
Codac is a library for constraint programming over reals, trajectories and sets.
A multi-body simulation software
core C++ library
A collection of library modules to facilitate the creation of full control loop algorithms, including state representation, motion planning, kinematics, dynamics and control.
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…
A C++ library supporting the implementation of various ADP algorithms
Catkin package implementing DS based conatct controller which was proposed in
Tutorials for the C++ pressio library
Invariant is a guaranteed library to compute invariants associated to dynamical systems
P4 (Polynomial Planar Phase Portraits) software for phase portrait computation and representation in the plane or other projections such as the Poincaré Sphere.
Henon-Heiles escape basin calculator with compute shader.
Generalization of the famous SIR epidemiological model considering also virus variants and reinfections. Scale-free network via Barabási–Albert model.
WP4: P4 web version. Study and visualize planar polynomial systems online with this interactive web application. Computations are performed by the server, but the client needs JavaScript in order to interact with the application and visualize the results. Both sides are programmed in C++ using Wt.
Implementation of controls as part of Control Theory course at IIT Kharagpur
CharVariety is a complementary library to this paper: "Stationary measures and orbit closures of uniformly expanding random dynamical systems on surfaces" by Ping Ngai (Brian) Chung
Python bindings to pressio
Application/Library for modelling dynamic systems (meant to be a successor of both modelflat/coursework and modelflat/dynsys)
This is the C++ code that I wrote in undergraduate Computational Physics - Fall 2015
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."