Formal design of a provably safe robotic roundabout system
In this paper, we show how to design a provably safe robotic roundabout system comprised of three vehicles. This is accomplished by combining two-vehicle collision avoidance primitives, which are each computationally light given the natural partial order structure on which the system evolves. We sho...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Institute of Electrical and Electronics Engineers,
2013-04-12T18:56:34Z.
|
| Subjects: | |
| Online Access: | Get fulltext |