Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.

Hyun-Sek Lukas Lee, Matthias Althoff, Stefan Hoelldampf, Markus Olbrich, Erich Barke

Browse the full ASPDAC paper archive.