{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:25:19Z","timestamp":1768343119415,"version":"3.49.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,8]],"date-time":"2022-06-08T00:00:00Z","timestamp":1654646400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,6,8]]},"DOI":"10.23919\/acc53348.2022.9867741","type":"proceedings-article","created":{"date-parts":[[2022,9,5]],"date-time":"2022-09-05T20:24:10Z","timestamp":1662409450000},"page":"2970-2975","source":"Crossref","is-referenced-by-count":15,"title":["Interval Observer Synthesis for Locally Lipschitz Nonlinear Dynamical Systems via Mixed-Monotone Decompositions"],"prefix":"10.23919","author":[{"given":"Mohammad","family":"Khajenejad","sequence":"first","affiliation":[{"name":"University of California,Department of Mechanical and Aerospace Engineering,San Diego,CA,USA"}]},{"given":"Fatima","family":"Shoaib","sequence":"additional","affiliation":[{"name":"Arizona State University,School for Engineering of Matter, Transport and Energy,Tempe,AZ,USA"}]},{"given":"Sze","family":"Zheng Yong","sequence":"additional","affiliation":[{"name":"Arizona State University,School for Engineering of Matter, Transport and Energy,Tempe,AZ,USA"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1002\/9781118033029"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2015.0742"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2359714"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3182\/20060705-3-FR-2907.00117"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.07.004"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001085"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2019.2909815"},{"key":"ref17","article-title":"Tight remainder-form decomposition functions with applications to constrained reachability and interval observer design","author":"khajenejad","year":"2021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9655152"},{"key":"ref19","article-title":"Nonlinear systems","author":"khalil","year":"2002","journal-title":"Upper Saddle River"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.05.009"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.10.019"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2009.12.005"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2007.7068490"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483316"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2021.3086061"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.09.016"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC42340.2020.9304090"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2015.07.001"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2009.03.001"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3123245"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(77)90073-8"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2014.6862153"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.23919\/ECC.2013.6669108"}],"event":{"name":"2022 American Control Conference (ACC)","location":"Atlanta, GA, USA","start":{"date-parts":[[2022,6,8]]},"end":{"date-parts":[[2022,6,10]]}},"container-title":["2022 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9866948\/9867142\/09867741.pdf?arnumber=9867741","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T20:24:08Z","timestamp":1665433448000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9867741\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,8]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/acc53348.2022.9867741","relation":{},"subject":[],"published":{"date-parts":[[2022,6,8]]}}}