{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:00:52Z","timestamp":1740132052619,"version":"3.37.3"},"reference-count":51,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,9,1]],"date-time":"2022-09-01T00:00:00Z","timestamp":1661990400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000185","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000185","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2022,9]]},"DOI":"10.1109\/tcad.2021.3118963","type":"journal-article","created":{"date-parts":[[2021,10,20]],"date-time":"2021-10-20T18:23:59Z","timestamp":1634754239000},"page":"2970-2983","source":"Crossref","is-referenced-by-count":5,"title":["Fast Design Space Exploration of Nonlinear Systems: Part I"],"prefix":"10.1109","volume":"41","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5535-1284","authenticated-orcid":false,"given":"Sanjai","family":"Narain","sequence":"first","affiliation":[{"name":"Systems and Cyber Security Research Department, Peraton Labs, Basking Ridge, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0117-9239","authenticated-orcid":false,"given":"Emily","family":"Mak","sequence":"additional","affiliation":[{"name":"Systems and Cyber Security Research Department, Peraton Labs, Basking Ridge, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0238-9561","authenticated-orcid":false,"given":"Dana","family":"Chee","sequence":"additional","affiliation":[{"name":"Systems and Cyber Security Research Department, Peraton Labs, Basking Ridge, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7966-2917","authenticated-orcid":false,"given":"Brendan","family":"Englot","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Stevens Institute of Technology, Hoboken, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kishore","family":"Pochiraju","sequence":"additional","affiliation":[{"name":"Department of Mechanical Engineering, Stevens Institute of Technology, Hoboken, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1539-0369","authenticated-orcid":false,"given":"Niraj K.","family":"Jha","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering, Princeton University, Princeton, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karthik","family":"Narayan","sequence":"additional","affiliation":[{"name":"Starfruit-LLC, Weehawken, NJ, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2020\/365"},{"key":"ref38","first-page":"2171","article-title":"Scalable Bayesian optimization using deep neural networks","author":"snoek","year":"2015","journal-title":"Proc Int Conf Mach Learn"},{"journal-title":"An Overview of Artificial Neural Networks for Mathematicians","year":"2021","author":"guilhoto","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s101070100244"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-40065-5_17"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1137\/0314017"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/BF01589116"},{"journal-title":"Scipy optimize","year":"2021","key":"ref36"},{"journal-title":"Scikit-optimize","year":"2021","key":"ref35"},{"key":"ref34","first-page":"184","article-title":"Reachability analysis for neural agent-environment systems","author":"akintunde","year":"2018","journal-title":"Proc Int Conf Principles Knowl Represent Reason"},{"key":"ref28","article-title":"Fast design space exploration of nonlinear systems: Part II","author":"terway","year":"2021","journal-title":"arxiv 2104 02464"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/4235.996017"},{"journal-title":"Xfoil Subsonic Airfoil Development System","year":"2021","key":"ref29"},{"journal-title":"Practical Optimization A Gentle Introduction","year":"2021","author":"chinnek","key":"ref2"},{"journal-title":"Gaussian Processes for Machine Learning","year":"2006","author":"rasmussen","key":"ref1"},{"key":"ref20","first-page":"745","article-title":"Batched large-scale Bayesian optimization in high-dimensional spaces","author":"wang","year":"2018","journal-title":"Proc Int Conf Artif Intell Stat"},{"key":"ref22","first-page":"133","article-title":"Parallelised Bayesian optimisation via Thompson sampling","author":"kandasamy","year":"2018","journal-title":"Proc Int Conf Artif Intell Stat"},{"key":"ref21","article-title":"Parallel Bayesian global optimization of expensive functions","author":"want","year":"2019","journal-title":"arXiv 1602 05149"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2019.106580"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.egypro.2014.11.377"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2012.90"},{"key":"ref25","article-title":"Metamodel-based fast AMS-SoC design methodologies","author":"mohanty","year":"2015","journal-title":"Nanoelectronic Mixed-Signal System Design"},{"key":"ref50","first-page":"338","article-title":"A VHDL-AMS compiler and architecture generator for behavioral synthesis of analog systems","author":"doboli","year":"1999","journal-title":"Proc Design Autom Test Europe Conf Exhibition"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2003.818302"},{"journal-title":"LOQO User's Manual Version 4 05","year":"2021","author":"vanderbei","key":"ref10"},{"journal-title":"Neos server State-of-the-art solvers for numerical optimization","year":"2021","key":"ref11"},{"key":"ref40","first-page":"467","article-title":"Optimization subject to hidden constraints via statistical emulation","volume":"7","author":"lee","year":"2011","journal-title":"Pac J Optim"},{"journal-title":"NEOS guide","year":"2021","key":"ref12"},{"key":"ref13","first-page":"1","article-title":"A view of algorithms for optimization without derivative","volume":"43","author":"powell","year":"2007","journal-title":"Mat Today"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2013.2256436"},{"key":"ref15","first-page":"7587","article-title":"GPyTorch: Blackbox matrix-matrix Gaussian process inference with GPU acceleration","author":"gardner","year":"2018","journal-title":"Proc Adv Neural Inf Process Syst"},{"key":"ref16","first-page":"1","article-title":"A general framework for constrained Bayesian optimization using information-based search","volume":"17","author":"hernandez-lobato","year":"2016","journal-title":"J Mach Learn Res"},{"key":"ref17","first-page":"730","article-title":"Scalable constrained Bayesian optimization","author":"eriksson","year":"2021","journal-title":"Proc Int Conf Artif Intell Stat"},{"key":"ref18","first-page":"1","article-title":"ADMMBO: Bayesian optimization with unknown constraints using ADMM","volume":"20","author":"ariafar","year":"2019","journal-title":"J Mach Learn Res"},{"key":"ref19","article-title":"Bayesian optimization under mixed constraints with a slack-variable augmented Lagrangian","author":"picheny","year":"2016","journal-title":"arXiv 1605 09466"},{"journal-title":"Mathematical Optimization","year":"2014","author":"roberts","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-012-9951-y"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/anac.200410015"},{"journal-title":"Optimizing Expensive Blackbox Simulations","year":"2021","author":"mueller","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"393","DOI":"10.1111\/itor.12292","article-title":"Surrogate-based methods for black-box optimization","volume":"24","author":"ky","year":"2017","journal-title":"Int Trans Oper Res"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1201\/9780367815493"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"journal-title":"Bayesian optimization","year":"2020","author":"ahmed","key":"ref9"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1038\/nature14422"},{"journal-title":"Open AI\/Gym Classic Control Problems","year":"2021","key":"ref45"},{"journal-title":"Nonlinear Minmax Problem in 11 Variables","year":"2021","key":"ref48"},{"journal-title":"OpenDSS Electrical Power System Simulation Tool","year":"2021","key":"ref47"},{"journal-title":"Scikit-Learn","year":"2021","key":"ref42"},{"key":"ref41","article-title":"SCANN: Synthesis of compact and accurate neural networks","author":"hassantabar","year":"2019","journal-title":"arXiv 1904 09090"},{"journal-title":"Optimization with absolute values","year":"2014","author":"granger","key":"ref44"},{"article-title":"Wave glider dynamic modeling, parameter identification and simulation","year":"2012","author":"kraus","key":"ref43"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9863427\/09580747.pdf?arnumber=9580747","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,19]],"date-time":"2022-09-19T19:47:20Z","timestamp":1663616840000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9580747\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,9]]},"references-count":51,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2021.3118963","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2022,9]]}}}