164 research outputs found
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
Efficient Method for Computing Lower Bounds on the -radius of Switched Linear Systems
This paper proposes lower bounds on a quantity called -norm joint
spectral radius, or in short, -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 -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
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 -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 agents, it
requires computing the maximum real eigenvalue of a matrix of size exponential
in . 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
Hybrid Behaviour of Markov Population Models
We investigate the behaviour of population models written in Stochastic
Concurrent Constraint Programming (sCCP), a stochastic extension of Concurrent
Constraint Programming. In particular, we focus on models from which we can
define a semantics of sCCP both in terms of Continuous Time Markov Chains
(CTMC) and in terms of Stochastic Hybrid Systems, in which some populations are
approximated continuously, while others are kept discrete. We will prove the
correctness of the hybrid semantics from the point of view of the limiting
behaviour of a sequence of models for increasing population size. More
specifically, we prove that, under suitable regularity conditions, the sequence
of CTMC constructed from sCCP programs for increasing population size converges
to the hybrid system constructed by means of the hybrid semantics. We
investigate in particular what happens for sCCP models in which some
transitions are guarded by boolean predicates or in the presence of
instantaneous transitions
- …