Bilinear Controllability of a Class of Advection-Diffusion-Reaction Systems
Authors:
Karthik Elamvazhuthi,
Hendrik Kuiper,
Matthias Kawski,
Spring Berman
Abstract:
In this paper, we investigate the exact controllability properties of an advection-diffusion equation on a bounded domain, using time- and space-dependent velocity fields as the control parameters. This partial differential equation (PDE) is the Kolmogorov forward equation for a reflected diffusion process that models the spatiotemporal evolution of a swarm of agents. We prove that if a target pro…
▽ More
In this paper, we investigate the exact controllability properties of an advection-diffusion equation on a bounded domain, using time- and space-dependent velocity fields as the control parameters. This partial differential equation (PDE) is the Kolmogorov forward equation for a reflected diffusion process that models the spatiotemporal evolution of a swarm of agents. We prove that if a target probability density has bounded first-order weak derivatives and is uniformly bounded from below by a positive constant, then it can be reached in finite time using control inputs that are bounded in space and time. We then extend this controllability result to a class of advection-diffusion-reaction PDEs that corresponds to a hybrid-switching diffusion process (HSDP), in which case the reaction parameters are additionally incorporated as the control inputs. Our proof for controllability of the advection-diffusion equation is constructive and is based on linear operator semigroup theoretic arguments and spectral properties of the multiplicatively perturbed Neumann Laplacian. For the HSDP, we first constructively prove controllability of the associated continuous-time Markov chain (CTMC) system, in which the state space is finite. Then we show that our controllability results for the advection-diffusion equation and the CTMC can be combined to establish controllability of the forward equation of the HSDP. Lastly, we provide constructive solutions to the problem of asymptotically stabilizing an HSDP to a target non-negative stationary distribution using time-independent state feedback laws, which correspond to spatially-dependent coefficients of the associated system of PDEs.
△ Less
Submitted 31 July, 2018; v1 submitted 5 November, 2017;
originally announced November 2017.
Mean-Field Controllability and Decentralized Stabilization of Markov Chains, Part I: Global Controllability and Rational Feedbacks
Authors:
Karthik Elamvazhuthi,
Vaibhav Deshmukh,
Matthias Kawski,
Spring Berman
Abstract:
In this paper, we study the controllability and stabilizability properties of the Kolmogorov forward equation of a continuous time Markov chain (CTMC) evolving on a finite state space, using the transition rates as the control parameters. Firstly, we prove small-time local and global controllability from and to strictly positive equilibrium configurations when the underlying graph is strongly conn…
▽ More
In this paper, we study the controllability and stabilizability properties of the Kolmogorov forward equation of a continuous time Markov chain (CTMC) evolving on a finite state space, using the transition rates as the control parameters. Firstly, we prove small-time local and global controllability from and to strictly positive equilibrium configurations when the underlying graph is strongly connected. Secondly, we show that there always exists a locally exponentially stabilizing decentralized linear (density-)feedback law that takes zero valu at equilibrium and respects the graph structure, provided that the transition rates are allowed to be negative and the desired target density lies in the interior of the set of probability densities. For bidirected graphs, that is, graphs where a directed edge in one direction implies an edge in the opposite direction, we show that this linear control law can be realized using a decentralized rational feedback law of the form k(x) = a(x) + b(x)f(x)/g(x) that also respects the graph structure and control constraints (positivity and zero at equilibrium). This enables the possibility of using Linear Matrix Inequality (LMI) based tools to algorithmically construct decentralized density feedback controllers for stabilization of a robotic swarm to a target task distribution with no task-switching at equilibrium, as we demonstrate with several numerical examples.
△ Less
Submitted 27 March, 2017; v1 submitted 23 March, 2017;
originally announced March 2017.
