{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T14:34:27Z","timestamp":1773498867395,"version":"3.50.1"},"reference-count":59,"publisher":"Informa UK Limited","issue":"11","funder":[{"DOI":"10.13039\/501100001665","name":"French National Research Agency","doi-asserted-by":"publisher","award":["ANR-16-CE33-0024"],"award-info":[{"award-number":["ANR-16-CE33-0024"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["International Journal of Control"],"published-print":{"date-parts":[[2020,11,1]]},"DOI":"10.1080\/00207179.2019.1643910","type":"journal-article","created":{"date-parts":[[2019,7,15]],"date-time":"2019-07-15T01:38:20Z","timestamp":1563154700000},"page":"2528-2540","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":3,"title":["Bracketing backward reach sets of a dynamical system"],"prefix":"10.1080","volume":"93","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-7165-4499","authenticated-orcid":false,"given":"Thomas","family":"Le M\u00e9zo","sequence":"first","affiliation":[{"name":"ENSTA-Bretagne, LabSTICC UMR CNR 6285, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0938-0615","authenticated-orcid":false,"given":"Luc","family":"Jaulin","sequence":"additional","affiliation":[{"name":"ENSTA-Bretagne, LabSTICC UMR CNR 6285, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0148-1374","authenticated-orcid":false,"given":"Beno\u00eet","family":"Zerr","sequence":"additional","affiliation":[{"name":"ENSTA-Bretagne, LabSTICC UMR CNR 6285, Brest, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2019,7,24]]},"reference":[{"key":"CIT0001","doi-asserted-by":"crossref","unstructured":"Araya, I., Trombettoni, G. & Neveu, B. (2012). A contractor based on convex interval Taylor. Proceedings of CPAIOR (pp. 1\u201316), LNCS 7298. Berlin: Springer.","DOI":"10.1007\/978-3-642-29828-8_1"},{"key":"CIT0002","doi-asserted-by":"crossref","unstructured":"Asarin, E., Dang, T. & Girard, A. (2003). Reachability analysis of nonlinear systems using conservative approximation. Hybrid systems: Computation and control (pp. 20\u201335). Berlin: Springer.","DOI":"10.1007\/3-540-36580-X_5"},{"key":"CIT0003","doi-asserted-by":"publisher","DOI":"10.1007\/s00236-006-0035-7"},{"key":"CIT0004","doi-asserted-by":"publisher","DOI":"10.1137\/S036301290036968X"},{"key":"CIT0005","volume-title":"Set-valued analysis","author":"Aubin J.","year":"1990"},{"key":"CIT0006","doi-asserted-by":"crossref","unstructured":"Bacha, A., Jerbi, H. & Braiek, N. (2008). On the estimation of asymptotic stability region of nonlinear polynomial systems: Geometrical approaches. In H. Aschemann (Ed.), New approaches in automation and robotics (pp. 55\u201372). Vienna: I-Tech Education and Publishing.","DOI":"10.5772\/5388"},{"key":"CIT0007","doi-asserted-by":"publisher","DOI":"10.1080\/00207170110110568"},{"key":"CIT0008","doi-asserted-by":"publisher","DOI":"10.2514\/1.21562"},{"key":"CIT0009","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01580"},{"key":"CIT0010","volume-title":"Set-theoretic methods in control","author":"Blanchini F.","year":"2007"},{"key":"CIT0011","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039472"},{"key":"CIT0012","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.03.002"},{"key":"CIT0013","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.033"},{"key":"CIT0014","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583327"},{"key":"CIT0015","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"CIT0016","unstructured":"Delanoue, N., Jaulin, L. & Cottenceau, B. (2006). Attraction domain of a nonlinear system using interval analysis. Twelfth international conference on principles and practice of constraint programming (IntCP 2006), France, Nantes."},{"key":"CIT0017","doi-asserted-by":"publisher","DOI":"10.2514\/6.2012-4526"},{"key":"CIT0018","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2016.06.005"},{"key":"CIT0019","doi-asserted-by":"crossref","unstructured":"Doyen, L., Henzinger, T. & Raskin, J. (2005). Automatic rectangular refinement of affine hybrid systems. Proceedings of the third international conference on formal modeling and analysis of timed systems (pp. 144\u2013161). Berlin: Springer.","DOI":"10.1007\/11603009_13"},{"key":"CIT0020","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2013.2262776"},{"key":"CIT0021","doi-asserted-by":"publisher","DOI":"10.2307\/2372560"},{"key":"CIT0022","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.07.001"},{"key":"CIT0023","doi-asserted-by":"crossref","unstructured":"Gao, Y., Lygeros, J. & Quincampoix, M. (2006). The reachability problem for uncertain hybrid systems revisited: A viability theory perspective. In J. Hespanha & A. Tiwari (Eds.), Hybrid systems: Computation and control (pp. 242\u2013256). Berlin: Springer-Verlag.","DOI":"10.1007\/11730637_20"},{"key":"CIT0024","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)36428-5"},{"key":"CIT0025","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2012.666855"},{"key":"CIT0026","doi-asserted-by":"crossref","unstructured":"Goubault, E. & Putot, S. (2006). Static analysis of numerical algorithms. Proceedings of SAS 06 (pp. 18\u201334), LNCS 4134. Berlin: Springer-Verlag.","DOI":"10.1007\/11823230_3"},{"key":"CIT0027","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2013.6696536"},{"key":"CIT0028","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008678014487"},{"key":"CIT0029","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2283095"},{"key":"CIT0030","doi-asserted-by":"publisher","DOI":"10.1080\/10556780802699201"},{"key":"CIT0031","volume-title":"Applied interval analysis, with examples in parameter and state estimation, robust control and robotics","author":"Jaulin L.","year":"2001"},{"key":"CIT0032","doi-asserted-by":"crossref","unstructured":"Kaynama, S., Maidens, J., Oishi, M., Mitchell, I. & Dumont, G. (2012). Computing the viability kernel using maximal reachable sets. Proceedings of the 15th ACM international conference on hybrid systems: Computation and control (pp. 55\u201364), HSCC '12. New York, NY: ACM.","DOI":"10.1145\/2185632.2185644"},{"key":"CIT0033","volume-title":"Nonlinear systems","author":"Khalil H.","year":"2002","edition":"3"},{"key":"CIT0034","doi-asserted-by":"publisher","DOI":"10.1109\/CPSNA.2013.6614258"},{"key":"CIT0035","volume-title":"Fluid mechanics, course of theoretical physics","author":"Landau L.","year":"1987"},{"key":"CIT0036","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2011.11.004"},{"key":"CIT0037","doi-asserted-by":"publisher","DOI":"10.1016\/j.amc.2017.07.036"},{"issue":"99","key":"CIT0038","first-page":"1","author":"Le M\u00e9zo T.","year":"2018","journal-title":"IEEE Transactions on Automatic Control"},{"key":"CIT0039","doi-asserted-by":"publisher","DOI":"10.1002\/acs.1195"},{"key":"CIT0040","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"CIT0041","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2011.10.010"},{"key":"CIT0042","doi-asserted-by":"crossref","unstructured":"Mitchell, I. (2007). Comparing forward and backward reachability as tools for safety analysis. In A. Bemporad, A. Bicchi, & G. Buttazzo (Eds.), Hybrid systems: Computation and control (pp. 428\u2013443). Berlin: Springer-Verlag.","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"CIT0043","doi-asserted-by":"crossref","unstructured":"Mitchell, I., Bayen, A. & Tomlin, C. (2001). Validating a Hamilton\u2013Jacobi approximation to hybrid system reachable sets. In M. D. D. Benedetto & A. Sangiovanni-Vincentelli (Eds.), Hybrid systems: Computation and control (pp. 418\u2013432), number 2034 in lecture notes in computer science. Berlin: Springer.","DOI":"10.1007\/3-540-45351-2_34"},{"key":"CIT0044","first-page":"139","volume":"22","author":"Monnet D.","year":"2016","journal-title":"Reliable Computing"},{"issue":"2","key":"CIT0045","volume":"9","author":"Parrilo P.","year":"2003","journal-title":"European Journal of Control"},{"key":"CIT0046","doi-asserted-by":"crossref","unstructured":"Podelski, A. & Wagner, S. (2006). Model checking of hybrid systems: From reachability towards stability. In J. Hespanha & A. Tiwari (Eds.), Hybrid systems: Computation and control (pp. 507\u2013521). Berlin: Springer-Verlag.","DOI":"10.1007\/11730637_38"},{"key":"CIT0047","doi-asserted-by":"publisher","DOI":"10.1137\/0330020"},{"key":"CIT0048","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014785518570"},{"key":"CIT0049","doi-asserted-by":"publisher","DOI":"10.1137\/090749955"},{"key":"CIT0050","doi-asserted-by":"publisher","DOI":"10.1007\/BF01204182"},{"key":"CIT0051","doi-asserted-by":"crossref","unstructured":"Saint-Pierre, P. (2002). Hybrid kernels and capture basins for impulse constrained systems. In C. Tomlin & M. Greenstreet (Eds.), In hybrid systems: Computation and control (Vol. 2289, pp. 378\u2013392). Berlin: Springer-Verlag.","DOI":"10.1007\/3-540-45873-5_30"},{"key":"CIT0052","first-page":"57","volume":"22","author":"Sandretto J.","year":"2016","journal-title":"Reliable Computing"},{"key":"CIT0053","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008786811464"},{"key":"CIT0054","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cta.2013.0275"},{"key":"CIT0055","volume-title":"Calculus on manifolds: A modern approach to classical theorems of advanced calculus","author":"Spivak M.","year":"1965"},{"key":"CIT0056","doi-asserted-by":"crossref","unstructured":"Taha, W. & Duracz, A. (2015). Acumen: An open-source testbed for cyber-physical systems research. CYCLONE'15.","DOI":"10.1007\/978-3-319-47063-4_11"},{"key":"CIT0057","doi-asserted-by":"publisher","DOI":"10.1525\/9780520348097"},{"key":"CIT0058","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2011.07.007"},{"key":"CIT0059","first-page":"9","volume":"20","author":"Wilczak D.","year":"2011","journal-title":"Schedae Informaticae"}],"container-title":["International Journal of Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/00207179.2019.1643910","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,23]],"date-time":"2021-05-23T08:49:10Z","timestamp":1621759750000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.tandfonline.com\/doi\/full\/10.1080\/00207179.2019.1643910"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7,24]]},"references-count":59,"journal-issue":{"issue":"11","published-print":{"date-parts":[[2020,11,1]]}},"alternative-id":["10.1080\/00207179.2019.1643910"],"URL":"https:\/\/doi.org\/10.1080\/00207179.2019.1643910","relation":{},"ISSN":["0020-7179","1366-5820"],"issn-type":[{"value":"0020-7179","type":"print"},{"value":"1366-5820","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,7,24]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcon20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=tcon20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"},{"value":"2018-06-26","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-09","order":2,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2019-07-24","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}