@inproceedings{ef37a681707f48b09f15131f743f7fcb,
title = "Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications",
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.",
author = "Negar Mehr and Dorsa Sadigh and Roberto Horowitz and Sastry, {S. Shankar} and Seshia, {Sanjit A.}",
note = "Publisher Copyright: {\textcopyright} 2017 American Automatic Control Council (AACC).; 2017 American Control Conference, ACC 2017 ; Conference date: 24-05-2017 Through 26-05-2017",
year = "2017",
month = jun,
day = "29",
doi = "10.23919/ACC.2017.7963711",
language = "English (US)",
series = "Proceedings of the American Control Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "4884--4889",
booktitle = "2017 American Control Conference, ACC 2017",
address = "United States",
}