Searcharxiv⌕ Search

arXiv subjects

Giannis Badakis

Publications and source records attributed to Giannis Badakis.

2 recordsLinked to original sources

Efficient sparse GP-MPC with accurate mean and variance propagation applied for quadcopter flight control

This paper presents a computationally efficient approach for Gaussian process model predictive control (GP-MPC), where Gaussian process (GP) regression is used to complement a baseline model of the system dynamics. The proposed method achieves propagation of both the predicted mean and variance, thereby significantly reducing conservativeness compared with existing GP-MPC formulations. The nonlinear GP-MPC problem is reformulated into an exact linear parameter-varying (LPV) structure that preserves the nonlinear prediction dynamics in affine form without introducing further approximation. Moreover, closed-form derivations of moment matching (MM) predictions for sparse GPs are developed, including both mean and variance propagation under uncertain inputs, which improves scalability to larger datasets. This further enables recasting the resulting GP-MPC problem as a sequence of quadratic programs (QPs), which can be solved efficiently. The proposed framework significantly improves runtime efficiency while maintaining prediction accuracy, as demonstrated through simulation and real-world experiments on a Crazyflie 2.1 micro quadcopter.

math.OC↗

A Vehicle-in-the-Loop Simulator with AI-Powered Digital Twins for Testing Automated Driving Controllers

Simulators are useful tools for testing automated driving controllers. Vehicle-in-the-loop (ViL) tests and digital twins (DTs) are widely used simulation technologies to facilitate the smooth deployment of controllers to physical vehicles. However, conventional ViL tests rely on full-size vehicles, requiring large space and high expenses. Also, physical-model-based DT suffers from the reality gap caused by modeling imprecision. This paper develops a comprehensive and practical simulator for testing automated driving controllers enhanced by scaled physical cars and AI-powered DT models. The scaled cars allow for saving space and expenses of simulation tests. The AI-powered DT models ensure superior simulation fidelity. Moreover, the simulator integrates well with off-the-shelf software and control algorithms, making it easy to extend. We use a filtered control benchmark with formal safety guarantees to showcase the capability of the simulator in validating automated driving controllers. Experimental studies are performed to showcase the efficacy of the simulator, implying its great potential in validating control solutions for autonomous vehicles and intelligent traffic.

cs.RO↗