160 citations · 831 across the 126 of their papers we have counts for
Showing 2014 · eess.SYShow all
2 papers · 2 filters
eess.SY2014★ 3 cited
Temporal Logic Control for Stochastic Linear Systems using Abstraction Refinement of Probabilistic Games
Maria Svorenova, Jan Kretinsky, Martin Chmelik +3
We consider the problem of computing the set of initial states of a dynamical system such that there exists a control strategy to ensure that the trajectories satisfy a temporal lo…
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…