Kaa is a tool for reachability analysis of polynomial dynamical systems using parallelotope bundles. It is a rewrite of the tool Sapo introduced by Dreossi, Dang, Piazza (paper) and formally through Dreossi's paper: Sapo: Reachability Computation and Parameter Synthesis of Polynomial Dynamical Systems Other papers elaborating on the techniques used in Kaa are: Parameter Synthesis using Parallelotopic Enclosure and Applications to Epidemic Models
Kaa relies only on the following python3 packages:
All of which can be installed through pip or through the package's corresponding page on PyPI.
The Juypter notebook named kaa-intro provides basic examples of the usage of kaa. The notebook contains all of the relevant code necessary to begin plotting the reachable sets and phase plots.