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 |