Explainability of Intelligent Transportation Systems using Knowledge Compilation: a Traffic Light Controller Case

by   Salomón Wollenstein-Betech, et al.

Usage of automated controllers which make decisions on an environment are widespread and are often based on black-box models. We use Knowledge Compilation theory to bring explainability to the controller's decision given the state of the system. For this, we use simulated historical state-action data as input and build a compact and structured representation which relates states with actions. We implement this method in a Traffic Light Control scenario where the controller selects the light cycle by observing the presence (or absence) of vehicles in different regions of the incoming roads.


Personal Virtual Traffic Light Systems

Traffic control management at intersections, a challenging and complex f...

CoTV: Cooperative Control for Traffic Light Signals and Connected Autonomous Vehicles using Deep Reinforcement Learning

The target of reducing travel time only is insufficient to support the d...

Safe CPS from Unsafe Controllers

In this paper, we explore using runtime verification to design safe cybe...

Data-Driven Intersection Management Solutions for Mixed Traffic of Human-Driven and Connected and Automated Vehicles

This dissertation proposes two solutions for urban traffic control in th...

Intelligent Traffic Light via Policy-based Deep Reinforcement Learning

Intelligent traffic lights in smart cities can optimally reduce traffic ...

Evolving controllers for simulated car racing

This paper describes the evolution of controllers for racing a simulated...

Self-organizing traffic lights at multiple-street intersections

Summary: Traffic light coordination is a complex problem. In this paper,...