2 papers
eess.SY2019
Control from Signal Temporal Logic Specifications with Smooth Cumulative Quantitative Semantics
Iman Haghighi, Noushin Mehdipour, Ezio Bartocci +1
We present a framework to synthesize control policies for nonlinear dynamical systems from complex temporal constraints specified in a rich temporal logic called Signal Temporal Lo…
eess.SY2016
Robotic Swarm Control from Spatio-Temporal Specifications
Iman Haghighi, Sadra Sadraddini, Calin Belta
In this paper, we study the problem of controlling a two-dimensional robotic swarm with the purpose of achieving high level and complex spatio-temporal patterns. We use a rich spat…