{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,22]],"date-time":"2026-01-22T06:48:05Z","timestamp":1769064485449,"version":"3.49.0"},"reference-count":64,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"publisher","award":["P2EZP2_168812"],"award-info":[{"award-number":["P2EZP2_168812"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/tac.2018.2798800","type":"journal-article","created":{"date-parts":[[2018,1,26]],"date-time":"2018-01-26T19:14:27Z","timestamp":1516994067000},"page":"3719-3734","source":"Crossref","is-referenced-by-count":17,"title":["Computing the Projected Reachable Set of Stochastic Biochemical Reaction Networks Modeled by Switched Affine Systems"],"prefix":"10.1109","volume":"63","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0650-4392","authenticated-orcid":false,"given":"Francesca","family":"Parise","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7595-3688","authenticated-orcid":false,"given":"Maria Elena","family":"Valcher","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6159-1962","authenticated-orcid":false,"given":"John","family":"Lygeros","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1007\/3-540-64358-3_34","article-title":"Reachability analysis via face lifting","author":"dang","year":"1998","journal-title":"Hybrid Systems Computation and Control"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_76"},{"key":"ref33","volume":"89","author":"lotov","year":"2013","journal-title":"Interactive Decision Maps Approximation and Visualization of Pareto Frontier"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7799418"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_15"},{"key":"ref37","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/978-3-642-22110-1_30","article-title":"Spaceex: Scalable verification of hybrid\n systems","author":"frehse","year":"2011","journal-title":"Proc Int Conf Comput -Aided Verification"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08867-9_27"},{"key":"ref35","first-page":"540","article-title":"Reachability analysis of hybrid systems using support functions","author":"le guernic","year":"2009","journal-title":"Proc 21st Int Conf Comput -Aided Verification"},{"key":"ref34","first-page":"32","article-title":"Abstraction by projection and application to multi-affine systems","author":"asarin","year":"2004","journal-title":"Proc 7th Int Workshop Hybrid Syst Comput Control"},{"key":"ref60","article-title":"Gurobi optimizer reference manual","year":"2016"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1098\/rsif.2013.0588"},{"key":"ref61","first-page":"120","article-title":"An introduction to CORA 2015","author":"althoff","year":"2015","journal-title":"Proc of Applied Verification for Continuous and Hybrid Systems"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.0030057"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.0606717104"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875053"},{"key":"ref29","doi-asserted-by":"crossref","first-page":"8966","DOI":"10.3182\/20080706-5-KR-1001.01514","article-title":"Efficient reachability analysis for linear systems using support functions","volume":"41","author":"girard","year":"2008","journal-title":"IFAC Proc Volumes"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1423947112"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.2018"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1205180"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.871776"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.16.624-641"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798357"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402384"},{"key":"ref26","first-page":"1","article-title":"Lie brackets, real analyticity and geometric control","volume":"27","author":"sussmann","year":"1983","journal-title":"Differential Geometric Control Theory"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.2307\/j.ctvcm4g0s","author":"liberzon","year":"2011","journal-title":"Calculus of Variations and Optimal Control Theory A Concise Introduction"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040107"},{"key":"ref51","first-page":"410","article-title":"Faster projection based methods for circuit level verification","author":"yan","year":"2008","journal-title":"Proc 2008 Asia South Pac Des Autom Conf"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1371\/journal.pcbi.1003669"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1090\/S0033-569X-2015-01372-7"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.4236\/am.2014.519300"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1063\/1.3103264"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ISCCSP.2008.4537208"},{"key":"ref54","article-title":"Moment-based methods for the analysis and identification of\n stochastic models of biochemical reaction networks","author":"ruess","year":"2014"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1016\/j.physrep.2013.03.004"},{"key":"ref52","doi-asserted-by":"crossref","DOI":"10.1201\/b11812","author":"wilkinson","year":"2011","journal-title":"Stochastic Modeling for Systems Biology"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760398"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1021\/acssynbio.6b00014"},{"key":"ref40","first-page":"482","article-title":"Efficient representation and computation of reachable sets for hybrid systems","author":"stursberg","year":"2003","journal-title":"Proc 6th Int Workshop Hybrid Syst Comput Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1038\/nature09333"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.molcel.2006.11.003"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1038\/nrg1750"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1146\/annurev-biophys-083012-130401"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/BF00940689"},{"key":"ref17","article-title":"Milp software","author":"linderoth","year":"2010","journal-title":"Wiley Encyclopedia of Operations Research and Management Science"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-1-4614-1927-3_1","article-title":"Algorithms and software for convex mixed integer nonlinear programs","volume":"154","author":"bonami","year":"2012","journal-title":"Mixed Integer Nonlinear Programming"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1063\/1.2145882"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1073\/pnas.1206810109"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/nmeth.2884"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2007.08.004"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1265","DOI":"10.1016\/j.automatica.2011.01.073","article-title":"Analysis, design and implementation of a novel scheme for in-vivo control of synthetic gene regulatory\n networks","volume":"47","author":"menolascina","year":"2011","journal-title":"Automatica"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4371(92)90283-V"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/3-540-36481-1_13","article-title":"Symbolic model checking of biochemical networks","author":"chabrier","year":"2003","journal-title":"Computational Methods in Systems Biology"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1098\/rsos.160790"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426720"},{"key":"ref46","first-page":"20","article-title":"Approximate reachability analysis of\n piecewise-linear dynamical systems","author":"asarin","year":"2000","journal-title":"Proc Int Workshop Hybrid Syst Comput Control"},{"key":"ref45","first-page":"76","article-title":"Verification of polyhedral-invariant hybrid automata using polygonal flow pipe approximations","author":"chutinan","year":"1999","journal-title":"Proc 2nd Int Workshop Hybrid Syst Comput Control"},{"key":"ref48","first-page":"257","article-title":"Efficient computation of reachable sets of linear time-invariant systems with inputs","author":"girard","year":"2006","journal-title":"Proc 9th Int Workshop Hybrid Syst Comput Control"},{"key":"ref47","first-page":"291","article-title":"Reachability of uncertain linear systems using zonotopes","volume":"5","author":"girard","year":"2005","journal-title":"Proc Int Conf Hybrid Syst Comput Control"},{"key":"ref42","first-page":"73","article-title":"Verification of hybrid systems with linear differential inclusions using ellipsoidal\n approximations","author":"botchkarev","year":"2000","journal-title":"Proc 3rd Int Workshop Hybrid Syst Comput Control"},{"key":"ref41","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0277-6","author":"kurzhanski","year":"1997","journal-title":"Ellipsoidal Calculus for Estimation and Control"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/10984413_12"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.887900"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/8509208\/08270690.pdf?arnumber=8270690","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T16:59:25Z","timestamp":1643216365000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8270690\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":64,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tac.2018.2798800","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"value":"0018-9286","type":"print"},{"value":"1558-2523","type":"electronic"},{"value":"2334-3303","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,11]]}}}