{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:16:14Z","timestamp":1730297774231,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1109\/smc.2016.7844789","type":"proceedings-article","created":{"date-parts":[[2017,2,10]],"date-time":"2017-02-10T10:57:47Z","timestamp":1486724267000},"page":"003581-003588","source":"Crossref","is-referenced-by-count":2,"title":["Chance-constrained model predictive controller synthesis for stochastic max-plus linear systems"],"prefix":"10.1109","author":[{"given":"Vahab","family":"Rostampour","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dieky","family":"Adzkiya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh Esmaeil Zadeh","family":"Soudjani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"De Schutter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tamas","family":"Keviczky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"On classes of min-max-plus systems and their applications","year":"2000","author":"subiono","key":"ref32"},{"article-title":"Gurobi optimizer reference manual","year":"2012","author":"optimization","key":"ref31"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1214\/aoap\/1019487510"},{"key":"ref11","article-title":"Series expansions of Lyapunov exponents and forgetful monoids","author":"gaubert","year":"2000","journal-title":"INRIA Tech Rep RR-3971"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1214\/EJP.v13-488"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10696-0_7"},{"key":"ref14","first-page":"1","article-title":"Formal verification of stochastic max-plus-linear systems","volume":"pp","author":"soudjani","year":"2016","journal-title":"IEEE Transactions on Automatic Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2011.16"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_45"},{"key":"ref17","first-page":"272","article-title":"FAUST2: Formal abstractions of uncountable-state stochastic processes","volume":"9035","author":"soudjani","year":"2015","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems Ser Lecture Notes in Computer Science"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3166\/ejc.8.453-462"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1080\/00207170310001656047"},{"key":"ref28","first-page":"540","article-title":"Stochastic nonlinear model predictive control of an uncertain batch polymerization reactor","volume":"48","author":"rostampour","year":"2015","journal-title":"IFAC Conference on Nonlinear Model Predictive Control"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2006.377701"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.875041"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1582196"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1988.194298"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ECC.2016.7810453"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jtbi.2012.03.007"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.382515"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1989.70404"},{"journal-title":"Max Plus at Work-Modeling and Analysis of Synchronized Systems A Course on Max-Plus Algebra and Its Applications","year":"2006","author":"heidergott","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2010.09.035"},{"journal-title":"Synchronization and Linearity An Algebra for Discrete Event Systems","year":"1992","author":"baccelli","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2006.11.023"},{"key":"ref22","first-page":"1","article-title":"Exact and approximate approaches to the identification of stochastic max-plus-linear systems","author":"farahani","year":"2013","journal-title":"Discrete Event Dynamic Systems Theory and Applications"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2015.10.005"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0109870"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/9.704989"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2014.2330702"},{"journal-title":"Max-Plus Linear Stochastic Systems and Perturbation Analysis (The International Series on Discrete Event Dynamic Systems)","year":"2006","author":"heidergott","key":"ref25"}],"event":{"name":"2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)","start":{"date-parts":[[2016,10,9]]},"location":"Budapest, Hungary","end":{"date-parts":[[2016,10,12]]}},"container-title":["2016 IEEE International Conference on Systems, Man, and Cybernetics (SMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7830913\/7844217\/07844789.pdf?arnumber=7844789","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,1]],"date-time":"2017-03-01T17:32:50Z","timestamp":1488389570000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7844789\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/smc.2016.7844789","relation":{},"subject":[],"published":{"date-parts":[[2016,10]]}}}