{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T10:48:41Z","timestamp":1761648521084,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,12]]},"DOI":"10.1109\/ascc.2017.8287292","type":"proceedings-article","created":{"date-parts":[[2018,2,14]],"date-time":"2018-02-14T20:30:38Z","timestamp":1518640238000},"page":"911-916","source":"Crossref","is-referenced-by-count":2,"title":["Extending signal temporal logic specifications for distributed model predictive control"],"prefix":"10.1109","author":[{"given":"Linli","family":"Zhang","sequence":"first","affiliation":[]},{"given":"Dewei","family":"Li","sequence":"additional","affiliation":[]},{"given":"Yugeng","family":"Xi","sequence":"additional","affiliation":[]},{"given":"Jiwei","family":"Li","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysconle.2010.06.005"},{"journal-title":"A Provably Correct MPC Approach to Safety Control of Urban Traffic Networks[J]","year":"2016","author":"sadraddini","key":"ref11"},{"key":"ref12","first-page":"31","author":"ghosh","year":"2016","journal-title":"Diagnosis and Repair for Synthesis from Signal Temporal Logic Specifications[J]"},{"journal-title":"Stochastic Assume-Guarantee Contracts for Cyber-Physical System Design Under Probabilistic Requirements[J]","year":"2017","author":"li","key":"ref13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0005-1098(98)00178-2"},{"journal-title":"Model Predictive Control with Signal Temporal Logic Specifications in CDC","year":"2014","author":"raman","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref5","first-page":"5319","article-title":"Optimization-based control of nonlinear systems with linear temporal logic specifications [C]","author":"wolff","year":"2014","journal-title":"Proc of Int Conf on Robotics and Automation"},{"key":"ref8","article-title":"Distributed Model Predictive Controller Design for Multi-Agent Systems[J]","author":"wang","year":"2012","journal-title":"J Complex Systems and Complexity Science"},{"key":"ref7","first-page":"226","article-title":"Performance analysis of distributed model predictive control algorithm[J]","volume":"17","author":"xiaoning","year":"2002","journal-title":"Control & Decision"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.automatica.2015.03.029","article-title":"Temporal logic model predictive control","volume":"56","author":"gol","year":"2015","journal-title":"Automatica"},{"journal-title":"Model Predictive Control","year":"1993","author":"yu-geng","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.11.195"}],"event":{"name":"2017 11th Asian Control Conference (ASCC)","start":{"date-parts":[[2017,12,17]]},"location":"Gold Coast, QLD","end":{"date-parts":[[2017,12,20]]}},"container-title":["2017 11th Asian Control Conference (ASCC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8267339\/8287090\/08287292.pdf?arnumber=8287292","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T14:16:13Z","timestamp":1583504173000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8287292\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ascc.2017.8287292","relation":{},"subject":[],"published":{"date-parts":[[2017,12]]}}}