Author of the publication

Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections.

, and . IEEE Trans. Autom. Control., 65 (10): 4061-4074 (2020)

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

Experimental testing of a semi-autonomous multi-vehicle collision avoidance algorithm at an intersection testbed., , , and . IROS, page 4834-4839. IEEE, (2015)Optimal dynamic scheduling of wireless networked control systems., , , , , , and . ICCPS, page 77-86. ACM, (2019)Safe Chance-constrained Model Predictive Control under Gaussian Mixture Model Uncertainty., , , , , and . CoRR, (2024)Chance-Constrained Trajectory Planning With Multimodal Environmental Uncertainty., , and . IEEE Control. Syst. Lett., (2023)Optimal Dynamic Transmission Scheduling for Wireless Networked Control Systems., , , , , , , and . IEEE Trans. Control. Syst. Technol., 30 (6): 2360-2376 (2022)Abstraction-Based Safety Verification and Control of Cooperative Vehicles at Road Intersections., and . IEEE Trans. Autom. Control., 65 (10): 4061-4074 (2020)Moving Horizon Sensor Selection for Reducing Communication Costs with Applications to Internet of Vehicles., and . ACC, page 1464-1469. IEEE, (2019)Access pattern based stream buffer management scheme for portable media players., , , and . IEEE Trans. Consumer Electronics, 55 (3): 1522-1529 (2009)Safe Motion Planning Against Multimodal Distributions Based on a Scenario Approach., , , and . IEEE Control. Syst. Lett., (2022)Semi-autonomous Intersection Collision Avoidance through Job-shop Scheduling., and . HSCC, page 185-194. ACM, (2016)