Visible to the public BiblioConflict Detection Enabled

Filters: Author is Maike Schwammberger  [Clear All Filters]
2021-08-13
Maike Schwammberger.  2021.  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
Maike Schwammberger.  2021.  Safe Controllers for Autonomous Urban Traffic Manoeuvres - Bringing together Formal Methods and Reality.
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
Maike Schwammberger.  2021.  Distributed controllers for provably safe, live and fair autonomous car maneuvers in urban traffic. Engineering. Ph.D.:212.
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.
2021-08-12
Klaus Bengler, Bianca Biebl, Werner Damm, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Luedtke et al..  2021.  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.