CIRCUIT |

A two-dimensional and nonlinear example
about a tunnel-diode oscillator circuit [4].
It models the voltage drop *V* and the current *I*.

The original problem was to prove that all trajectories eventually reach a certain set and stay
there. We transformed it to a reachability problem, using the state space *[-0.1,0.6]×[-0.002,0.002]* and the unsafety constraint *V<-0.04\/V>0.54\/I<-0.0015\/I>0.00175*.

CIRCUIT |