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

verfasst von

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

Organisationseinheit(en)

Fachgebiet Mixed-Signal-Schaltungen

Typ

Paper

Seiten

725-730

Publikationsdatum

2015

Publikationsstatus

Veröffentlicht

Peer-reviewed

Ja

Elektronische Version(en)

https://doi.org/10.1109/ASPDAC.2015.7059096 (Zugang: Unbekannt)