Biblio
Filters: Author is Maike Schwammberger [Clear All Filters]
A vision about dynamic updates of causal diagrams for self-explainability of autonomous urban traffic manoeuvres. 1st International Workshop on Requirements Engineering for Explainable Systems RE4ES. 1
.
2021.
.
2021.
Safe Controllers for Autonomous Urban Traffic Manoeuvres - Bringing together Formal Methods and Reality.
.
2021. impulse talk at “Safety Critical Human-Cyber-Physical Systems -- joint workshop in celebration of 40 years of collaboration between Groningen und Oldenburg Universities”, 10/20
Distributed controllers for provably safe, live and fair autonomous car maneuvers in urban traffic. Engineering. Ph.D.:212.
.
2021. While automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We introduce an approach to logically reason about functional properties of crossing maneuvers at intersections. To this end, we introduce an abstract model for urban traffic situations and extended timed automata crossing controllers using formulas of our traffic logic Urban Multi-lane Spatial Logic (UMLSL) for turn maneuvers at intersections. We show that even at complex intersections we can use purely spatial reasoning, detached from the underlying car dynamics, to prove safety (collision freedom) of the crossing controllers. We also examine liveness (something good finally happens) and fairness (no queue-jumping) of the controllers with the help of UPPAAL, a model checker for (extended) timed automata. Furthermore, we introduce a case study, where we adapt the approach to a hazard warning communication protocol.
A Metamodel of Human Cyber Physical Systems. Working Document of the PIRE Project on Assuring Individual, Social, and Cultural Embeddedness of Autonomous Cyber-Physical Systems (ISCE-ACPS). :41.
.
2021.