Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications

Negar Mehr, Dorsa Sadigh, Roberto Horowitz, S. Shankar Sastry, and Sanjit A. Seshia. Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications. In American Control Conference (ACC), pp. 4884–4889, 2017.

Download

[HTML] 

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.

BibTeX

@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.},
}