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