Author of the publication

Dynamic contracts for distributed temporal logic control of traffic networks.

, , , , and . CDC, page 3640-3645. IEEE, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Symbolic control design for monotone systems with directed specifications., , and . Autom., (2017)A framework for nonlinear sampled-data observer design via approximate discrete-time models and emulation., and . Autom., 40 (11): 1931-1938 (2004)Improving Urban Traffic Throughput With Vehicle Platooning: Theory and Experiments., , , , , , , , , and . IEEE Access, (2020)A Spatial Filtering Approach to Biological Patterning., and . SIAM J. Appl. Dyn. Syst., 18 (3): 1694-1721 (2019)Bayesian Safe Learning and Control with Sum-of-Squares Analysis and Polynomial Kernels., , and . CDC, page 3159-3165. IEEE, (2020)Pattern formation with a compartmental lateral inhibition system., , , , and . CDC, page 5413-5418. IEEE, (2014)Remarks on the stability of spatially distributed systems with a cyclic interconnection structure., , and . ACC, page 2696-2701. IEEE, (2007)Using orientation agreement to achieve planar rigid formation., , and . ACC, page 753-758. IEEE, (2008)An adaptive algorithm for synchronization in diffusively-coupled systems., and . ACC, page 2220-2225. IEEE, (2014)Spatial uniformity in diffusively-coupled systems using weighted L2 norm contractions., , , and . ACC, page 5619-5624. IEEE, (2013)