Examples

We provide some examples to help you to understand the usage of the framework

examples of simple over-approximation

• simple over approximation reach-ability analysis of Helicopter Controller

examples of under-approximation backward using polytope

• under approximation backward reach-ability analysis of Spiking Neuron Model using interval hull
• under approximation backward reach-ability analysis of example 3 using interval hull
• under approximation backward reach-ability analysis of example 5 using interval hull