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

Research output: Contribution to conference › Paper › Research › peer review

Authors

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

Research Organisations

View graph of relations

Details

Original languageUndefined/Unknown
Pages725-730
Publication statusPublished - 2015

Cite this

Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits. / Lee, Hyun-Sek Lukas; Althoff, Matthias; Hoelldampf, Stefan et al.
2015. 725-730.

Research output: Contribution to conference › Paper › Research › peer review

Lee HSL, Althoff M, Hoelldampf S, Olbrich M, Barke E. Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.. 2015. doi: 10.1109/ASPDAC.2015.7059096
Lee, Hyun-Sek Lukas ; Althoff, Matthias ; Hoelldampf, Stefan et al. / Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.
Download
@conference{85c121231342474c8afaf0c49956b3c8,
title = "Automated generation of hybrid system models for reachability analysis of nonlinear analog circuits.",
author = "Lee, {Hyun-Sek Lukas} and Matthias Althoff and Stefan Hoelldampf and Markus Olbrich and Erich Barke",
note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",
year = "2015",
doi = "10.1109/ASPDAC.2015.7059096",
language = "Undefined/Unknown",
pages = "725--730",

}

Download

TY - CONF

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

AU - Lee, Hyun-Sek Lukas

AU - Althoff, Matthias

AU - Hoelldampf, Stefan

AU - Olbrich, Markus

AU - Barke, Erich

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2015

Y1 - 2015

UR - https://dblp.org/rec/conf/aspdac/LeeAHOB15

U2 - 10.1109/ASPDAC.2015.7059096

DO - 10.1109/ASPDAC.2015.7059096

M3 - Paper

SP - 725

EP - 730

ER -