Author of the publication

HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions.

, , and . ARCH@CPSWeek, volume 43 of EPiC Series in Computing, page 68-79. EasyChair, (2016)

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

Networked Cooperative Platoon of Vehicles for Testing Methods and Verification Tools., and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 37-42. EasyChair, (2014)A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems., , and . ADHS, volume 48 of IFAC-PapersOnLine, page 13-20. Elsevier, (2015)Current Challenges in the Verification of Hybrid Systems., , , , , , and . CyPhy, volume 9361 of Lecture Notes in Computer Science, page 8-24. Springer, (2015)Safety Verification of a Controlled Cooperative Platoon Under Loss of Communication Using Zonotopes., , and . ADHS, volume 45 of IFAC Proceedings Volumes, page 333-338. Elsevier, (2012)Predicting Brainwaves from Face Videos., , , and . CVPR Workshops, page 1139-1147. Computer Vision Foundation / IEEE, (2020)Reachability analysis for managing platoons at intersections., , and . MED, page 1141-1147. IEEE, (2013)A Benchmark Suite for Hybrid Systems Reachability Analysis., , , , , and . NFM, volume 9058 of Lecture Notes in Computer Science, page 408-414. Springer, (2015)Comparison of reachability methods for uncertain linear time-invariant systems., , and . ECC, page 1101-1106. IEEE, (2013)Optimizing Safe Control of a Networked Platoon of Trucks Using Reachability., and . ARCH@CPSWeek, volume 34 of EPiC Series in Computing, page 169-179. EasyChair, (2014)A platoon of vehicles approaching an intersection: A testing platform for safe intersections., , and . ITSC, page 1918-1923. IEEE, (2012)