Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing

03/18/2022
by   Lina Marsso, et al.
0

We present two behavioral models of an autonomous vehicle and its interaction with the environment. Both models use the formal modeling language LNT provided by the CADP toolbox. This paper discusses the modeling choices and the challenges of our autonomous vehicle models, and also illustrates how formal validation tools can be applied to a single component or the overall vehicle.

READ FULL TEXT
research
02/04/2016

Formal Verification of Autonomous Vehicle Platooning

The coordination of multiple autonomous vehicles into convoys or platoon...
research
03/15/2021

Gradient Policy on "CartPole" game and its' expansibility to F1Tenth Autonomous Vehicles

Policy gradient is an effective way to estimate continuous action on the...
research
03/06/2018

MIRIAM: A Multimodal Chat-Based Interface for Autonomous Systems

We present MIRIAM (Multimodal Intelligent inteRactIon for Autonomous sys...
research
10/03/2018

Human-Centered Autonomous Vehicle Systems: Principles of Effective Shared Autonomy

Building effective, enjoyable, and safe autonomous vehicles is a lot har...
research
04/12/2018

Robust Safety for Autonomous Vehicles through Reconfigurable Networking

Autonomous vehicles bring the promise of enhancing the consumer experien...
research
09/08/2017

A Rational Agent Controlling an Autonomous Vehicle: Implementation and Formal Verification

The development and deployment of Autonomous Vehicles (AVs) on our roads...
research
09/30/2021

Game and Simulation Design for Studying Pedestrian-Automated Vehicle Interactions

The present cross-disciplinary research explores pedestrian-autonomous v...

Please sign up or login with your details

Forgot password? Click here to reset