{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T07:34:17Z","timestamp":1729668857263,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7171125","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T21:26:01Z","timestamp":1438291561000},"page":"2594-2599","source":"Crossref","is-referenced-by-count":5,"title":["Barrier functionals for output functional estimation of PDEs"],"prefix":"10.1109","author":[{"given":"Mohamadreza","family":"Ahmadi","sequence":"first","affiliation":[]},{"given":"Giorgio","family":"Valmorbida","sequence":"additional","affiliation":[]},{"given":"Antonis","family":"Papachristodoulou","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcp.2004.05.001"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-006-0702-z"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2004.10.013"},{"key":"ref13","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/j.automatica.2005.08.007","article-title":"Barrier certificates for nonlinear model validation","volume":"42","author":"prajna","year":"2006","journal-title":"Automatica"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.902736"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2007.899649"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.871776"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040060"},{"key":"ref18","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2015.2479135","article-title":"Stability analysis for a class of partial differential equations via semi-definite programming","author":"valmorbida","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7040061"},{"article-title":"Safety Factor Profile Control in a Tokamak, ser","year":"2014","author":"argomendo","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426638"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142997315172"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1137\/1036141"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S0922-5382(98)80011-1"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.cma.2004.12.031"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/9.668828"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44839-X_109"},{"key":"ref1","article-title":"Applied Analysis of the Navier-Stokes Equations, ser","volume":"12","author":"doering","year":"1995","journal-title":"Cambridge Texts in Applied Mathematics"},{"article-title":"Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization","year":"2000","author":"parrilo","key":"ref20"},{"key":"ref22","article-title":"On convexification of some minimum distance problems","author":"chesi","year":"1999","journal-title":"5th European Control Conference"},{"key":"ref21","first-page":"103","article-title":"Sums of squares of real polyno-mials","volume":"58","author":"choi","year":"1995","journal-title":"Symposia in Pure Mathematics"},{"article-title":"SOSTOOLS: Sum of squares optimization toolbox for MATLAB V3.00","year":"2013","author":"papachristodoulou","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2002.1184414"},{"key":"ref26","article-title":"The Energy Method, Stability, and Nonlinear Convection","volume":"91","author":"straughan","year":"2004","journal-title":"ser Applied Mathematical Sciences"},{"key":"ref25","doi-asserted-by":"crossref","DOI":"10.1080\/10556789908805766","article-title":"Using SeDuMi 1.02, a MATLAB toolbox for optimization over symmetric cones","author":"sturm","year":"1998"}],"event":{"name":"2015 American Control Conference (ACC)","start":{"date-parts":[[2015,7,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07171125.pdf?arnumber=7171125","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T16:44:12Z","timestamp":1498236252000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7171125\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7171125","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}