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

07/09/2020
by   Salomón Wollenstein-Betech, et al.
0

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.

READ FULL TEXT
09/20/2018

Personal Virtual Traffic Light Systems

Traffic control management at intersections, a challenging and complex f...
01/31/2022

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...
02/24/2021

Safe CPS from Unsafe Controllers

In this paper, we explore using runtime verification to design safe cybe...
12/10/2020

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...
12/27/2021

Intelligent Traffic Light via Policy-based Deep Reinforcement Learning

Intelligent traffic lights in smart cities can optimally reduce traffic ...
11/02/2006

Evolving controllers for simulated car racing

This paper describes the evolution of controllers for racing a simulated...
04/14/2011

Self-organizing traffic lights at multiple-street intersections

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