-
Mean Escape Time of Switched Riccati Differential Equations
Authors:
Masaki Ogura,
Clyde F. Martin
Abstract:
Riccati differential equations is the class of first-order and quadratic ordinary differential equations and has various applications in the systems and control theory. In this paper, we analyze a switched Riccati differential equation that is driven by a Poisson-like stochastic signal. We specifically focus on the computation of the mean escape time of the switched Riccati differential equation.…
▽ More
Riccati differential equations is the class of first-order and quadratic ordinary differential equations and has various applications in the systems and control theory. In this paper, we analyze a switched Riccati differential equation that is driven by a Poisson-like stochastic signal. We specifically focus on the computation of the mean escape time of the switched Riccati differential equation. The contribution of this paper is twofold. We first show that, under the assumption that the subsystems described as a deterministic Riccati differential equation escape in finite time regardless of its initial state, the mean escape time of the switched Riccati differential equation admits a power series expression. In order to further expand the applicability of this result, we then present an approximative formula for computing the escape time of deterministic Riccati differential equations. We present numerical simulations to illustrate the obtained results.
△ Less
Submitted 2 June, 2022;
originally announced June 2022.
-
On the mean stability of a class of switched linear systems
Authors:
Masaki Ogura,
Clyde F. Martin
Abstract:
This paper investigates the mean stability of a class of discrete-time stochastic switched linear systems using the $L^p$-norm joint spectral radius of the probability distributions governing the switched systems. First we prove a converse Lyapunov theorem that shows the equivalence between the mean stability and the existence of a homogeneous Lyapunov function. Then we show that, when $p$ goes to…
▽ More
This paper investigates the mean stability of a class of discrete-time stochastic switched linear systems using the $L^p$-norm joint spectral radius of the probability distributions governing the switched systems. First we prove a converse Lyapunov theorem that shows the equivalence between the mean stability and the existence of a homogeneous Lyapunov function. Then we show that, when $p$ goes to $\infty$, the stability of the $p$th mean becomes equivalent to the absolute asymptotic stability of an associated deterministic switched system. Finally we study the mean stability of Markovian switched systems. Numerical examples are presented to illustrate the results.
△ Less
Submitted 21 September, 2014;
originally announced September 2014.
-
L1 Control Theoretic Smoothing Splines
Authors:
Masaaki Nagahara,
Clyde F. Martin
Abstract:
In this paper, we propose control theoretic smoothing splines with L1 optimality for reducing the number of parameters that describes the fitted curve as well as removing outlier data. A control theoretic spline is a smoothing spline that is generated as an output of a given linear dynamical system. Conventional design requires exactly the same number of base functions as given data, and the resul…
▽ More
In this paper, we propose control theoretic smoothing splines with L1 optimality for reducing the number of parameters that describes the fitted curve as well as removing outlier data. A control theoretic spline is a smoothing spline that is generated as an output of a given linear dynamical system. Conventional design requires exactly the same number of base functions as given data, and the result is not robust against outliers. To solve these problems, we propose to use L1 optimality, that is, we use the L1 norm for the regularization term and/or the empirical risk term. The optimization is described by a convex optimization, which can be efficiently solved via a numerical optimization software. A numerical example shows the effectiveness of the proposed method.
△ Less
Submitted 23 July, 2014; v1 submitted 7 July, 2014;
originally announced July 2014.
-
Stability analysis of linear systems subject to regenerative switchings
Authors:
Masaki Ogura,
Clyde F. Martin
Abstract:
This paper investigates the stability of switched linear systems whose switching signal is modeled as a stochastic process called a regenerative process. We show that the mean stability of such a switched system is characterized by the spectral radius of a matrix. The matrix is obtained by taking the expectation of the transition matrix of the system on one cycle of the underlying regenerative pro…
▽ More
This paper investigates the stability of switched linear systems whose switching signal is modeled as a stochastic process called a regenerative process. We show that the mean stability of such a switched system is characterized by the spectral radius of a matrix. The matrix is obtained by taking the expectation of the transition matrix of the system on one cycle of the underlying regenerative process. The characterization generalizes Floquet's theorem for the stability analysis of linear time-periodic systems. We illustrate the result with the stability analysis of a linear system with a failure-prone controller under periodic maintenance.
△ Less
Submitted 26 March, 2014;
originally announced March 2014.
-
A limit formula for joint spectral radius with $p$-radius of probability distributions
Authors:
Masaki Ogura,
Clyde F. Martin
Abstract:
In this paper we show a characterization of the joint spectral radius of a set of matrices as the limit of the $p$-radius of an associated probability distribution when $p$ tends to $\infty$. Allowing the set to have infinitely many matrices, the obtained formula extends the results in the literature. Based on the formula, we then present a novel characterization of the stability of switched linea…
▽ More
In this paper we show a characterization of the joint spectral radius of a set of matrices as the limit of the $p$-radius of an associated probability distribution when $p$ tends to $\infty$. Allowing the set to have infinitely many matrices, the obtained formula extends the results in the literature. Based on the formula, we then present a novel characterization of the stability of switched linear systems for an arbitrary switching signal via the existence of stochastic Lyapunov functions of any higher degrees. Numerical examples are presented to illustrate the results.
△ Less
Submitted 9 June, 2014; v1 submitted 13 January, 2014;
originally announced January 2014.
-
Stability analysis of positive semi-Markovian jump linear systems with state resets
Authors:
Masaki Ogura,
Clyde F. Martin
Abstract:
This paper studies the mean stability of positive semi-Markovian jump linear systems. We show that their mean stability is characterized by the spectral radius of a matrix that is easy to compute. In deriving the condition we use a certain discretization of a semi-Markovian jump linear system that preserves stability. Also we show a characterization for the exponential mean stability of continuous…
▽ More
This paper studies the mean stability of positive semi-Markovian jump linear systems. We show that their mean stability is characterized by the spectral radius of a matrix that is easy to compute. In deriving the condition we use a certain discretization of a semi-Markovian jump linear system that preserves stability. Also we show a characterization for the exponential mean stability of continuous-time positive Markovian jump linear systems. Numerical examples are given to illustrate the results.
△ Less
Submitted 2 January, 2014; v1 submitted 10 September, 2013;
originally announced September 2013.
-
Monotone Smoothing Splines Using General Linear Systems
Authors:
Masaaki Nagahara,
Clyde F. Martin
Abstract:
In this paper, a method is proposed to solve the problem of monotone smoothing splines using general linear systems. This problem, also called monotone control theoretic splines, has been solved only when the curve generator is modeled by the second-order integrator, but not for other cases. The difficulty in the problem is that the monotonicity constraint should be satisfied over an interval whic…
▽ More
In this paper, a method is proposed to solve the problem of monotone smoothing splines using general linear systems. This problem, also called monotone control theoretic splines, has been solved only when the curve generator is modeled by the second-order integrator, but not for other cases. The difficulty in the problem is that the monotonicity constraint should be satisfied over an interval which has the cardinality of the continuum. To solve this problem, we first formulate the problem as a semi-infinite quadratic programming, and then we adopt a discretization technique to obtain a finite-dimensional quadratic programming problem. It is shown that the solution of the finite-dimensional problem always satisfies the infinite-dimensional monotonicity constraint. It is also proved that the approximated solution converges to the exact solution as the discretization grid-size tends to zero. An example is presented to show the effectiveness of the proposed method.
△ Less
Submitted 7 August, 2013;
originally announced August 2013.
-
L1-Optimal Splines for Outlier Rejection
Authors:
Masaaki Nagahara,
Clyde F. Martin
Abstract:
In this article, we consider control theoretic splines with L1 optimization for rejecting outliers in data. Control theoretic splines are either interpolating or smoothing splines, depending on a cost function with a constraint defined by linear differential equations. Control theoretic splines are effective for Gaussian noise in data since the estimation is based on L2 optimization. However, in p…
▽ More
In this article, we consider control theoretic splines with L1 optimization for rejecting outliers in data. Control theoretic splines are either interpolating or smoothing splines, depending on a cost function with a constraint defined by linear differential equations. Control theoretic splines are effective for Gaussian noise in data since the estimation is based on L2 optimization. However, in practice, there may be outliers in data, which may occur with vanishingly small probability under the Gaussian assumption of noise, to which L2-optimized spline regression may be very sensitive. To achieve robustness against outliers, we propose to use L1 optimality, which is also used in support vector regression. A numerical example shows the effectiveness of the proposed method.
△ Less
Submitted 1 August, 2013;
originally announced August 2013.
