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

Publikation: Konferenzbeitrag › Paper › Forschung › Peer-Review

Autoren

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

Organisationseinheiten

Forschungs-netzwerk anzeigen

Details

Originalspracheundefiniert/unbekannt
Seiten725-730
PublikationsstatusVeröffentlicht - 2015

Zitieren

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.

Publikation: Konferenzbeitrag › Paper › Forschung › 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 -