Verification of Fair Controllers for Urban Traffic Manoeuvres at Intersections
| Autor: | Maike Schwammberger, Christopher Bischopink |
|---|---|
| Rok vydání: | 2020 |
| Předmět: |
Correctness
Work (electrical) Control theory Computer science Bounded function 020208 electrical & electronic engineering Liveness 0202 electrical engineering electronic engineering information engineering 020206 networking & telecommunications 02 engineering and technology Extension (predicate logic) |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783030549930 FM Workshops (1) |
| Popis: | Autonomous crossing manoeuvres at intersections are especially challenging. In related work, a crossing controller for provably safe autonomous urban traffic manoeuvres was introduced. We extend this controller by a decentralised communication procedure that ensures fair behaviour of the controller and also guarantees bounded liveness. We verify the correctness of our extension by an implementation and analysis with UPPAAL Stratego. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|