Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications

Negar Mehr, Dorsa Sadigh, Roberto Horowitz, S. Shankar Sastry, Sanjit A. Seshia

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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.

Original languageEnglish (US)
Title of host publication2017 American Control Conference, ACC 2017
PublisherInstitute of Electrical and Electronics Engineers Inc.
Number of pages6
ISBN (Electronic)9781509059928
StatePublished - Jun 29 2017
Externally publishedYes
Event2017 American Control Conference, ACC 2017 - Seattle, United States
Duration: May 24 2017May 26 2017

Publication series

NameProceedings of the American Control Conference
ISSN (Print)0743-1619


Other2017 American Control Conference, ACC 2017
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Electrical and Electronic Engineering


Dive into the research topics of 'Stochastic predictive freeway ramp metering from Signal Temporal Logic specifications'. Together they form a unique fingerprint.

Cite this