https://github.com/schukark/intervalpylib
Interval solver of systems of equations to find the workspace area of a robot
https://github.com/schukark/intervalpylib
krawczyk matplotlib numpy python3 robotics solving-algorithm sympy systems-of-equations visualization
Last synced: about 1 month ago
JSON representation
Interval solver of systems of equations to find the workspace area of a robot
- Host: GitHub
- URL: https://github.com/schukark/intervalpylib
- Owner: schukark
- License: apache-2.0
- Created: 2024-03-20T13:28:55.000Z (about 2 years ago)
- Default Branch: main
- Last Pushed: 2024-04-23T08:38:56.000Z (about 2 years ago)
- Last Synced: 2025-11-30T22:55:36.135Z (6 months ago)
- Topics: krawczyk, matplotlib, numpy, python3, robotics, solving-algorithm, sympy, systems-of-equations, visualization
- Language: Python
- Homepage:
- Size: 132 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
## Project title
IntervalPyLib implments the necessary functionality to solve the systems of equations describing a robot's workspace area.
## Decription
The robot has a lot of unknown variables, such as velocity, different angles, lengths and more importantly its position.
Based on these variables, a kinematic system of equations is constructed that restricts the robot's workspace area.
This package allows for easy solving and visualization of such equations.
## How to install
This package can be installed using python's `pip`:
```bash
python3 -m pip install intervalpylib
```
## How to use
First of all, import that package:
```bash
import intervalpylib as ival_utils
```
or
```bash
from intervalpylib import
```
Inside the package, there are 3 main classes that provide necessary functionality:
1. SymbolicEquationSolver, provides the functionality for algebraic system manipulations needed for other classes
2. AreaCalculator, contains the functions/methods that allow to visualize the solution, as well as contain the analytically calculated robot areas for some known configurations
3. Solver, an abstract class that sets the interface which custom solvers need to respect
As an example, `KrawczykSolver` is included in the package (it implements the interval Krawczyk operator)
Example usage is included in the `example.py`
## License
[](https://opensource.org/licenses/Apache-2.0)