2 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
2 papers
cs.FL2014★ 2 cited
Automata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems
Tichakorn Wongpiromsarn, Ufuk Topcu, Andrew Lamperski
We consider temporal logic verification of (possibly nonlinear) dynamical systems evolving over continuous state spaces. Our approach combines automata-based verification and the u…
eess.SY2014
Back-pressure traffic signal control with unknown routing rates
Jean Gregoire, Emilio Frazzoli, Arnaud de La Fortelle +1
The control of a network of signalized intersections is considered. Previous works proposed a feedback control belonging to the family of the so-called back-pressure controls that…