Vehicle Platooning Simulations with Functional Reactive Programming

TL;DR

This paper introduces a tool for developing autonomous vehicle controllers using Functional Reactive Programming in Haskell, combining the benefits of functional languages with reactive system design.

Contribution

It presents a novel approach to vehicle platooning simulations by applying FRP in Haskell for autonomous vehicle control.

Findings

Enhanced verification capabilities for vehicle controllers

Successful implementation of autonomous vehicle control in Haskell

Demonstrated benefits of FRP in reactive system development

Abstract

Functional languages have provided major benefits to the verification community. Although features such as purity, a strong type system, and computational abstractions can help guide programmers away from costly errors, these can present challenges when used in a reactive system. Functional Reactive Programming is a paradigm that allows users the benefits of functional languages and an easy interface to a reactive environment. We present a tool for building autonomous vehicle controllers in FRP using Haskell.