76 citations · 213 across the 52 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
eess.SY2014
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications
Dorsa Sadigh, Eric S. Kim, Samuel Coogan +2
We propose to synthesize a control policy for a Markov decision process (MDP) such that the resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct…
eess.SY2014
A Compartmental Model for Traffic Networks and its Dynamical Behavior
Samuel Coogan, Murat Arcak
We propose a macroscopic traffic network flow model suitable for analysis as a dynamical system, and we qualitatively analyze equilibrium flows as well as convergence. Flows at a j…
eess.SY2014★ 52 cited
Traffic Network Control from Temporal Logic Specifications
Samuel Coogan, Ebru Aydin Gol, Murat Arcak +1
We propose a framework for generating a signal control policy for a traffic network of signalized intersections to accomplish control objectives expressible using linear temporal l…