most citedAutomata Theory Meets Barrier Certificates: Temporal Logic Verification of Nonlinear Systems

2 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing eess.SYShow all

1 paper · 1 filter

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…