This project focuses on the development of control laws for autonomous vehicles, specifically aimed at automating parking maneuvers. The study employs a nonlinear bicycle kinematic model to represent ...

Abstract: Improvements over recent years in the performance of Integer Linear Programming (ILP) and Boolean Satisfiability (SAT) solvers have encouraged the modeling of complex engineering problems as ...

Abstract: One important aim in tire industry when finalizing a tire design is the modeling of the noise characteristics as received by the passengers of the car. In previous works, the problem was ...