Additional models

• Pisarchik, A. N., and R. Jaimes-Reátegui. "Homoclinic orbits in a piecewise linear Rössler-like circuit." Journal of Physics: Conference Series. Vol. 23. No. 1. IOP Publishing, 2005. article

• Frehse, Goran, Bruce H. Krogh, and Rob A. Rutenbar. "Verifying analog oscillator circuits using forward/backward abstraction refinement." Proceedings of the Design Automation & Test in Europe Conference. Vol. 1. IEEE, 2006. pdf

• Cruise control (A method to improve an electric vehicle’s range: Efficient Cruise Control)

• Landing gear