This repository is based on the work of On abstraction-based controller design with output feedback by Rupak Majumdar, Necmiye Ozay, and Anne-Kathrin Schmuck.
This repository relies on the following external toolboxes/packages:
The examples folders contains >1 example showing how to use the functions in this repository to implement the Knowledge Abstraction and Minimization algorithm. Please see those files to understand how to use this repository at a high level.
Though each function is highly commented, the tests provided in the tests folder should provide good demonstrations of how the many small components in this repository work.