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

authored by

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

Organisation(s)

Mixed-Signal Circuits Section

Type

Paper

Pages

725-730

Publication date

2015

Publication status

Published

Peer reviewed

Yes

Electronic version(s)

https://doi.org/10.1109/ASPDAC.2015.7059096 (Access: Unknown)