arXiv subjects

Shinji Hara

Publications and source records attributed to Shinji Hara.

At least 19 recordsLinked to original sources

arXiv2026

Linear Coding of LTI Sources Over Vector Gaussian Channels: A Majorization Approach

We study the design of linear time-invariant (LTI) encoder-decoder pairs for transmitting the state of a discrete-time LTI vector source over power-constrained parallel Gaussian channels with feedback. Two types of power constraints are considered. Under individual subchannel power constraints, a necessary and sufficient condition for designing an encoder-decoder pair that achieves bounded estimation error covariance (EEC) is established via two coupled majorization inequalities involving the subchannel signal-to-noise ratios and the antistable poles of the source. Under total channel power constraint, we derive the minimum total power required for a feasible encoder-decoder design by exploiting partial-order progamming under majorization order. An analytical optimal power allocation is obtained for the case of equal noise variances, which admits a water-filling interpretation; for general noise case, a sequential water-filling algorithm is developed. Our results reveal that the difficulty of transmitting a discrete-time LTI source via LTI coding is governed not only by its topological entropy, but also by the evenness of the log-magnitudes of its antistable poles. The design methods for feasible encoder-decoder pairs are also provided.

cs.IT↗

arXiv2026

Exact Robust Instability Analysis for Networked Dynamical Systems with Biological Application

This paper investigates robust instability in nominally unstable uncertain networked dynamical systems, where all nominal agents share an identical single-input-single-output (SISO) linear time-invariant (LTI) system and each agent is subject to independent perturbations. This setting is motivated by the problem of sustaining periodic oscillations in nonlinear dynamics, for which exact analysis is generally intractable. We identify three classes of network structures including cyclic and certain rank-deficient networks for which the robust instability problem can be reduced to the analysis of a single representative SISO system. We derive sufficient conditions that exactly characterize the robust instability radius for these network classes. Finally, we demonstrate the practical utility of the proposed results by analyzing oscillatory behavior in a genetic regulatory network.

eess.SY↗

arXiv2026

Robust Instability Radius for Networked Dynamical Systems: Upper and Lower Bounds

This paper is concerned with robust instability of uncertain network systems. We consider the multi-agent system described as a network of single-input-single-output agents with identical nominal dynamics subject to heterogeneous perturbations. The network description is formalized as a feedback interconnection of a diagonal uncertainty, nominal identical agents, and a static interconnection matrix. Assuming that the nominal network is unstable, we seek the robust instability radius (RIR), defined as the smallest norm of the stable uncertainty that renders the network stable. Conditions for the network stability are developed, and upper and lower bounds on the RIR are derived. When the network connectivity matrix is rank one and all diagonal entries share the same sign or are zero, we give conditions under which the RIR is exactly characterized by a small gain argument.

eess.SY↗

arXiv2026

Observer-Based Stabilization for Linear Multi-Agent Dynamical Systems Using Generalized Frequency Variables

We address the conditions and design of controllers and observers for homogeneous networks of linear MIMO agents. We develop networked controllers and observers that ensure the stability of both the system state and the estimation error, leveraging the concept of generalized frequency variables. A separation principle for networks is then established, showing that the observer and controller can be designed independently and combined to achieve a stable output feedback. Our results are illustrated via a highly unstable, oscillatory network of locally actuated pendulums on carts. Finally, necessary conditions for controllability and observability -- derived from agent properties and network structure -- are established and discussed.

eess.SY↗

arXiv2026

Frequency Shaping Control for Oscillation Damping in Weakly-Connected Power Network: A Root Locus Method

Frequency control following a contingency event is of vital concern in power system operations. Leveraging inverter-based resources, it is not hard to shape the center of inertia (COI) frequency nicely. However, under weak grid conditions, it becomes insufficient to solely shape the COI frequency since this aggregate signal fails to reveal the inter-area oscillations. In this manuscript, we advocate for foolproof fine-tuning rules for \emph{frequency shaping control} (FS) based on a systematic analysis of damping ratio and decay rate of inter-area oscillations to simultaneously meet specified metrics for frequency security and oscillatory stability. To this end, building on a modal decomposition, we simplify the oscillation damping problem into a pole-placement task for a set of scalar subsystems, which can be efficiently solved by only investigating the root locus of a scalar subsystem associated with the main mode, while FS inherently guarantees a Nadir-less COI frequency response. Through our proposed root-locus-based oscillatory stability analysis, we derive closed-form expressions for the minimum damping ratio and decay rate among inter-area oscillations in terms of networked system and control parameters under FS. Moreover, we propose useful tuning guidelines for FS which need only simple calculations or visualized tuning to not only shape the COI frequency into a first-order response that converges to a steady-state value within the allowed range but also ensure a satisfactory damping ratio and decay rate of inter-area oscillations following disturbances. As for the common virtual inertia control (VI), although similar oscillatory stability analysis becomes intractable, one can still glean some insights via the root locus method. Numerical simulations validate the proposed tuning for FS as well as the superiority of FS over VI in exponential convergence rate.

eess.SY↗

arXiv2024

Exact Instability Radius of Discrete-Time LTI Systems

The robust instability of an unstable plant subject to stable perturbations is of significant importance and arises in the study of sustained oscillatory phenomena in nonlinear systems. This paper analyzes the robust instability of linear discrete-time systems against stable perturbations via the notion of robust instability radius (RIR) as a measure of instability. We determine the exact RIR for certain unstable systems using small-gain type conditions by formulating the problem in terms of a phase change rate maximization subject to appropriate constraints at unique peak-gain frequencies, for which stable first-order all-pass functions are shown to be optimal. Two real-world applications -- minimum-effort sampled-data control of magnetic levitation systems and neural spike generations in the FitzHugh--Nagumo model subject to perturbations -- are provided to illustrate the utility of our results.

eess.SY↗

arXiv2023

On Phase Change Rate Maximization with Practical Applications

We recapitulate the notion of phase change rate maximization and demonstrate the usefulness of its solution on analyzing the robust instability of a cyclic network of multi-agent systems subject to a homogenous multiplicative perturbation. Subsequently, we apply the phase change rate maximization result to two practical applications. The first is a magnetic levitation system, while the second is a repressilator with time-delay in synthetic biology.

eess.SY↗

arXiv2022

Exact Instability Margin Analysis and Minimum-Norm Strong Stabilization -- phase change rate maximization --

This paper is concerned with a new optimization problem named "phase change rate maximization" for single-input-single-output linear time-invariant systems. The problem relates to two control problems, namely robust instability analysis against stable perturbations and minimum-norm strong stabilization. We define an index of the instability margin called "robust instability radius (RIR)" as the smallest $H_\infty$-norm of a stable perturbation that stabilizes a given unstable system. This paper has two main contributions. It is first shown that the problem of finding the exact RIR via the small-gain condition can be transformed into the problem of maximizing the phase change rate at the peak frequency with a phase constraint. Then, we show that the maximum is attained by a constant or a first-order all-pass function and derive conditions, under which the RIR can be exactly characterized, in terms of the phase change rate. Two practical applications are provided to illustrate the utility of our results.

eess.SY↗

arXiv2021

Robust Instability Radius for Multi-agent Dynamical Systems with Cyclic Structure

This paper is concerned with robust instability analysis for linear multi-agent dynamical systems with cyclic structure. This relates to interesting and important periodic oscillation phenomena in biology and neuronal science, since the nonlinear phenomena often occur when the linearized model around an equilibrium point is unstable. We first make a problem setting on the analysis and define the notion of robust instability radius (RIR) as a quantitative measure for maximum allowable stable dynamic perturbation in terms of the H-infinity norm. After showing lower bounds of the RIR, we derive the exact RIR, which is analytic and scalable, for first order time-lag agents. Finally, we make a remark on the potential applicability to some classes of higher order systems.

eess.SY↗

arXiv2020

Instability Margin Analysis for Parametrized LTI Systems with Application to Repressilator

This paper is concerned with a robust instability analysis for the single-input-single-output unstable linear time-invariant (LTI) system under dynamic perturbations. The nominal system itself is possibly perturbed by the static gain of the uncertainty, which would be the case when a nonlinear uncertain system is linearized around an equilibrium point. We define the robust instability radius as the smallest $H_\infty$ norm of the stable linear perturbation that stabilizes the nominal system. There are two main theoretical results: one is on a partial characterization of unperturbed nominal systems for which the robust instability radius can be calculated exactly, and the other is a numerically tractable procedure for calculating the exact robust instability radius for nominal systems parametrized by a perturbation parameter. The results are applied to the repressilator in synthetic biology, where hyperbolic instability of a unique equilibrium guarantees the persistence of oscillation phenomena in the global sense, and the effectiveness of our linear robust instability analysis is confirmed by numerical simulations.

eess.SY↗

arXiv2020

Distributed Stabilization by Probability Control for Deterministic-Stochastic Large Scale Systems : Dissipativity Approach

By using dissipativity approach, we establish the stability condition for the feedback connection of a deterministic dynamical system $\Sigma$ and a stochastic memoryless map $\Psi$. After that, we extend the result to the class of large scale systems in which: $\Sigma$ consists of many sub-systems; and $\Psi$ consists of many "stochastic actuators" and "probability controllers" that control the actuator's output events. We will demonstrate the proposed approach by showing the design procedures to globally stabilize the manufacturing systems while locally balance the stock levels in any production process.

eess.SY↗

arXiv2020

Robust Instability Analysis with Application to Neuronal Dynamics

This paper is concerned with robust instability analysis of linear feedback systems subject to a dynamic uncertainty. The work is motivated by, and provides a basic foundation for, a more challenging problem of analyzing persistence of oscillations in nonlinear dynamical systems. We first formalize the problem for SISO LTI systems by introducing a notion of the robust instability radius (RIR). We provide a method for calculating the RIR exactly for a certain class of systems and show that it works well for a class of second order systems. This result is applied to the FitzHugh-Nagumo model for neuronal dynamics, and the effectiveness is confirmed by numerical simulations, where we properly care for the change of the equilibrium point.

eess.SY↗

arXiv2016

Hierarchical Decentralized Robust Optimal Design for Homogeneous Linear Multi-Agent Systems

This paper proposes novel approaches to design hierarchical decentralized robust controllers for homogeneous linear multi-agent systems (MASs) perturbed by disturbances/noise. Firstly, based on LQR method, we present a systematic procedure to design hierarchical decentralized optimal stabilizing controllers for MASs without disturbances/noise. Next, a method for deriving reduced-order hierarchical decentralized stabilizing controllers is presented by suitable selections of the weighting matrices in the LQR performance index. Secondly, the hierarchical decentralized robust controller designs in terms of $H_{\infty}$ and $H_{2}$ norms are introduced, which include two different scenarios namely general and LQR-based synthesis. For the general synthesis, the robust controller gains are computed as solutions of a distributed convex optimization problem with LMI constraints. On the other hand, for the LQR-based design, the robust controller gains obtained from the general synthesis are further verified as LQR stabilizing gains to be unified with the LQR-based design when there are no disturbances/noise. This results in a hierarchical decentralized inverse optimal control problem, for which we will propose a new method to resolve it. Finally, several numerical examples are presented to illustrate the effectiveness of the proposed approaches.

eess.SY↗

arXiv2015

Coordinated Spatial Pattern Formation in Biomolecular Communication Networks

This paper proposes a control theoretic framework to model and analyze the self-organized pattern formation of molecular concentrations in biomolecular communication networks, emerging applications in synthetic biology. In biomolecular communication networks, bionanomachines, or biological cells, communicate with each other using a cell-to-cell communication mechanism mediated by a diffusible signaling molecule, thereby the dynamics of molecular concentrations are approximately modeled as a reaction-diffusion system with a single diffuser. We first introduce a feedback model representation of the reaction-diffusion system and provide a systematic local stability/instability analysis tool using the root locus of the feedback system. The instability analysis then allows us to analytically derive the conditions for the self-organized spatial pattern formation, or Turing pattern formation, of the bionanomachines. We propose a novel synthetic biocircuit motif called activator-repressor-diffuser system and show that it is one of the minimum biomolecular circuits that admit self-organized patterns over cell population.

q-bio.MN↗

arXiv2014

Collective oscillation period of inter-coupled biological negative cyclic feedback oscillators

A number of biological rhythms originate from networks comprised of multiple cellular oscillators. But analytical results are still lacking on the collective oscillation period of inter-coupled gene regulatory oscillators, which, as has been reported, may be different from that of an autonomous oscillator. Based on cyclic feedback oscillators, we analyze the collective oscillation pattern of coupled cellular oscillators. First we give a condition under which the oscillator network exhibits oscillatory and synchronized behavior. Then we estimate the collective oscillation period based on a novel multivariable harmonic balance technique. Analytical results are derived in terms of biochemical parameters, thus giving insight into the basic mechanism of biological oscillation and providing guidance in synthetic biology design.

eess.SY↗

arXiv2013

Turing Instability in Reaction-Diffusion Systems with a Single Diffuser: Characterization Based on Root Locus

Cooperative behaviors arising from bacterial cell-to-cell communication can be modeled by reaction-diffusion equations having only a single diffusible component. This paper presents the following three contributions for the systematic analysis of Turing instability in such reaction-diffusion systems. (i) We first introduce a unified framework to formulate the reaction-diffusion system as an interconnected multi-agent dynamical system. (ii) Then, we mathematically classify biologically plausible and implausible Turing instabilities and characterize them by the root locus of each agent's dynamics, or the local reaction dynamics. (iii) Using this characterization, we derive analytic conditions for biologically plausible Turing instability, which provide useful guidance for the design and the analysis of biological networks. These results are demonstrated on an extended Gray-Scott model with a single diffuser.

eess.SY↗

arXiv2013

Noise-Induced Spatial Pattern Formation in Stochastic Reaction-Diffusion Systems

This paper is concerned with stochastic reaction-diffusion kinetics governed by the reaction-diffusion master equation. Specifically, the primary goal of this paper is to provide a mechanistic basis of Turing pattern formation that is induced by intrinsic noise. To this end, we first derive an approximate reaction-diffusion system by using linear noise approximation. We show that the approximated system has a certain structure that is associated with a coupled dynamic multi-agent system. This observation then helps us derive an efficient computation tool to examine the spatial power spectrum of the intrinsic noise. We numerically demonstrate that the result is quite effective to analyze noise-induced Turing pattern. Finally, we illustrate the theoretical mechanism behind the noise-induced pattern formation with a H2 norm interpretation of the multi-agent system.

q-bio.QM↗

arXiv2012

Existence of Oscillations in Cyclic Gene Regulatory Networks with Time Delay

This paper is concerned with conditions for the existence of oscillations in gene regulatory networks with negative cyclic feedback, where time delays in transcription, translation and translocation process are explicitly considered. The primary goal of this paper is to propose systematic analysis tools that are useful for a broad class of cyclic gene regulatory networks, and to provide novel biological insights. To this end, we adopt a simplified model that is suitable for capturing the essence of a large class of gene regulatory networks. It is first shown that local instability of the unique equilibrium state results in oscillations based on a Poincare-Bendixson type theorem. Then, a graphical existence condition, which is equivalent to the local instability of a unique equilibrium, is derived. Based on the graphical condition, the existence condition is analytically presented in terms of biochemical parameters. This allows us to find the dimensionless parameters that primarily affect the existence of oscillations, and to provide biological insights. The analytic conditions and biological insights are illustrated with two existing biochemical networks, Repressilator and the Hes7 gene regulatory networks.

eess.SY↗