Author of the publication

Validating a Hamilton-Jacobi Approximation to Hybrid System Reachable Sets.

, , and . HSCC, volume 2034 of Lecture Notes in Computer Science, page 418-432. Springer, (2001)

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

On the Approximability of Time Disjoint Walks., , and . COCOA, volume 11346 of Lecture Notes in Computer Science, page 62-78. Springer, (2018)Enhancing Privacy and Accuracy in Probe Vehicle-Based Traffic Monitoring via Virtual Trip Lines., , , , , , , , , and . IEEE Trans. Mob. Comput., 11 (5): 849-864 (2012)PDE Traffic Observer Validated on Freeway Data., , , and . IEEE Trans. Control. Syst. Technol., 29 (3): 1048-1060 (2021)Traffic smoothing using explicit local controllers., , , , , , , , , and 9 other author(s). CoRR, (2023)Zero-Shot Autonomous Vehicle Policy Transfer: From Simulation to Real-World via Adversarial Learning., , , , , , and . CoRR, (2019)On the convergence of no-regret learning in selfish routing., , and . ICML, volume 32 of JMLR Workshop and Conference Proceedings, page 163-171. JMLR.org, (2014)Efficient Bregman projections onto the simplex., , and . CDC, page 3291-3298. IEEE, (2015)Linear and quadratic programming formulations of data assimilation or data reconciliation problems for a class of Hamilton-Jacobi equations., and . ACC, page 4115-4120. IEEE, (2010)Computation and control of solutions to the Burgers equation using viability theory., , and . ACC, page 3906-3911. IEEE, (2005)Adjoint-based constrained control of Eulerian transportation networks: application to air traffic control., , and . ACC, page 5539-5545. IEEE, (2004)