Data-driven Estimation of the Algebraic Riccati Equation for the Discrete-Time Inverse Linear Quadratic Regulator Problem
Authors:
Shuhei Sugiura,
Ryo Ariizumi,
Masaya Tanemura,
Toru Asai,
Shun-ichi Azuma
Abstract:
In this paper, we propose a method for estimating the algebraic Riccati equation (ARE) with respect to an unknown discrete-time system from the system state and input observation. The inverse optimal control (IOC) problem asks, ``What objective function is optimized by a given control system?'' The inverse linear quadratic regulator (ILQR) problem is an IOC problem that assumes a linear system and…
▽ More
In this paper, we propose a method for estimating the algebraic Riccati equation (ARE) with respect to an unknown discrete-time system from the system state and input observation. The inverse optimal control (IOC) problem asks, ``What objective function is optimized by a given control system?'' The inverse linear quadratic regulator (ILQR) problem is an IOC problem that assumes a linear system and quadratic objective function. The ILQR problem can be solved by solving a linear matrix inequality that contains the ARE. However, the system model is required to obtain the ARE, and it is often unknown in fields in which the IOC problem occurs, for example, biological system analysis. Our method directly estimates the ARE from the observation data without identifying the system. This feature enables us to economize the observation data using prior information about the objective function. We provide a data condition that is sufficient for our method to estimate the ARE. We conducted a numerical experiment to demonstrate that our method can estimate the ARE with less data than system identification if the prior information is sufficient.
△ Less
Submitted 8 February, 2024;
originally announced February 2024.
A General Control Framework for Boolean Networks
Authors:
Shiyong Zhu,
Jianquan Lu,
Shun-ichi Azuma,
Wei Xing Zheng
Abstract:
This paper focuses on proposing a general control framework for large-scale Boolean networks (\texttt{BNs}). Only by the network structure, the concept of structural controllability for \texttt{BNs} is formalized. A necessary and sufficient criterion is derived for the structural controllability of \texttt{BNs}; it can be verified with $Θ(n^2)$ time, where $n$ is the number of network nodes. An in…
▽ More
This paper focuses on proposing a general control framework for large-scale Boolean networks (\texttt{BNs}). Only by the network structure, the concept of structural controllability for \texttt{BNs} is formalized. A necessary and sufficient criterion is derived for the structural controllability of \texttt{BNs}; it can be verified with $Θ(n^2)$ time, where $n$ is the number of network nodes. An interesting conclusion is shown as that a \texttt{BN} is structurally controllable if and only if it is structurally fixed-time controllable. Afterwards, the minimum node control problem with respect to structural controllability is proved to be NP-hard for structural \texttt{BNs}. In virtue of the structurally controllable criterion, three difficult control issues can be efficiently addressed and accompanied with some advantages. In terms of the design of pinning controllers to generate a controllable \texttt{BN}, by utilizing the structurally controllable criterion, the selection procedure for the pinning node set is developed for the first time instead of just checking the controllability under the given pinning control form; the pinning controller is of distributed form, and the time complexity is $Θ(n2^{3d^{\ast}}+2(n+m)^2)$, where $m$ and $d^\ast$ are respectively the number of generators and the maximum vertex in-degree. With regard to the control design for stabilization in probability of probabilistic \texttt{BNs} (\texttt{PBNs}), an important theorem is proved to reveal the equivalence between several types of stability. The existing difficulties on the stabilization in probability are then solved to some extent via the structurally controllable criterion.
△ Less
Submitted 26 May, 2021; v1 submitted 30 June, 2020;
originally announced July 2020.