Quantum : Qualitative Abstraction of Non-polynomial Models
This page contains the relevant files for the work described in the paper "QUANTUM: Qualitative Abstractions of Non-polynomial Models".
Ideal Pendulum
- Mathematica Notebook for Plots of the Abstractions
- Matlab Source for Nonpolynomial Lyapunov function search with SOSTOOLS.
The abstractor is run through quantum.py. See the readme for more details.