{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:27:24Z","timestamp":1740101244829,"version":"3.37.3"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,12,6]],"date-time":"2022-12-06T00:00:00Z","timestamp":1670284800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,12,6]]},"DOI":"10.1109\/cdc51059.2022.9993114","type":"proceedings-article","created":{"date-parts":[[2023,1,10]],"date-time":"2023-01-10T19:26:56Z","timestamp":1673378816000},"page":"1553-1559","source":"Crossref","is-referenced-by-count":9,"title":["Online Monitoring of Dynamic Systems for Signal Temporal Logic Specifications with Model Information"],"prefix":"10.1109","author":[{"given":"Xinyi","family":"Yu","sequence":"first","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weijie","family":"Dong","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Yin","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoyuan","family":"Li","sequence":"additional","affiliation":[{"name":"Shanghai Jiao Tong University,Key Laboratory of System Control and Information Processing,Department of Automation,Shanghai,China,200240"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029716"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/9.272351"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2005.04.015"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_19"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_3"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2020.3001875"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2022.3155197"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_15"},{"key":"ref13","article-title":"Robust constraint satisfaction: Invariant sets and predictive control","volume-title":"PhD thesis","author":"Kerrigan","year":"2001"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.12.022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3069943"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/3365365.3382197"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.7.87-99"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.23919\/ACC45564.2020.9147917"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2021.109781"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2004.01.029"}],"event":{"name":"2022 IEEE 61st Conference on Decision and Control (CDC)","start":{"date-parts":[[2022,12,6]]},"location":"Cancun, Mexico","end":{"date-parts":[[2022,12,9]]}},"container-title":["2022 IEEE 61st Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9992315\/9992317\/09993114.pdf?arnumber=9993114","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,1]],"date-time":"2024-02-01T11:53:14Z","timestamp":1706788394000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9993114\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,12,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/cdc51059.2022.9993114","relation":{},"subject":[],"published":{"date-parts":[[2022,12,6]]}}}