{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T11:56:48Z","timestamp":1761998208886,"version":"build-2065373602"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,5]]},"DOI":"10.23919\/acc.2017.7963711","type":"proceedings-article","created":{"date-parts":[[2017,7,10]],"date-time":"2017-07-10T21:39:58Z","timestamp":1499722798000},"page":"4884-4889","source":"Crossref","is-referenced-by-count":20,"title":["Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications"],"prefix":"10.23919","author":[{"given":"Negar","family":"Mehr","sequence":"first","affiliation":[]},{"given":"Dorsa","family":"Sadigh","sequence":"additional","affiliation":[]},{"given":"Roberto","family":"Horowitz","sequence":"additional","affiliation":[]},{"given":"S. Shankar","family":"Sastry","sequence":"additional","affiliation":[]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2016.7795691"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2015.7171941"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755968"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"journal-title":"Control with probabilistic signal temporal logic","year":"2015","author":"yoo","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511804441"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.sorms.2014.05.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2330702"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15297-9_9"},{"key":"ref4","first-page":"v002t31a006","author":"mehr","year":"2016","journal-title":"Probabilistic freeway ramp metering"},{"journal-title":"Traffic network control from temporal logic specifications","year":"2014","author":"coogan","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2016.XII.017"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"3600","DOI":"10.1109\/ACC.2002.1024487","article-title":"Optimal coordination of ramp metering and variable speed control-an mpc approach","volume":"5","author":"hegyi","year":"2002","journal-title":"American Control Conference 2002 Proceedings of the 2002"},{"key":"ref7","article-title":"Alinea: A local feedback control law for on-ramp metering","author":"papageorgiou","year":"1991","journal-title":"Transportation Research Record"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2014.6843709"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2006.08.001"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2000.881058"},{"key":"ref20","first-page":"239","article-title":"Reactive synthesis from signal temporal logic specifications","author":"raman","year":"2015","journal-title":"Proceedings of the 18th International Conference on Hybrid Systems Computation and Control"},{"key":"ref22","first-page":"237","article-title":"A new statistical max operation for propagating skewness in statistical timing analysis","author":"chopra","year":"2006","journal-title":"Proceedings of the 2006 IEEE\/ACM International Conference on Computer-Aided Design"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2016.7525023"},{"journal-title":"Fusing loop and gps probe measurements to estimate freeway density","year":"2015","author":"wright","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1287\/opre.9.2.145"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7403189"}],"event":{"name":"2017 American Control Conference (ACC)","start":{"date-parts":[[2017,5,24]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2017,5,26]]}},"container-title":["2017 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7951530\/7962914\/07963711.pdf?arnumber=7963711","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,23]],"date-time":"2021-06-23T19:58:54Z","timestamp":1624478334000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7963711\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,5]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/acc.2017.7963711","relation":{},"subject":[],"published":{"date-parts":[[2017,5]]}}}