2 papers
cs.LG2024
Data-Driven Permissible Safe Control with Barrier Certificates
Rayan Mazouz, John Skovbekk, Frederik Baymler Mathiesen +3
This paper introduces a method of identifying a maximal set of safe strategies from data for stochastic systems with unknown dynamics using barrier certificates. The first step is…
eess.SY2020
A Flow-Efficient and Legal-by-Construction Real-Time Traffic Signal Control Platform
Frederik Baymler Mathiesen, Garey Fleeman
Inefficiencies in traffic flow through an intersection lead to stopping vehicles, unnecessary congestion, and increased accident risk. In this paper, we propose a traffic signal co…