{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:22:06Z","timestamp":1766049726502},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,5,25]]},"DOI":"10.23919\/acc50511.2021.9482651","type":"proceedings-article","created":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T20:29:16Z","timestamp":1627504156000},"page":"4873-4878","source":"Crossref","is-referenced-by-count":8,"title":["Control Synthesis using Signal Temporal Logic Specifications with Integral and Derivative Predicates"],"prefix":"10.23919","author":[{"given":"Ali Tevfik","family":"Buyukkocak","sequence":"first","affiliation":[]},{"given":"Derya","family":"Aksaray","sequence":"additional","affiliation":[]},{"given":"Yasin","family":"Yazicioglu","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_16"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2016.2611536"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2014.01.012"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814487"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2018.12.022"},{"key":"ref17","first-page":"231","article-title":"On-line monitoring for temporal logic robustness","author":"dokhanchi","year":"0","journal-title":"International Conference on Runtime Verification"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_9"},{"journal-title":"Gurobi optimizer ref manual","year":"2019","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"ref3","first-page":"92","article-title":"Robust satisfaction of temporal logic over real-valued signals","author":"donz\u00e9","year":"0","journal-title":"Int Conf on Formal Modeling and Anal of Timed Syst"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-21668-3_21"},{"key":"ref7","first-page":"1123","article-title":"Distributed Planning of Multi-Agent Systems with Coupled Temporal Logic Specifications","author":"buyukkocak","year":"0","journal-title":"AIAA SciTech"},{"key":"ref2","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"0","journal-title":"Proc Formal Techn Modelling and Anal of Timed and Fault-Tolerant Syst"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883839"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref22","article-title":"Decentralized safe reactive planning under TWTL specifications","author":"peterson","year":"0","journal-title":"IEEE\/RSJ International Conf on Intelligent Robots and Systems"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2019.12.156"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3057049"}],"event":{"name":"2021 American Control Conference (ACC)","start":{"date-parts":[[2021,5,25]]},"location":"New Orleans, LA, USA","end":{"date-parts":[[2021,5,28]]}},"container-title":["2021 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9482409\/9482614\/09482651.pdf?arnumber=9482651","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,6]],"date-time":"2021-10-06T10:50:16Z","timestamp":1633517416000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9482651\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,5,25]]},"references-count":23,"URL":"https:\/\/doi.org\/10.23919\/acc50511.2021.9482651","relation":{},"subject":[],"published":{"date-parts":[[2021,5,25]]}}}