199 research outputs found
Oscillations in I/O monotone systems under negative feedback
Oscillatory behavior is a key property of many biological systems. The
Small-Gain Theorem (SGT) for input/output monotone systems provides a
sufficient condition for global asymptotic stability of an equilibrium and
hence its violation is a necessary condition for the existence of periodic
solutions. One advantage of the use of the monotone SGT technique is its
robustness with respect to all perturbations that preserve monotonicity and
stability properties of a very low-dimensional (in many interesting examples,
just one-dimensional) model reduction. This robustness makes the technique
useful in the analysis of molecular biological models in which there is large
uncertainty regarding the values of kinetic and other parameters. However,
verifying the conditions needed in order to apply the SGT is not always easy.
This paper provides an approach to the verification of the needed properties,
and illustrates the approach through an application to a classical model of
circadian oscillations, as a nontrivial ``case study,'' and also provides a
theorem in the converse direction of predicting oscillations when the SGT
conditions fail.Comment: Related work can be retrieved from second author's websit
Monotone Control Systems
Monotone systems constitute one of the most important classes of dynamical
systems used in mathematical biology modeling.
The objective of this paper is to extend the notion of monotonicity to
systems with inputs and outputs, a necessary first step in trying to understand
interconnections, especially including feedback loops, built up out of monotone
components.
Basic definitions and theorems are provided, as well as an application to the
study of a model of one of the cell's most important subsystems.Comment: See http://www.math.rutgers.edu/~sontag/ for related wor
Small gain theorems for large scale systems and construction of ISS Lyapunov functions
We consider interconnections of n nonlinear subsystems in the input-to-state
stability (ISS) framework. For each subsystem an ISS Lyapunov function is given
that treats the other subsystems as independent inputs. A gain matrix is used
to encode the mutual dependencies of the systems in the network. Under a small
gain assumption on the monotone operator induced by the gain matrix, a locally
Lipschitz continuous ISS Lyapunov function is obtained constructively for the
entire network by appropriately scaling the individual Lyapunov functions for
the subsystems. The results are obtained in a general formulation of ISS, the
cases of summation, maximization and separation with respect to external gains
are obtained as corollaries.Comment: provisionally accepted by SIAM Journal on Control and Optimizatio
Robustness of networked systems to unintended interactions with application to engineered genetic circuits
A networked dynamical system is composed of subsystems interconnected through
prescribed interactions. In many engineering applications, however, one
subsystem can also affect others through "unintended" interactions that can
significantly hamper the intended network's behavior. Although unintended
interactions can be modeled as disturbance inputs to the subsystems, these
disturbances depend on the network's states. As a consequence, a disturbance
attenuation property of each isolated subsystem is, alone, insufficient to
ensure that the network behavior is robust to unintended interactions. In this
paper, we provide sufficient conditions on subsystem dynamics and interaction
maps, such that the network's behavior is robust to unintended interactions.
These conditions require that each subsystem attenuates constant external
disturbances, is monotone or "near-monotone", the unintended interaction map is
monotone, and the prescribed interaction map does not contain feedback loops.
We employ this result to guide the design of resource-limited genetic circuits.
More generally, our result provide conditions under which robustness of
constituent subsystems is sufficient to guarantee robustness of the network to
unintended interactions
Monotone flows with dense periodic orbits
The main result is Theorem 1: A flow on a connected open set X ⊂ Rd is globally periodic provided (i) periodic points are dense in X, and (ii) at all positive times the flow preserves the partial order defined by a closed convex cone that has nonempty interior and contains no straight line. The proof uses the analog for homeomorphisms due to B. Lemmens et al. [27], a classical theorem of D. Montgomery [31, 32], and a sufficient condition for the nonstationary periodic points in a closed order interval to have rationally related periods (Theorem 2)
- …