Discrete fully probabilistic design: towards a control pipeline for the synthesis of policies from examples
Enrico Ferrentino, Pasquale Chiacchio, Giovanni Russo
TL;DR
The paper addresses learning control policies from example data for constrained, stochastic, nonlinear systems, allowing data from a different system and without requiring constraints to hold in the examples. It introduces a discrete fully probabilistic design (DFPD) framework that uses Bayesian probability models and KL-divergence minimization between the realized behavior $P^n$ and a reference $Q^n$, accompanied by a practical pipeline to convert data into discrete probability inputs for control. The authors present a backward-recursive DFPD algorithm that computes an optimal probabilistic controller and demonstrate its viability by benchmarking on an inverted pendulum with actuation constraints, using data gathered from a physically different pendulum. Open-source, documented code accompanies the work, and the authors discuss extensions toward an end-to-end demonstration pipeline and techniques for discretization impact analysis and dimensionality reduction to scale the approach.
Abstract
We present the principled design of a control pipeline for the synthesis of policies from examples data. The pipeline, based on a discretized design which we term as discrete fully probabilistic design, expounds an algorithm recently introduced in Gagliardi and Russo (2021) to synthesize policies from examples for constrained, stochastic and nonlinear systems. Contrary to other approaches, the pipeline we present: (i) does not need the constraints to be fulfilled in the possibly noisy example data; (ii) enables control synthesis even when the data are collected from an example system that is different from the one under control. The design is benchmarked numerically on an example that involves controlling an inverted pendulum with actuation constraints starting from data collected from a physically different pendulum that does not satisfy the system-specific actuation constraints. We also make our fully documented code openly available.
