Researcher profile

Masaki Ogura

Masaki Ogura contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
28works
0followers
14topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

28 published item(s)

preprint2025arXiv

Convex Optimization of Initial Perturbations toward Quantitative Weather Control

This study proposes introducing convex optimization to find initial perturbations of atmospheric states to realize specified changes in subsequent weather. In the proposed method, we formulate and solve an inverse problem to find effective perturbations in atmospheric variables so that controlled variables satisfy specified changes at a specified time. The proposed method first constructs a sensitivity matrix of controlled variables, such as accumulated precipitation, to the initial atmospheric variables, such as temperature and humidity, through sensitivity analysis using a numerical weather prediction (NWP) model. Then a convex optimization problem is formulated to achieve various control specifications involving not only quadratic functions but also absolute values and maximum values of the controlled variables and initial atmospheric variables in the cost function and constraints. The proposed method was validated through a benchmark warm bubble experiment using the NWP model. The experiments showed that the identified perturbations successfully realized specified spatial distributions of accumulated precipitation.

preprint2022arXiv

Communication-Free Shepherding Navigation with Multiple Steering Agents

Swarm guidance addresses a challenging problem considering the navigation and control of a group of passive agents. To solve this problem, shepherding offers a bio-inspired technique of navigating such group of agents by using external steering agents with appropriately designed movement law. Although most shepherding researches are mainly based on the availability of centralized instructions, these assumptions are not realistic enough to solve some emerging application problems. Therefore, this paper presents a decentralized shepherding method where each steering agent makes movements based on its own observation without any inter-agent communication. Our numerical simulations confirm the effectiveness of the proposed method by showing its high success rate and low costs in various placement patterns. These advantages particularly improve with the increase in the number of steering agents.

preprint2022arXiv

Mean Escape Time of Switched Riccati Differential Equations

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.

preprint2022arXiv

Optimization of stochastic switching buffer network via DC programming

This letter deals with the optimization problems of stochastic switching buffer networks, where the switching law is governed by Markov process. The dynamical buffer network is introduced, and its application in modeling the car-sharing network is also presented. To address the nonconvexity for getting a solution as close-to-the-global-optimal as possible of the optimization problem, we adopt a succinct but effective nonconvex optimization method called \emph{ DC (difference of convex functions) programming}. By resorting to the log-log convexity of a class of nonlinear functions called posynomials, the optimization problems can be reduced to DC programming problems. Finally, we verify the effectiveness of our results by simulation experiments.

preprint2022arXiv

Static Output Feedback Synthesis of Time-Delay Linear Systems via Deep Unfolding

We propose a deep unfolding-based approach for stabilization of time-delay linear systems. Deep unfolding is an emerging framework for design and improvement of iterative algorithms and attracting significant attentions in signal processing. In this paper, we propose an algorithm to design a static output feedback gain for stabilizing time-delay linear systems via deep unfolding. Within the algorithm, the learning part is driven by NeuralODE developed in the community of machine learning, while the gain verification is performed with linear matrix inequalities developed in the systems and control theory. The effectiveness of the proposed algorithm is illustrated with numerical simulations.

preprint2021arXiv

Deep unfolding-based output feedback control design for linear systems with input saturation

In this paper, we propose a deep unfolding-based framework for the output feedback control of systems with input saturation. Although saturation commonly arises in several practical control systems, there is still a scarce of effective design methodologies that can directly deal with the severe non-linearity of the saturation operator. In this paper, we aim to design an anti-windup controller for enlarging the region of stability of the closed-loop system by learning from the numerical simulations of the closed-loop system. The data-driven framework we propose in this paper is based on a deep-learning technique called Neural Ordinary Differential Equations. Within our framework, we first obtain a candidate controller by using the deep-learning technique, which is then tested by the existing theoretical results already established in the literature, thereby avoiding the computational challenge in the conventional design methodologies as well as theoretically guaranteeing the performance of the system. Our numerical simulation shows that the proposed framework can significantly outperform a conventional design methodology based on linear matrix inequalities.

preprint2020arXiv

Analysis of the susceptible-infected-susceptible epidemic dynamics in networks via the non-backtracking matrix

We study the stochastic susceptible-infected-susceptible model of epidemic processes on finite directed and weighted networks with arbitrary structure. We present a new lower bound on the exponential rate at which the probabilities of nodes being infected decay over time. This bound is directly related to the leading eigenvalue of a matrix that depends on the non-backtracking and incidence matrices of the network. The dimension of this matrix is N+M, where N and M are the number of nodes and edges, respectively. We show that this new lower bound improves on an existing bound corresponding to the so-called quenched mean-field theory. Although the bound obtained from a recently developed second-order moment-closure technique requires the computation of the leading eigenvalue of an N^2 x N^2 matrix, we illustrate in our numerical simulations that the new bound is tighter, while being computationally less expensive for sparse networks. We also present the expression for the corresponding epidemic threshold in terms of the adjacency matrix of the line graph and the non-backtracking matrix of the given network.

preprint2020arXiv

Distributed Collaborative 3D-Deployment of UAV Base Stations for On-Demand Coverage

Deployment of unmanned aerial vehicles (UAVs) performing as flying aerial base stations (BSs) has a great potential of adaptively serving ground users during temporary events, such as major disasters and massive events. However, planning an efficient, dynamic, and 3D deployment of UAVs in adaptation to dynamically and spatially varying ground users is a highly complicated problem due to the complexity in air-to-ground channels and interference among UAVs. In this paper, we propose a novel distributed 3D deployment method for UAV-BSs in a downlink network for on-demand coverage. Our method consists mainly of the following two parts: sensing-aided crowd density estimation and distributed push-sum algorithm. The first part estimates the ground user density from its observation through on-ground sensors, thereby allowing us to avoid the computationally intensive process of obtaining the positions of all the ground users. On the basis of the estimated user density, in the second part, each UAV dynamically updates its 3D position in collaboration with its neighboring UAVs for maximizing the total coverage. We prove the convergence of our distributed algorithm by employing a distributed push-sum algorithm framework. Simulation results demonstrate that our method can improve the overall coverage with a limited number of ground sensors. We also demonstrate that our method can be applied to a dynamic network in which the density of ground users varies temporally.

preprint2020arXiv

Finite-time Control of Discrete-time Positive Linear Systems via Convex Optimization

In this paper, we study a class of finite-time control problems for discrete-time positive linear systems with time-varying state parameters. Although several interesting control problems appearing in population biology, economics, and network epidemiology can be described as the class of finite-time control problems, an efficient solution to the control problem has not been yet found in the literature. In this paper, we propose an optimization framework for solving the class of finite-time control problems via convex optimization. We illustrate the effectiveness of the proposed method by numerical simulation in the context of dynamical product development processes.

preprint2020arXiv

Mixed $H_2/H_{\infty}$ Control Control of Delayed Markov Jump Linear Systems

This paper investigates state feedback control laws for Markov jump linear systems with state and mode-observation delays. An assumption in this study is that the delay of mode observation obeys an exponential distribution. Also, we raise an unknown time-varying state delay applied in the composition of the state feedback controller. A method of remodeling the closed-loop system as a standard Markov jump linear system with state delay is shown. Furthermore, on the basis of this remodeling, several Linear Matrix Inequalities (LMI) for designing feedback gains for stabilization and mixed $H_2/H_{\infty}$ control are proposed. Finally, we apply a numerical simulation for examining the effectiveness of the proposed mixed $H_2/H_{\infty}$ controller designing method.

preprint2020arXiv

On the fundamental equation of user dynamics and the structure of online social networks

Online social networks suffer from explosive user dynamics such as flaming that can seriously affect social activities in the real world because the dynamics have growth rates that can overwhelm our rational decision making faculties. Therefore, a deeper understanding of user dynamics in online social networks is a fundamental problem in computer and information science. One of the effective user dynamics models is the networked oscillation model; it uses a second-order differential equation with Laplacian matrix. Although our previous study indicates that the oscillation model provides us with a minimal but effective model of user interactions, there still remains the open problem as to the existence of a first-order fundamental differential equation that respects the structure of the original network. This paper fills in this gap and shows that, by doubling the dimension of the state space, we can explicitly but naturally construct a fundamental equation that fully respects the structure of the original network.

preprint2020arXiv

Optimal Resource Allocation for Dynamic Product Development Process via Convex Optimization

Resource allocation is an essential aspect of successful Product Development (PD). In this paper, we formulate the dynamic resource allocation of the PD process as a convex optimization problem. Specially, we build and solve two variants of this issue: the budget-constrained problem and the performance-constrained problem. By using convex optimization, we propose a framework to optimally solve large problem instances at a relatively small computational cost. The solutions to both problems exhibit similar trends regarding resource allocation decisions and performance evolution. Furthermore, we show that the product architecture affects resource allocation, which in turn affects the performance of the PD process. By introducing centrality metrics for measuring the location of the modules and design rules within the product architecture network, we find that resource allocation decisions correlate to their metrics. These results provide simple, but powerful, managerial guidelines for efficiently designing and managing the PD process. Finally, for validating the model and its results, we introduce and solve two design case studies for a mechanical manipulator and for an automotive appearance design process.

preprint2020arXiv

Stability Optimization of Positive Semi-Markov Jump Linear Systems via Convex Optimization

In this paper, we study the problem of optimizing the stability of positive semi-Markov jump linear systems. We specifically consider the problem of tuning the coefficients of the system matrices for maximizing the exponential decay rate of the system under a budget-constraint. By using a result from the matrix theory on the log-log convexity of the spectral radius of nonnegative matrices, we show that the stability optimization problem reduces to a convex optimization problem under certain regularity conditions on the system matrices and the cost function. We illustrate the validity and effectiveness of the proposed results by using an example from the population biology.

preprint2016arXiv

Bio-Inspired Framework for Allocation of Protection Resources in Cyber-Physical Networks

In this chapter, we consider the problem of designing protection strategies to contain spreading processes in complex cyber-physical networks. We illustrate our ideas using a family of bio-motivated spreading models originally proposed in the epidemiological literature, e.g., the Susceptible-Infected-Susceptible (SIS) model. We first introduce a framework in which we are allowed to distribute two types of resources in order to contain the spread, namely, (i) preventive resources able to reduce the spreading rate, and (ii) corrective resources able to increase the recovery rate of nodes in which the resources are allocated. In practice, these resources have an associated cost that depends on either the resiliency level achieved by the preventive resource, or the restoration efficiency of the corrective resource. We present a mathematical framework, based on dynamic systems theory and convex optimization, to find the cost-optimal distribution of protection resources in a network to contain the spread. We also present two extensions to this framework in which (i) we consider generalized epidemic models, beyond the simple SIS model, and (ii) we assume uncertainties in the contact network in which the spreading is taking place. We compare these protection strategies with common heuristics previously proposed in the literature and illustrate our results with numerical simulations using the air traffic network.

preprint2016arXiv

Efficient Method for Computing Lower Bounds on the $p$-radius of Switched Linear Systems

This paper proposes lower bounds on a quantity called $L^p$-norm joint spectral radius, or in short, $p$-radius, of a finite set of matrices. Despite its wide range of applications to, for example, stability analysis of switched linear systems and the equilibrium analysis of switched linear economical models, algorithms for computing the $p$-radius are only available in a very limited number of particular cases. The proposed lower bounds are given as the spectral radius of an average of the given matrices weighted via Kronecker products and do not place any requirements on the set of matrices. We show that the proposed lower bounds theoretically extend and also can practically improve the existing lower bounds. A Markovian extension of the proposed lower bounds is also presented.

preprint2016arXiv

Epidemic Processes over Adaptive State-Dependent Networks

In this paper, we study the dynamics of epidemic processes taking place in adaptive networks of arbitrary topology. We focus our study on the adaptive susceptible-infected-susceptible (ASIS) model, where healthy individuals are allowed to temporarily cut edges connecting them to infected nodes in order to prevent the spread of the infection. In this paper, we derive a closed-form expression for a lower bound on the epidemic threshold of the ASIS model in arbitrary networks with heterogeneous node and edge dynamics. For networks with homogeneous node and edge dynamics, we show that the resulting \blue{lower bound} is proportional to the epidemic threshold of the standard SIS model over static networks, with a proportionality constant that depends on the adaptation rates. Furthermore, based on our results, we propose an efficient algorithm to optimally tune the adaptation rates in order to eradicate epidemic outbreaks in arbitrary networks. We confirm the tightness of the proposed lower bounds with several numerical simulations and compare our optimal adaptation rates with popular centrality measures.

preprint2015arXiv

A general class of spreading processes with non-Markovian dynamics

In this paper we propose a general class of models for spreading processes we call the $SI^*V^*$ model. Unlike many works that consider a fixed number of compartmental states, we allow an arbitrary number of states on arbitrary graphs with heterogeneous parameters for all nodes and edges. As a result, this generalizes an extremely large number of models studied in the literature including the MSEIV, MSEIR, MSEIS, SEIV, SEIR, SEIS, SIV, SIRS, SIR, and SIS models. Furthermore, we show how the $SI^*V^*$ model allows us to model non-Poisson spreading processes letting us capture much more complicated dynamics than existing works such as information spreading through social networks or the delayed incubation period of a disease like Ebola. This is in contrast to the overwhelming majority of works in the literature that only consider spreading processes that can be captured by a Markov process. After developing the stochastic model, we analyze its deterministic mean-field approximation and provide conditions for when the disease-free equilibrium is stable. Simulations illustrate our results.

preprint2015arXiv

Disease spread over randomly switched large-scale networks

In this paper we study disease spread over a randomly switched network, which is modeled by a stochastic switched differential equation based on the so called $N$-intertwined model for disease spread over static networks. Assuming that all the edges of the network are independently switched, we present sufficient conditions for the convergence of infection probability to zero. Though the stability theory for switched linear systems can naively derive a necessary and sufficient condition for the convergence, the condition cannot be used for large-scale networks because, for a network with $n$ agents, it requires computing the maximum real eigenvalue of a matrix of size exponential in $n$. On the other hand, our conditions that are based also on the spectral theory of random matrices can be checked by computing the maximum real eigenvalue of a matrix of size exactly $n$.

preprint2015arXiv

Optimal Design of Networks of Positive Linear Systems under Stochastic Uncertainty

In this paper, we study networks of positive linear systems subject to time-invariant and random uncertainties. We present linear matrix inequalities for checking the stability of the whole network around the origin with prescribed probability and decay rate. Based on this condition, we then give an efficient method, based on geometric programming, to find the optimal parameters of the probability distribution describing the uncertainty. We illustrate our results by analyzing the stability of a viral spreading process in the presence of random uncertainties.

preprint2015arXiv

Spreading Processes over Socio-Technical Networks with Phase-Type Transmissions

Most theoretical tools available for the analysis of spreading processes over networks assume exponentially distributed transmission and recovery times. In practice, the empirical distribution of transmission times for many real spreading processes, such as the spread of web content through the Internet, are far from exponential. To bridge this gap between theory and practice, we propose a methodology to model and analyze spreading processes with arbitrary transmission times using phase-type distributions. Phase-type distributions are a family of distributions that is dense in the set of positive-valued distributions and can be used to approximate any given distributions. To illustrate our methodology, we focus on a popular model of spreading over networks: the susceptible-infected-susceptible (SIS) networked model. In the standard version of this model, individuals informed about a piece of information transmit this piece to its neighbors at an exponential rate. In this paper, we extend this model to the case of transmission rates following a phase-type distribution. Using this extended model, we analyze the dynamics of the spread based on a vectorial representations of phase-type distributions. We illustrate our results by analyzing spreading processes over networks with transmission and recovery rates following a Weibull distribution.

preprint2015arXiv

Stability of Markov regenerative switched linear systems

In this paper, we give a necessary and sufficient condition for mean stability of switched linear systems having a Markov regenerative process as its switching signal. This class of switched linear systems, which we call Markov regenerative switched linear systems, contains Markov jump linear systems and semi-Markov jump linear systems as special cases. We show that a Markov regenerative switched linear system is $m$th mean stable if and only if a particular matrix is Schur stable, under the assumption that either $m$ is even or the system is positive.

preprint2015arXiv

Stability of Spreading Processes over Time-Varying Large-Scale Networks

In this paper, we analyze the dynamics of spreading processes taking place over time-varying networks. A common approach to model time-varying networks is via Markovian random graph processes. This modeling approach presents the following limitation: Markovian random graphs can only replicate switching patterns with exponential inter-switching times, while in real applications these times are usually far from exponential. In this paper, we introduce a flexible and tractable extended family of processes able to replicate, with arbitrary accuracy, any distribution of inter-switching times. We then study the stability of spreading processes in this extended family. We first show that a direct analysis based on Itô's formula provides stability conditions in terms of the eigenvalues of a matrix whose size grows exponentially with the number of edges. To overcome this limitation, we derive alternative stability conditions involving the eigenvalues of a matrix whose size grows linearly with the number of nodes. Based on our results, we also show that heuristics based on aggregated static networks approximate the epidemic threshold more accurately as the number of nodes grows, or the temporal volatility of the random graph process is reduced. Finally, we illustrate our findings via numerical simulations.

preprint2014arXiv

A limit formula for joint spectral radius with $p$-radius of probability distributions

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.

preprint2014arXiv

On the mean stability of a class of switched linear systems

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.

preprint2014arXiv

Stability analysis of linear systems subject to regenerative switchings

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.

preprint2014arXiv

Stability analysis of positive semi-Markovian jump linear systems with state resets

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.

preprint2014arXiv

State-feedback stabilization of Markov jump linear systems with randomly observed Markov states

In this paper we study the state-feedback stabilization of a discrete-time Markov jump linear system when the observation of the Markov chain of the system, called the Markov state, is time-randomized by another Markov chain. Embedding the Markov state into an extended Markov chain, we transform the given system with time-randomized observations to another one having the enlarged Markov-state space but with so-called cluster observations of Markov states. Based on this transformation we propose linear matrix inequalities for designing stabilizing state-feedback gains for the original Markov jump linear systems. The proposed method can treat both periodic observations and many of renewal-type observations in a unified manner, which are studied in the literature using different approaches. A numerical example is provided to demonstrate the obtained result.

preprint2013arXiv

H-infinity Design of Periodically Nonuniform Interpolation and Decimation for Non-Band-Limited Signals

In this paper, we consider signal interpolation of discrete-time signals which are decimated nonuniformly. A conventional interpolation method is based on the sampling theorem, and the resulting system consists of an ideal filter with complex-valued coefficients. While the conventional method assumes band limitation of signals, we propose a new method by sampled-data H-infinity optimization. By this method, we can remove the band-limiting assumption and the optimal filter can be with real-valued coefficients. Moreover, we show that without band-limited assumption, there can be the optimal decimation patterns among ones with the same ratio. By examples, we show the effectiveness of our method.