Examples for the paper "Simulation Guided Contraction Analysis"

The m.file contains the dynamics and the contraction metrics which are constructed for the paper "Simulation Guided Contraction Analysis".