This is the project repository for the linerarization project using Carleman linearization.
The project has the following dependencies which need to be available:
- HyPro, a library for state set representations and linear hybrid systems reachability analysis.
There are additional dependencies, which will be downloaded and built via the build system, e.g., mc++.
- Clone the repository, e.g.,
git clone [email protected]:modass/linearization.git - Make sure you have all dependencies available
- Create a build folder (or let your IDE do it for you)
- cd to your build folder and run cmake (
cmake ..) - You now should be able to build the targets configured in this project, e.g.,
make tool(for the tool) ormake linearization(for the library)
The whole process can be run with the following script:
git clone [email protected]:modass/linearization.git &&\
cd linearization && mkdir build && cd build &&\
cmake .. && make tool