@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{mehr-acc17,
  author    = {Negar Mehr and
               Dorsa Sadigh and
               Roberto Horowitz and
               S. Shankar Sastry and
               Sanjit A. Seshia},
  title     = {Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications},
  booktitle = {American Control Conference ({ACC})},
  pages     = {4884--4889},
  year      = {2017},
  abstract  = {We propose a ramp metering strategy capable of treating exogenous arrivals as random variables since freeway network arrivals are stochastic by nature. In order to express desired temporal properties of the network, we adopt Signal Temporal Logic (STL) as our specification language and present a general framework for synthesizing controllers for piecewise affine systems subject to stochastic uncertainties. We synthesize controllers that satisfy these stochastic STL specifications through sample average approximation techniques. We further showcase our approach for a freeway ramp metering example, we use sampling techniques to obtain ramp flows that minimize the expectation of the total travel time.},
}