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: |