A separation principle for a class of hybrid automata on a partial order
ACC'09 Proceedings of the 2009 conference on American Control Conference
Controllers for reachability specifications for hybrid systems
Automatica (Journal of IFAC)
Efficient algorithms for collision avoidance at intersections
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Hi-index | 0.00 |
In this paper, we employ partial order techniques to develop linear complexity algorithms for guaranteed collision avoidance between vehicles at highway and roundabout mergings. These techniques can be employed by virtue of the rich structure offered by such traffic systems, which constrain vehicles to advance unidirectionally along a path. The algorithms are safe by construction while maintaining the liveness of the system. The proposed algorithms are on-line implemented in a decentralized fashion on an experimental testbed composed of two in-scale communicating vehicles continuously running on an autonomous roundabout system.