GitHub repository: modass/linearization
Primary language: C++
Description: Linearization of non-linear dynamic systems for reachability analysis