From Electrical Switched Networks to Hybrid Automata

Alessandro Cimatti, Sergio Mover, Mirko Sessa. From Electrical Switched Networks to Hybrid Automata. In John S. Fitzgerald, Constance L. Heitmeyer, Stefania Gnesi, Anna Philippou, editors, FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Volume 9995 of Lecture Notes in Computer Science, pages 164-181, 2016. [doi]

Abstract

Abstract is missing.