160 citations · 831 across the 126 of their papers we have counts for
3 papers · 1 filter
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…
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…
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…