-
Characterization of decay rates for discrete operator semigroups
Authors:
Masashi Wakaiki
Abstract:
Let $T$ be a power-bounded linear operator on a Hilbert space $X$, and let $S$ be a bounded linear operator from another Hilbert space $Y$ to $X$. We investigate the non-exponential rate of decay of $\|T^nS\|$ as $n \to \infty$. First, when $X = Y$ and $S$ commutes with $T$, we characterize the decay rate of $\|T^nS\|$ by the growth rate of $\|(λI - T)^{-k}S\|$ as $|λ| \downarrow 1$ for some…
▽ More
Let $T$ be a power-bounded linear operator on a Hilbert space $X$, and let $S$ be a bounded linear operator from another Hilbert space $Y$ to $X$. We investigate the non-exponential rate of decay of $\|T^nS\|$ as $n \to \infty$. First, when $X = Y$ and $S$ commutes with $T$, we characterize the decay rate of $\|T^nS\|$ by the growth rate of $\|(λI - T)^{-k}S\|$ as $|λ| \downarrow 1$ for some $k \in \mathbb{N}$. Next, we provide another characterization by means of an integral estimate of $\|(λI - T)^{-k}S\|$. The second characterization is then applied to asymptotic estimates for perturbed discrete operator semigroups. Finally, we present some results on the relation between the decay rate of $\|T^nS\|$ and the boundedness of the sum $\sum_{n=1}^{\infty} f(n)\|T^nSy\|^p$ for all $y \in Y$ in the Banach space setting, where $f \colon \mathbb{N} \to(0,\infty)$ and $p \geq 1$.
△ Less
Submitted 27 December, 2024;
originally announced December 2024.
-
Characterizations of the Crandall--Pazy Class of $C_0$-semigroups on Hilbert Spaces and Their Application to Decay Estimates
Authors:
Masashi Wakaiki
Abstract:
We investigate immediately differentiable $C_0$-semigroups $(e^{-tA})_{t \geq 0}$ satisfying $\sup_{0 < t <1} t^{1/β}\|Ae^{-tA}\| < \infty$ for some $0 < β\leq 1$. Such $C_0$-semigroups are referred to as the Crandall--Pazy class of $C_0$-semigroups. In the Hilbert space setting, we present two characterizations of the Crandall--Pazy class. We then apply these characterizations to estimate decay r…
▽ More
We investigate immediately differentiable $C_0$-semigroups $(e^{-tA})_{t \geq 0}$ satisfying $\sup_{0 < t <1} t^{1/β}\|Ae^{-tA}\| < \infty$ for some $0 < β\leq 1$. Such $C_0$-semigroups are referred to as the Crandall--Pazy class of $C_0$-semigroups. In the Hilbert space setting, we present two characterizations of the Crandall--Pazy class. We then apply these characterizations to estimate decay rates for Crank--Nicolson schemes with smooth initial data when the associated abstract Cauchy problem is governed by an exponentially stable $C_0$-semigroup in the Crandall--Pazy class. The first approach is based on a functional calculus called the $\mathcal{B}$-calculus. The second approach builds upon estimates derived from Lyapunov equations and improves the decay estimate obtained in the first approach, under the additional assumption that $-A^{-1}$ generates a bounded $C_0$-semigroup.
△ Less
Submitted 9 March, 2025; v1 submitted 25 October, 2024;
originally announced October 2024.
-
Stabilization of infinite-dimensional systems under quantization and packet loss
Authors:
Masashi Wakaiki
Abstract:
We study the problem of stabilizing infinite-dimensional systems with input and output quantization. The closed-loop system we consider is subject to packet loss in the sensor-to-controller channels, whose duration is assumed to be averagely bounded. Given a bound on the initial state, we propose design methods for dynamic quantizers with zoom parameters. We show that the closed-loop state staring…
▽ More
We study the problem of stabilizing infinite-dimensional systems with input and output quantization. The closed-loop system we consider is subject to packet loss in the sensor-to-controller channels, whose duration is assumed to be averagely bounded. Given a bound on the initial state, we propose design methods for dynamic quantizers with zoom parameters. We show that the closed-loop state staring in a given region exponentially converges to zero if the bounds of quantization errors and packet-loss duration satisfy suitable conditions. Since the norms of the operators representing the system dynamics are used in the proposed quantization schemes, we also present methods for approximately computing the operator norms.
△ Less
Submitted 1 May, 2024;
originally announced May 2024.
-
Decay estimates for Cayley transforms and inverses of semigroup generators via the $\mathcal{B}$-calculus
Authors:
Masashi Wakaiki
Abstract:
Let $-A$ be the generator of a bounded $C_0$-semigroup $(e^{-tA})_{t \geq 0}$ on a Hilbert space. First we study the long-time asymptotic behavior of the Cayley transform $V_ω(A) := (A-ωI) (A+ωI)^{-1}$ with $ω>0$. We give a decay estimate for $\|V_ω(A)^nA^{-1}\|$ when $(e^{-tA})_{t \geq 0}$ is polynomially stable. Considering the case where the parameter $ω$ varies, we estimate…
▽ More
Let $-A$ be the generator of a bounded $C_0$-semigroup $(e^{-tA})_{t \geq 0}$ on a Hilbert space. First we study the long-time asymptotic behavior of the Cayley transform $V_ω(A) := (A-ωI) (A+ωI)^{-1}$ with $ω>0$. We give a decay estimate for $\|V_ω(A)^nA^{-1}\|$ when $(e^{-tA})_{t \geq 0}$ is polynomially stable. Considering the case where the parameter $ω$ varies, we estimate $\|(\prod_{k=1}^n V_{ω_k}(A))A^{-1}\|$ for exponentially stable $C_0$-semigroups $(e^{-tA})_{t \geq 0}$. Next we show that if the generator $-A$ of the bounded $C_0$-semigroup has a bounded inverse, then $\sup_{t \geq 0} \|e^{-tA^{-1}} A^{-α} \| < \infty$ for all $α>0$. We also present an estimate for the rate of decay of $\|e^{-tA^{-1}} A^{-1} \|$, assuming that $(e^{-tA})_{t \geq 0}$ is polynomially stable. To obtain these results, we use operator norm estimates offered by a functional calculus called the $\mathcal{B}$-calculus.
△ Less
Submitted 13 May, 2024; v1 submitted 9 December, 2023;
originally announced December 2023.
-
Self-triggered Stabilization of Contracting Systems under Quantization
Authors:
Masashi Wakaiki
Abstract:
We propose self-triggered control schemes for nonlinear systems with quantized state measurements. Our focus lies on scenarios where both the controller and the self-triggering mechanism receive only the quantized state at each sampling time. We assume that the ideal closed-loop system without quantization or self-triggered sampling is contracting. Moreover, an upper bound on the growth rate of th…
▽ More
We propose self-triggered control schemes for nonlinear systems with quantized state measurements. Our focus lies on scenarios where both the controller and the self-triggering mechanism receive only the quantized state at each sampling time. We assume that the ideal closed-loop system without quantization or self-triggered sampling is contracting. Moreover, an upper bound on the growth rate of the open-loop system is assumed to be known. We present two control schemes that achieve closed-loop stability without Zeno behavior. The first scheme is implemented under logarithmic quantization and uses the quantized state for the threshold in the triggering condition. The second one is a joint design of zooming quantization and self-triggered sampling, where the adjustable zoom parameter for quantization changes based on inter-sampling times and is also used for the threshold of self-triggered sampling. In both schemes, the self-triggering mechanism predicts the future state from the quantized data for the computation of the next sampling time. We employ a trajectory-based approach for stability analysis, where contraction theory plays a key role.
△ Less
Submitted 7 April, 2025; v1 submitted 14 November, 2023;
originally announced November 2023.
-
Self-triggered Resilient Stabilization of Linear Systems with Quantized Output
Authors:
Wenjie Liu,
Masashi Wakaiki,
Jian Sun,
Gang Wang,
Jie Chen
Abstract:
This paper studies the problem of stabilizing a self-triggered control system with quantized output. Employing a standard observer-based state feedback control law, a self-triggering mechanism that dictates the next sampling time based on quantized output is co-developed with an output encoding scheme. If, in addition, the transmission protocols at the controller-to-actuator (C-A) and sensor-to-co…
▽ More
This paper studies the problem of stabilizing a self-triggered control system with quantized output. Employing a standard observer-based state feedback control law, a self-triggering mechanism that dictates the next sampling time based on quantized output is co-developed with an output encoding scheme. If, in addition, the transmission protocols at the controller-to-actuator (C-A) and sensor-to-controller (S-C) channels can be adapted, the self-triggered control architecture can be considerably simplified, leveraging a delicate observer-based deadbeat controller to eliminate the need for running the controller in parallel at the encoder side. To account for denial-of-service (DoS) in the S-C channel, the proposed output encoding and self-triggered control schemes are further made resilient. It is shown that a linear time-invariant system can be exponentially stabilized if some conditions on the average DoS duration time are met. There is a trade-off between the maximum inter-sampling time and the resilience against DoS attacks. Finally, a numerical example is presented to demonstrate the practical merits of the proposed self-triggered control schemes and associated theory.
△ Less
Submitted 14 February, 2023;
originally announced February 2023.
-
Decay of Operator Semigroups, Infinite-time Admissibility, and Related Resolvent Estimates
Authors:
Masashi Wakaiki
Abstract:
We study decay rates for bounded $C_0$-semigroups from the perspective of $L^p$-infinite-time admissibility and related resolvent estimates. In the Hilbert space setting, polynomial decay of semigroup orbits is characterized by the resolvent behavior in the open right half-plane. A similar characterization based on $L^p$-infinite-time admissibility is provided for multiplication semigroups on…
▽ More
We study decay rates for bounded $C_0$-semigroups from the perspective of $L^p$-infinite-time admissibility and related resolvent estimates. In the Hilbert space setting, polynomial decay of semigroup orbits is characterized by the resolvent behavior in the open right half-plane. A similar characterization based on $L^p$-infinite-time admissibility is provided for multiplication semigroups on $L^q$-spaces with $1 \leq q \leq p < \infty$. For polynomially stable $C_0$-semigroups on Hilbert spaces, we also give a sufficient condition for $L^2$-infinite-time admissibility.
△ Less
Submitted 20 April, 2024; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Self-triggered Consensus of Multi-agent Systems with Quantized Relative State Measurements
Authors:
Masashi Wakaiki
Abstract:
This paper addresses the consensus problem of first-order continuous-time multi-agent systems over undirected graphs. Each agent samples relative state measurements in a self-triggered fashion and transmits the sum of the measurements to its neighbors. Moreover, we use finite-level dynamic quantizers and apply the zooming-in technique. The proposed joint design method for quantization and self-tri…
▽ More
This paper addresses the consensus problem of first-order continuous-time multi-agent systems over undirected graphs. Each agent samples relative state measurements in a self-triggered fashion and transmits the sum of the measurements to its neighbors. Moreover, we use finite-level dynamic quantizers and apply the zooming-in technique. The proposed joint design method for quantization and self-triggered sampling achieves asymptotic consensus, and inter-event times are strictly positive. Sampling times are determined explicitly with iterative procedures including the computation of the Lambert $W$-function. A simulation example is provided to illustrate the effectiveness of the proposed method.
△ Less
Submitted 14 October, 2023; v1 submitted 5 October, 2022;
originally announced October 2022.
-
Robustness of Polynomial Stability with Respect to Sampling
Authors:
Masashi Wakaiki
Abstract:
We provide a partially affirmative answer to the following question on robustness of polynomial stability with respect to sampling: ``Suppose that a continuous-time state-feedback controller achieves the polynomial stability of the infinite-dimensional linear system. We apply an idealized sampler and a zero-order hold to a feedback loop around the controller. Then, is the sampled-data system stron…
▽ More
We provide a partially affirmative answer to the following question on robustness of polynomial stability with respect to sampling: ``Suppose that a continuous-time state-feedback controller achieves the polynomial stability of the infinite-dimensional linear system. We apply an idealized sampler and a zero-order hold to a feedback loop around the controller. Then, is the sampled-data system strongly stable for all sufficiently small sampling periods? Furthermore, is the polynomial decay of the continuous-time system transferred to the sampled-data system under sufficiently fast sampling?'' The generator of the open-loop system is assumed to be a Riesz-spectral operator whose eigenvalues are not on the imaginary axis but may approach it asymptotically. We provide conditions for strong stability to be preserved under fast sampling. Moreover, we estimate the decay rate of the state of the sampled-data system with a smooth initial state and a sufficiently small sampling period.
△ Less
Submitted 27 July, 2023; v1 submitted 9 May, 2022;
originally announced May 2022.
-
Decay Rate of $\exp(A^{-1}t)A^{-1}$ on a Hilbert Space and the Crank-Nicolson Scheme with Smooth Initial Data
Authors:
Masashi Wakaiki
Abstract:
This paper is concerned with the decay rate of $e^{A^{-1}t}A^{-1}$ for the generator $A$ of an exponentially stable $C_0$-semigroup on a Hilbert space. To estimate the decay rate of $e^{A^{-1}t}A^{-1}$, we apply a bounded functional calculus. Using this estimate and Lyapunov equations, we also study the quantified asymptotic behavior of the Crank-Nicolson scheme with smooth initial data. A similar…
▽ More
This paper is concerned with the decay rate of $e^{A^{-1}t}A^{-1}$ for the generator $A$ of an exponentially stable $C_0$-semigroup on a Hilbert space. To estimate the decay rate of $e^{A^{-1}t}A^{-1}$, we apply a bounded functional calculus. Using this estimate and Lyapunov equations, we also study the quantified asymptotic behavior of the Crank-Nicolson scheme with smooth initial data. A similar argument is applied to a polynomially stable $C_0$-semigroup whose generator is normal.
△ Less
Submitted 14 November, 2023; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Cell Zooming with Masked Data for Off-Grid Small Cell Networks: Distributed Optimization Approach
Authors:
Masashi Wakaiki,
Katsuya Suto,
Izumi Masubuchi
Abstract:
Cell zooming has been becoming an essential enabler for off-grid small cell networks. Traditional models often utilize the numbers of active users in order to determine cell zooming strategies. However, such confidential measurement data must be concealed from others. We therefore propose a novel cell zooming method with masking noise. The proposed algorithm is designed based on distributed optimi…
▽ More
Cell zooming has been becoming an essential enabler for off-grid small cell networks. Traditional models often utilize the numbers of active users in order to determine cell zooming strategies. However, such confidential measurement data must be concealed from others. We therefore propose a novel cell zooming method with masking noise. The proposed algorithm is designed based on distributed optimization, in which each SBS locally solves a divided optimization problem and learns how much a global constraint is satisfied or violated for temporal solutions. The important feature of this distributed control method is robustness against masking noise. We analyze the trade-off between confidentiality and optimization accuracy, using the notion of differential privacy. Numerical simulations show that the proposed distributed control method outperforms a standard centralized control method in the presence of masking noise.
△ Less
Submitted 25 October, 2021;
originally announced October 2021.
-
Semi-uniform Input-to-state Stability of Infinite-dimensional Systems
Authors:
Masashi Wakaiki
Abstract:
We introduce the notions of semi-uniform input-to-state stability and its subclass, polynomial input-to-state stability, for infinite-dimensional systems. We establish a characterization of semi-uniform input-to-state stability based on attractivity properties as in the uniform case. Sufficient conditions for linear systems to be polynomially input-to-state stable are provided, which restrict the…
▽ More
We introduce the notions of semi-uniform input-to-state stability and its subclass, polynomial input-to-state stability, for infinite-dimensional systems. We establish a characterization of semi-uniform input-to-state stability based on attractivity properties as in the uniform case. Sufficient conditions for linear systems to be polynomially input-to-state stable are provided, which restrict the range of the input operator depending on the rate of polynomial decay of the product of the semigroup and the resolvent of its generator. We also show that a class of bilinear systems are polynomially integral input-to-state stable under a certain smoothness assumption on nonlinear operators.
△ Less
Submitted 27 May, 2022; v1 submitted 21 June, 2021;
originally announced June 2021.
-
Stability of Infinite-dimensional Sampled-data Systems with Unbounded Control Operators and Perturbations
Authors:
Masashi Wakaiki
Abstract:
We analyze the robustness of the exponential stability of infinite-dimensional sampled-data systems with unbounded control operators. The unbounded perturbations we consider are the so-called Desch-Schappacher perturbations, which arise, e.g., from the boundary perturbations of systems described by partial differential equations. As the main result, we show that the exponential stability of the sa…
▽ More
We analyze the robustness of the exponential stability of infinite-dimensional sampled-data systems with unbounded control operators. The unbounded perturbations we consider are the so-called Desch-Schappacher perturbations, which arise, e.g., from the boundary perturbations of systems described by partial differential equations. As the main result, we show that the exponential stability of the sampled-data system is preserved under all Desch-Schappacher perturbations sufficiently small in a certain sense.
△ Less
Submitted 21 February, 2022; v1 submitted 6 May, 2021;
originally announced May 2021.
-
Self-triggered Stabilization of Discrete-time Linear Systems with Quantized State Measurements
Authors:
Masashi Wakaiki
Abstract:
We study the self-triggered stabilization of discrete-time linear systems with quantized state measurements. In the networked control system we consider, sensors may be spatially distributed and be connected to a self-triggering mechanism through finite data-rate channels. Each sensor independently encodes its measurements and sends them to the self-triggering mechanism. The self-triggering mechan…
▽ More
We study the self-triggered stabilization of discrete-time linear systems with quantized state measurements. In the networked control system we consider, sensors may be spatially distributed and be connected to a self-triggering mechanism through finite data-rate channels. Each sensor independently encodes its measurements and sends them to the self-triggering mechanism. The self-triggering mechanism integrates quantized measurement data and then computes sampling times. Assuming that the closed-loop system is stable in the absence of quantization and self-triggered sampling, we propose a joint design method of an encoding scheme and a self-triggering mechanism for stabilization. To deal with data inaccuracy due to quantization, the proposed self-triggering mechanism uses not only quantized data but also an upper bound of quantization errors, which is shared with a decoder.
△ Less
Submitted 6 April, 2022; v1 submitted 29 March, 2021;
originally announced March 2021.
-
The Cayley transform of the generator of a polynomially stable $C_0$-semigroup
Authors:
Masashi Wakaiki
Abstract:
In this paper, we study the decay rate of the Cayley transform of the generator of a polynomially stable $C_0$-semigroup. To estimate the decay rate of the Cayley transform, for polynomial stability. Using this integral condition, we relate polynomial stability to Lyapunov equations. We also study robustness of polynomial stability for a certain class of structured perturbations.
In this paper, we study the decay rate of the Cayley transform of the generator of a polynomially stable $C_0$-semigroup. To estimate the decay rate of the Cayley transform, for polynomial stability. Using this integral condition, we relate polynomial stability to Lyapunov equations. We also study robustness of polynomial stability for a certain class of structured perturbations.
△ Less
Submitted 9 June, 2021; v1 submitted 18 March, 2021;
originally announced March 2021.
-
Strong Stability of Sampled-data Riesz-spectral Systems
Authors:
Masashi Wakaiki
Abstract:
Suppose that a continuous-time linear infinite-dimensional system with a static state-feedback controller is strongly stable. We address the following question: If we convert the continuous-time controller to a sampled-data controller by applying an idealized sampler and a zero-order hold, will the resulting sampled-data system be strongly stable for all sufficiently small sampling periods? In thi…
▽ More
Suppose that a continuous-time linear infinite-dimensional system with a static state-feedback controller is strongly stable. We address the following question: If we convert the continuous-time controller to a sampled-data controller by applying an idealized sampler and a zero-order hold, will the resulting sampled-data system be strongly stable for all sufficiently small sampling periods? In this paper, we restrict our attention to the situation where the generator of the open-loop system is a Riesz-spectral operator and its point spectrum has a limit point at the origin. We present conditions under which the answer to the above question is affirmative. In the robustness analysis, we show that the sufficient condition for strong stability obtained in the Arendt-Batty-Lyubich-Vũ theorem is preserved between the original continuous-time system and the sampled-data system under fast sampling.
△ Less
Submitted 20 September, 2021; v1 submitted 31 July, 2020;
originally announced July 2020.
-
Stability Analysis of Infinite-dimensional Event-triggered and Self-triggered Control Systems with Lipschitz Perturbations
Authors:
Masashi Wakaiki,
Hideki Sano
Abstract:
This paper addresses the following question: "Suppose that a state-feedback controller stabilizes an infinite-dimensional linear continuous-time system. If we choose the parameters of an event/self-triggering mechanism appropriately, is the event/self-triggered control system stable under all sufficiently small nonlinear Lipschitz perturbations?" We assume that the stabilizing feedback operator is…
▽ More
This paper addresses the following question: "Suppose that a state-feedback controller stabilizes an infinite-dimensional linear continuous-time system. If we choose the parameters of an event/self-triggering mechanism appropriately, is the event/self-triggered control system stable under all sufficiently small nonlinear Lipschitz perturbations?" We assume that the stabilizing feedback operator is compact. This assumption is used to guarantee the strict positiveness of inter-event times and the existence of the mild solution of evolution equations with unbounded control operators. First, for the case where the control operator is bounded, we show that the answer to the above question is positive, giving a sufficient condition for exponential stability, which can be employed for the design of event/self-triggering mechanisms. Next, we investigate the case where the control operator is unbounded and prove that the answer is still positive for periodic event-triggering mechanisms.
△ Less
Submitted 2 July, 2022; v1 submitted 28 November, 2019;
originally announced November 2019.
-
Stability Analysis of Perturbed Infinite-dimensional Sampled-data Systems
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
This paper addresses the stability analysis of infinite-dimensional sampled-data systems under unbounded perturbations. We present two classes of unbounded perturbations preserving the exponential stability of sampled-data systems. To this end, we investigate the continuity of strongly continuous semigroups with respect to their generators, considering the uniform operator topology.
This paper addresses the stability analysis of infinite-dimensional sampled-data systems under unbounded perturbations. We present two classes of unbounded perturbations preserving the exponential stability of sampled-data systems. To this end, we investigate the continuity of strongly continuous semigroups with respect to their generators, considering the uniform operator topology.
△ Less
Submitted 3 October, 2019;
originally announced October 2019.
-
Sampled-data Output Regulation of Unstable Well-posed Infinite-dimensional Systems with Constant Reference and Disturbance Signals
Authors:
Masashi Wakaiki,
Hideki Sano
Abstract:
We study the sample-data control problem of output tracking and disturbance rejection for unstable well-posed linear infinite-dimensional systems with constant reference and disturbance signals. We obtain a sufficient condition for the existence of finite-dimensional sampled-data controllers that are solutions of this control problem. To this end, we study the problem of output tracking and distur…
▽ More
We study the sample-data control problem of output tracking and disturbance rejection for unstable well-posed linear infinite-dimensional systems with constant reference and disturbance signals. We obtain a sufficient condition for the existence of finite-dimensional sampled-data controllers that are solutions of this control problem. To this end, we study the problem of output tracking and disturbance rejection for infinite-dimensional discrete-time systems and propose a design method of finite-dimensional controllers by using a solution of the Nevanlinna-Pick interpolation problem with both interior and boundary conditions. We apply our results to systems with state and output delays.
△ Less
Submitted 15 November, 2019; v1 submitted 22 January, 2019;
originally announced January 2019.
-
LQ-optimal Sample-data Control under Stochastic Delays: Gridding Approach for Stabilizability and Detectability
Authors:
Masashi Wakaiki,
Masaki Ogura,
Joao P. Hespanha
Abstract:
We solve a linear quadratic optimal control problem for sampled-data systems with stochastic delays. The delays are stochastically determined by the last few delays. The proposed optimal controller can be efficiently computed by iteratively solving a Riccati difference equation, provided that a discrete-time Markov jump system equivalent to the sampled-data system is stochastic stabilizable and de…
▽ More
We solve a linear quadratic optimal control problem for sampled-data systems with stochastic delays. The delays are stochastically determined by the last few delays. The proposed optimal controller can be efficiently computed by iteratively solving a Riccati difference equation, provided that a discrete-time Markov jump system equivalent to the sampled-data system is stochastic stabilizable and detectable. Sufficient conditions for these notions are provided in the form of linear matrix inequalities, from which stabilizing controllers and state observers can be constructed.
△ Less
Submitted 17 May, 2018;
originally announced May 2018.
-
An LMI Approach to Stability Analysis of Coupled Parabolic Systems
Authors:
Masashi Wakaiki
Abstract:
We analyze the exponential stability of distributed parameter systems. The system we consider is described by a coupled parabolic partial differential equation with spatially varying coefficients. We approximate the coefficients by splitting space domains but take into account approximation errors during stability analysis. Using a quadratic Lyapunov function, we obtain sufficient conditions for e…
▽ More
We analyze the exponential stability of distributed parameter systems. The system we consider is described by a coupled parabolic partial differential equation with spatially varying coefficients. We approximate the coefficients by splitting space domains but take into account approximation errors during stability analysis. Using a quadratic Lyapunov function, we obtain sufficient conditions for exponential stability in terms of linear matrix inequalities.
△ Less
Submitted 20 May, 2019; v1 submitted 2 February, 2018;
originally announced February 2018.
-
Event-triggered Control of Infinite-dimensional Systems
Authors:
Masashi Wakaiki,
Hideki Sano
Abstract:
This paper addresses the problem of event-triggered control for infinite-dimensional systems. We employ event-triggering mechanisms that compare the plant state and the error of the control input induced by the event-triggered implementation. Under the assumption that feedback operators are compact, a strictly positive lower bound on the inter-event times can be guaranteed. We show that if the thr…
▽ More
This paper addresses the problem of event-triggered control for infinite-dimensional systems. We employ event-triggering mechanisms that compare the plant state and the error of the control input induced by the event-triggered implementation. Under the assumption that feedback operators are compact, a strictly positive lower bound on the inter-event times can be guaranteed. We show that if the threshold of the event-triggering mechanisms is sufficiently small, then the event-triggered control system with a bounded control operator and a compact feedback operator is exponentially stable. For infinite-dimensional systems with unbounded control operators, we employ two event-triggering mechanisms that are based on system decomposition and periodic event-triggering, respectively, and then analyze the exponential stability of the closed-loop system under each event-triggering mechanism.
△ Less
Submitted 28 November, 2019; v1 submitted 16 January, 2018;
originally announced January 2018.
-
Stabilization of Networked Control Systems under DoS Attacks and Output Quantization
Authors:
Masashi Wakaiki,
Ahmet Cetinkaya,
Hideaki Ishii
Abstract:
This paper addresses quantized output feedback stabilization under Denial-of-Service (DoS) attacks. First, assuming that the duration and frequency of DoS attacks are averagely bounded and that an initial bound of the plant state is known, we propose an output encoding scheme that achieves exponential convergence with finite data rates. Next we show that a suitable state transformation allows us t…
▽ More
This paper addresses quantized output feedback stabilization under Denial-of-Service (DoS) attacks. First, assuming that the duration and frequency of DoS attacks are averagely bounded and that an initial bound of the plant state is known, we propose an output encoding scheme that achieves exponential convergence with finite data rates. Next we show that a suitable state transformation allows us to remove the assumption on the DoS frequency. Finally, we discuss the derivation of state bounds under DoS attacks and obtain sufficient conditions on the bounds of DoS duration and frequency for achieving Lyapunov stability of the closed-loop system.
△ Less
Submitted 10 August, 2018; v1 submitted 24 September, 2017;
originally announced September 2017.
-
Stability and $\ell^2$-gain Analysis of Adaptive Control Systems with Event-triggered Try-once-discard Protocols
Authors:
Masashi Wakaiki
Abstract:
This paper addresses the stability and $\ell^2$-gain analysis of adaptive control systems with event-triggered try-once-discard protocols. At every sampling time, an event trigger evaluates an error between the current value and the last released value of each measurement and determines whether to transmit the measurements and which measurements to transmit, based on the try-once-discard protocol…
▽ More
This paper addresses the stability and $\ell^2$-gain analysis of adaptive control systems with event-triggered try-once-discard protocols. At every sampling time, an event trigger evaluates an error between the current value and the last released value of each measurement and determines whether to transmit the measurements and which measurements to transmit, based on the try-once-discard protocol and given lower and upper thresholds. For gain-scheduling controllers and switching controllers that are adaptive to the maximum error of the measurements, we obtain sufficient conditions for the practical stability and upper bounds on the $\ell^2$-gain of the closed-loop system.
△ Less
Submitted 23 January, 2018; v1 submitted 16 May, 2017;
originally announced May 2017.
-
Quantized output feedback stabilization by Luenberger observers
Authors:
Masashi Wakaiki,
Tadanao Zanma,
Kang-Zhi Liu
Abstract:
We study a stabilization problem for systems with quantized output feedback. The state estimate from a Luenberger observer is used for control inputs and quantization centers. First we consider the case when only the output is quantized and provide data-rate conditions for stabilization. We next generalize the results to the case where both of the plant input and output are quantized and where con…
▽ More
We study a stabilization problem for systems with quantized output feedback. The state estimate from a Luenberger observer is used for control inputs and quantization centers. First we consider the case when only the output is quantized and provide data-rate conditions for stabilization. We next generalize the results to the case where both of the plant input and output are quantized and where controllers send the quantized estimate of the plant output to encoders as quantization centers. Finally, we present the numerical comparison of the derived data-rate conditions with those in the earlier studies and a time response of an inverted pendulum.
△ Less
Submitted 19 March, 2017;
originally announced March 2017.
-
Delayed Bet-Hedging Resilience Strategies Under Environmental Fluctuations
Authors:
Masaki Ogura,
Masashi Wakaiki,
Harvey Rubin,
Victor M. Preciado
Abstract:
Many biological populations, such as bacterial colonies, have developed through evolution a protection mechanism, called bet-hedging, to increase their probability of survival under stressful environmental fluctutation. In this context, the concept of preadaptation refers to a common type of bet-hedging protection strategy in which a relatively small number of individuals in a population stochasti…
▽ More
Many biological populations, such as bacterial colonies, have developed through evolution a protection mechanism, called bet-hedging, to increase their probability of survival under stressful environmental fluctutation. In this context, the concept of preadaptation refers to a common type of bet-hedging protection strategy in which a relatively small number of individuals in a population stochastically switch their phenotypes to a `dormant' metabolic state in which they increase their probability of survival against potential environmental shocks. Hence, if an environmental shock took place at some point in time, preadapted organisms would be better adapted to survive and proliferate once the shock is over. In many biological populations, the mechanisms of preadaptation and proliferation present delays whose influence in the fitness of the population are not well-understood. In this paper, we propose a rigorous mathematical framework to analyze the role of delays in both preadaptation and proliferation mechanisms in the survival of biological populations, with an emphasis on bacterial colonies. Our theoretical framework allows us to analytically quantify the average growth rate of a bet-hedging bacterial colony with stochastically delayed reactions with arbitrary precision. We verify the accuracy of the proposed method by numerical simulations and conclude that the growth rate of a bet-hedging population shows a non-trivial dependency on their preadaptation and proliferation delays. Contrary to the current belief, our results show that faster reactions do not, in general, increase the overall fitness of a biological population.
△ Less
Submitted 20 April, 2017; v1 submitted 31 January, 2017;
originally announced February 2017.
-
Supervisory Control of Discrete-event Systems under Attacks
Authors:
Masashi Wakaiki,
Paulo Tabuada,
Joao P. Hespanha
Abstract:
We consider a multi-adversary version of the supervisory control problem for discrete-event systems, in which an adversary corrupts the observations available to the supervisor. The supervisor's goal is to enforce a specific language in spite of the opponent's actions and without knowing which adversary it is playing against. This problem is motivated by applications to computer security in which…
▽ More
We consider a multi-adversary version of the supervisory control problem for discrete-event systems, in which an adversary corrupts the observations available to the supervisor. The supervisor's goal is to enforce a specific language in spite of the opponent's actions and without knowing which adversary it is playing against. This problem is motivated by applications to computer security in which a cyber defense system must make decisions based on reports from sensors that may have been tampered with by an attacker. We start by showing that the problem has a solution if and only if the desired language is controllable (in the Discrete event system classical sense) and observable in a (novel) sense that takes the adversaries into account. For the particular case of attacks that insert symbols into or remove symbols from the sequence of sensor outputs, we show that testing the existence of a supervisor and building the supervisor can be done using tools developed for the classical DES supervisory control problem, by considering a family of automata with modified output maps, but without expanding the size of the state space and without incurring on exponential complexity on the number of attacks considered., we construct observers that are robust against attacks and lead to an automaton representation of the supervisor. We also develop a test for observability under such replacement-removal attacks by using the so-called product automata.
△ Less
Submitted 22 August, 2018; v1 submitted 3 January, 2017;
originally announced January 2017.
-
Dynamic Analysis of Bet-Hedging Strategies as a Protection Mechanism against Environmental Fluctuations
Authors:
Masaki Ogura,
Masashi Wakaiki,
Victor M. Preciado
Abstract:
In order to increase their robustness against environmental fluctuations, many biological populations have developed bet-hedging mechanisms in which the population `bets' against the presence of prolonged favorable environmental conditions by having a few individual behaving as if they sensed a threatening or stressful environment. As a result, the population (as a whole) increases its chances of…
▽ More
In order to increase their robustness against environmental fluctuations, many biological populations have developed bet-hedging mechanisms in which the population `bets' against the presence of prolonged favorable environmental conditions by having a few individual behaving as if they sensed a threatening or stressful environment. As a result, the population (as a whole) increases its chances of surviving environmental fluctuations in the long term, while sacrificing short-term performance. In this paper, we propose a theoretical framework, based on Markov jump linear systems, to model and evaluate the performance of bet-hedging strategies in the presence of stochastic fluctuations. We illustrate our results using numerical simulations.
△ Less
Submitted 15 March, 2016;
originally announced March 2016.
-
Stabilization of systems with asynchronous sensors and controllers
Authors:
Masashi Wakaiki,
Kunihisa Okano,
Joao P. Hespanha
Abstract:
We study the stabilization of networked control systems with asynchronous sensors and controllers. Offsets between the sensor and controller clocks are unknown and modeled as parametric uncertainty. First we consider multi-input linear systems and provide a sufficient condition for the existence of linear time-invariant controllers that are capable of stabilizing the closed-loop system for every c…
▽ More
We study the stabilization of networked control systems with asynchronous sensors and controllers. Offsets between the sensor and controller clocks are unknown and modeled as parametric uncertainty. First we consider multi-input linear systems and provide a sufficient condition for the existence of linear time-invariant controllers that are capable of stabilizing the closed-loop system for every clock offset in a given range of admissible values. For first-order systems, we next obtain the maximum length of the offset range for which the system can be stabilized by a single controller. Finally, this bound is compared with the offset bounds that would be allowed if we restricted our attention to static output feedback controllers.
△ Less
Submitted 1 March, 2017; v1 submitted 28 January, 2016;
originally announced January 2016.
-
Stability analysis of sampled-data switched systems with quantization
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
We propose a stability analysis method for sampled-data switched linear systems with finite-level static quantizers. In the closed-loop system, information on the active mode of the plant is transmitted to the controller only at each sampling time. This limitation of switching information leads to a mode mismatch between the plant and the controller, and the system may become unstable. A mode mism…
▽ More
We propose a stability analysis method for sampled-data switched linear systems with finite-level static quantizers. In the closed-loop system, information on the active mode of the plant is transmitted to the controller only at each sampling time. This limitation of switching information leads to a mode mismatch between the plant and the controller, and the system may become unstable. A mode mismatch also makes it difficult to find an attractor set to which the state trajectory converges. A switching condition for stability is characterized by the total time when the modes of the plant and the controller are different. Under the condition, we derive an ultimate bound on the state trajectories by using a common Lyapunov function computed from a randomized algorithm. The switching condition can be reduced to a dwell-time condition.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Stabilization of continuous-time switched linear systems with quantized output feedback
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
In this paper, we study the problem of stabilizing continuous-time switched linear systems with quantized output feedback. We assume that the observer and the control gain are given for each mode. Also, the plant mode is known to the controller and the quantizer. Extending the result in the non-switched case, we develop an update rule of the quantizer to achieve asymptotic stability of the closed-…
▽ More
In this paper, we study the problem of stabilizing continuous-time switched linear systems with quantized output feedback. We assume that the observer and the control gain are given for each mode. Also, the plant mode is known to the controller and the quantizer. Extending the result in the non-switched case, we develop an update rule of the quantizer to achieve asymptotic stability of the closed-loop system under the average dwell-time assumption. To avoid quantizer saturation, we adjust the quantizer at every switching time.
△ Less
Submitted 1 September, 2015;
originally announced September 2015.
-
Stabilization of discrete-time piecewise affine systems with quantized signals
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
This paper studies quantized control for discrete-time piecewise affine systems. For given stabilizing feedback controllers, we propose an encoding strategy for local stability. If the quantized state is near the boundaries of quantization regions, then the controller can recompute a better quantization value. For the design of quantized feedback controllers, we also consider the stabilization of…
▽ More
This paper studies quantized control for discrete-time piecewise affine systems. For given stabilizing feedback controllers, we propose an encoding strategy for local stability. If the quantized state is near the boundaries of quantization regions, then the controller can recompute a better quantization value. For the design of quantized feedback controllers, we also consider the stabilization of piecewise affine systems with bounded disturbances. In order to derive a less conservative design method with low computational cost, we investigate a region to which the state belong in the next step.
△ Less
Submitted 3 September, 2015; v1 submitted 18 August, 2015;
originally announced August 2015.
-
Output Feedback Stabilization of Switched Linear Systems with Limited Information
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
We propose an encoding and control strategy for the stabilization of switched systems with limited information, supposing the controller is given for each mode. Only the quantized output and the active mode of the plant at each sampling time are transmitted to the controller. Due to switching, the active mode of the plant may be different from that of the controller in the closed-loop system. Henc…
▽ More
We propose an encoding and control strategy for the stabilization of switched systems with limited information, supposing the controller is given for each mode. Only the quantized output and the active mode of the plant at each sampling time are transmitted to the controller. Due to switching, the active mode of the plant may be different from that of the controller in the closed-loop system. Hence if switching occurs, the quantizer must recalculate a bounded set containing the estimation error for quantization at the next sampling time. We establish the global asymptotic stability under a slow-switching assumption on dwell time and average dwell time. To this end, we construct multiple discrete-time Lyapunov functions with respect to the estimated state and the size of the bounded set.
△ Less
Submitted 18 December, 2014; v1 submitted 26 November, 2014;
originally announced November 2014.
-
Quantized Feedback Stabilization of Sampled-Data Switched Linear Systems
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
We propose a stability analysis method for sampled-data switched linear systems with quantization. The available information to the controller is limited: the quantized state and switching signal at each sampling time. Switching between sampling times can produce the mismatch of the modes between the plant and the controller. Moreover, the coarseness of quantization makes the trajectory wander aro…
▽ More
We propose a stability analysis method for sampled-data switched linear systems with quantization. The available information to the controller is limited: the quantized state and switching signal at each sampling time. Switching between sampling times can produce the mismatch of the modes between the plant and the controller. Moreover, the coarseness of quantization makes the trajectory wander around, not approach, the origin. Hence the trajectory may leave the desired neighborhood if the mismatch leads to instability of the closed-loop system. For the stability of the switched systems, we develop a sufficient condition characterized by the total mismatch time. The relationship between the mismatch time and the dwell time of the switching signal is also discussed.
△ Less
Submitted 11 August, 2014; v1 submitted 19 March, 2014;
originally announced March 2014.
-
Quantized Output Feedback Stabilization of Switched Linear Systems
Authors:
Masashi Wakaiki,
Yutaka Yamamoto
Abstract:
This paper studies the problem of stabilizing a continuous-time switched linear system by quantized output feedback. We assume that the quantized outputs and the switching signal are available to the controller at all time. We develop an encoding strategy by using multiple Lyapunov functions and an average dwell time property. The encoding strategy is based on the results in the case of a single m…
▽ More
This paper studies the problem of stabilizing a continuous-time switched linear system by quantized output feedback. We assume that the quantized outputs and the switching signal are available to the controller at all time. We develop an encoding strategy by using multiple Lyapunov functions and an average dwell time property. The encoding strategy is based on the results in the case of a single mode, and it requires an additional adjustment of the "zoom" parameter at every switching time.
△ Less
Submitted 18 March, 2014;
originally announced March 2014.
