Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke. Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. In The 20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015, Chiba, Japan, January 19-22, 2015. pages 725-730, IEEE, 2015. [doi]
Abstract is missing.