52 citations · 65 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.AI2014
A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems
Ebru Aydin Gol, Ezio Bartocci, Calin Belta
We propose a technique to detect and generate patterns in a network of locally interacting dynamical systems. Central to our approach is a novel spatial superposition logic, whose…
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…