5,915 research outputs found
Mathematical control of complex systems
Copyright © 2013 ZidongWang et al.This is an open access article distributed under the Creative Commons Attribution License,
which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited
Passivity Degradation In Discrete Control Implementations: An Approximate Bisimulation Approach
In this paper, we present some preliminary results for compositional analysis
of heterogeneous systems containing both discrete state models and continuous
systems using consistent notions of dissipativity and passivity. We study the
following problem: given a physical plant model and a continuous feedback
controller designed using traditional control techniques, how is the
closed-loop passivity affected when the continuous controller is replaced by a
discrete (i.e., symbolic) implementation within this framework? Specifically,
we give quantitative results on performance degradation when the discrete
control implementation is approximately bisimilar to the continuous controller,
and based on them, we provide conditions that guarantee the boundedness
property of the closed-loop system.Comment: This is an extended version of our IEEE CDC 2015 paper to appear in
Japa
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
Robust Adaptive Control of a Class of Nonlinear Strict-feedback Discrete-time Systems with Exact Output Tracking
10.1016/j.automatica.2009.07.025Automatica45112537-2545ATCA
Output feedback NN control for two classes of discrete-time systems with unknown control directions in a unified approach
10.1109/TNN.2008.2003290IEEE Transactions on Neural Networks19111873-1886ITNN
Feedback stabilization of dynamical systems with switched delays
We analyze a classification of two main families of controllers that are of
interest when the feedback loop is subject to switching propagation delays due
to routing via a wireless multi-hop communication network. We show that we can
cast this problem as a subclass of classical switching systems, which is a
non-trivial generalization of classical LTI systems with timevarying delays. We
consider both cases where delay-dependent and delay independent controllers are
used, and show that both can be modeled as switching systems with unconstrained
switchings. We provide NP-hardness results for the stability verification
problem, and propose a general methodology for approximate stability analysis
with arbitrary precision. We finally give evidence that non-trivial design
problems arise for which new algorithmic methods are needed
- …