Joachim Haase, André Lange. Hybrid dynamical systems for memristor modelling an approach avoiding the terminal-state problem. In Proceedings of the 2013 Forum on specification and Design Languages, FDL 2013, Paris, France, September 24-26, 2013. pages 1-6, IEEE, 2013. [doi]
Abstract is missing.