{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T10:08:17Z","timestamp":1740132497864,"version":"3.37.3"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,8,1]],"date-time":"2024-08-01T00:00:00Z","timestamp":1722470400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Contr."],"published-print":{"date-parts":[[2024,8]]},"DOI":"10.1109\/tac.2023.3346793","type":"journal-article","created":{"date-parts":[[2023,12,25]],"date-time":"2023-12-25T20:43:33Z","timestamp":1703537013000},"page":"5294-5309","source":"Crossref","is-referenced-by-count":3,"title":["Data-Driven Models of Monotone Systems"],"prefix":"10.1109","volume":"69","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8257-833X","authenticated-orcid":false,"given":"Anas","family":"Makdesi","sequence":"first","affiliation":[{"name":"Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des signaux et systèmes, Gif-sur-Yvette, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4075-9041","authenticated-orcid":false,"given":"Antoine","family":"Girard","sequence":"additional","affiliation":[{"name":"Université Paris-Saclay, CNRS, CentraleSupélec, Laboratoire des signaux et systèmes, Gif-sur-Yvette, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5562-4078","authenticated-orcid":false,"given":"Laurent","family":"Fribourg","sequence":"additional","affiliation":[{"name":"Université Paris-Saclay, CNRS, ENS Paris-Saclay, Laboratoire Méthodes Formelles, Gif-sur-Yvette, France"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1007\/978-3-319-50763-7"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1017\/9781009089517"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1137\/07069821X"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1002\/rnc.2878"},{"year":"2022","author":"Coppola","article-title":"Data-driven abstractions for verification of deterministic systems","key":"ref5"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/CDC45484.2021.9683316"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/j.automatica.2012.02.037"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/j.automatica.2021.109543"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1109\/TAC.2009.2034922"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1016\/j.automatica.2022.110646"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1146\/annurev-control-090419-075625"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1016\/j.ins.2012.07.014"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1016\/j.automatica.2021.109993"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1007\/978-1-4471-0249-6"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/TAC.2019.2939191"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1016\/j.nahs.2024.101467"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.23919\/ACC50511.2021.9483316"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1109\/LCSYS.2022.3186100"},{"doi-asserted-by":"publisher","key":"ref19","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2"},{"key":"ref20","first-page":"803","article-title":"Data-driven abstraction of monotone systems","volume-title":"Proc. Learn. Dyn. Control","author":"Makdesi","year":"2021"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1016\/j.ifacol.2021.08.473"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1016\/j.ejcon.2023.100849"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1007\/978-3-030-65110-7"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1016\/j.ifacol.2015.11.194"},{"key":"ref25","first-page":"1","article-title":"Fast and flexible monotonic functions with ensembles of lattices","volume-title":"Proc. Adv. Neural Inf. Process. Syst.","volume":"29","author":"Fard","year":"2016"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1109\/TCST.2015.2501351"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/CDC.2000.914238"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1016\/j.arcontrol.2019.03.010"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1016\/j.automatica.2021.109903"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1145\/3178126.3178145"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1109\/TAC.2020.2992446"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1016\/j.automatica.2021.109768"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/978-1-4419-0224-5"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/TAC.2019.2909815"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1109\/TAC.2011.2176409"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1016\/j.ifacol.2019.12.148"}],"container-title":["IEEE Transactions on Automatic Control"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9\/10614334\/10373122.pdf?arnumber=10373122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,30]],"date-time":"2024-07-30T05:05:14Z","timestamp":1722315914000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10373122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,8]]},"references-count":36,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tac.2023.3346793","relation":{},"ISSN":["0018-9286","1558-2523","2334-3303"],"issn-type":[{"type":"print","value":"0018-9286"},{"type":"electronic","value":"1558-2523"},{"type":"electronic","value":"2334-3303"}],"subject":[],"published":{"date-parts":[[2024,8]]}}}