By Topic

Automatic Control, IEEE Transactions on

Issue 1 • Date Jan. 2007

Filter Results

Displaying Results 1 - 25 of 29
  • Table of contents

    Page(s): C1 - C4
    Save to Project icon | Request Permissions | PDF file iconPDF (36 KB)  
    Freely Available from IEEE
  • IEEE Transactions on Automatic Control publication information

    Page(s): C2
    Save to Project icon | Request Permissions | PDF file iconPDF (37 KB)  
    Freely Available from IEEE
  • Scanning the issue

    Page(s): 1
    Save to Project icon | Request Permissions | PDF file iconPDF (28 KB)  
    Freely Available from IEEE
  • A Strict Lyapunov Function for Boundary Control of Hyperbolic Systems of Conservation Laws

    Page(s): 2 - 11
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (550 KB) |  | HTML iconHTML  

    We present a strict Lyapunov function for hyperbolic systems of conservation laws that can be diagonalized with Riemann invariants. The time derivative of this Lyapunov function can be made strictly negative definite by an appropriate choice of the boundary conditions. It is shown that the derived boundary control allows to guarantee the local convergence of the state towards a desired set point. Furthermore, the control can be implemented as a feedback of the state only measured at the boundaries. The control design method is illustrated with an hydraulic application, namely the level and flow regulation in an horizontal open channel View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the Observer Problem for Discrete-Time Control Systems

    Page(s): 12 - 25
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (951 KB) |  | HTML iconHTML  

    This paper studies the construction of observers for nonlinear time-varying discrete-time systems in a general context, where a certain function of the states must be estimated. Appropriate notions of robust complete observability are proposed, under which a constructive proof of existence of an observer is developed. Moreover, a "transitive observer property" is proven, according to which a state observer can be generated as the series connection of two observers. The analysis and the results are developed in general normed linear spaces, to cover both finite-dimensional and infinite-dimensional systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Ellipsoidal Techniques for Reachability Analysis of Discrete-Time Linear Systems

    Page(s): 26 - 38
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (629 KB) |  | HTML iconHTML  

    This paper describes the computation of reach sets for discrete-time linear control systems with time-varying coefficients and ellipsoidal bounds on the controls and initial conditions. The algorithms construct external and internal ellipsoidal approximations that touch the reach set boundary from outside and from inside. Recurrence relations describe the time evolution of these approximations. An essential part of the paper deals with singular discrete-time linear systems View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Dynamical Systems With Active Singularities of Elastic Type: A Modeling and Controller Synthesis Framework

    Page(s): 39 - 55
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (596 KB) |  | HTML iconHTML  

    A new class of systems characterized by admitting impulsive control action within their singular motion phases, such as dimension changes, state discontinuities, and other irregularities, is introduced. This class, termed dynamical systems with active, or controlled, singularities, encompasses various applications with sensing and/or actuation ultra-fast in comparison with the natural system time scale, including mechanisms with impact-induced motion, power and sensor networks under faults, fast positioning devices, smart skins, and switching electronic circuits. The present work focuses on systems with impact-type singularities induced through system interaction with controlled, or active, state constraints. The latter are assumed to be characterized by parameter-dependent elastic-type constraint violation that vanishes in the limit as the parameter value tends to infinity. A physically well justified representation of this class of systems is proposed, but found to be not well suited for controller synthesis in the singular phase. To address this problem, two equations are derived - one describing controlled rigid impacts in auxiliary stretched time and compatible with the regular control design techniques, termed controlled infinitesimal dynamics equation, and another incorporating controlled impact dynamics in the infinitesimal form in terms of the shift operator along the trajectories of the first equation, termed the limit model. The latter is demonstrated to generate a unique isolated discontinuous system motion, i.e., to provide a tight and well-behaved description of the collision with rigid constraint. It is then shown that the corresponding paths generated by the original physically-based and the limit representations can be made arbitrarily close to each other uniformly except, possibly, in the vicinities of the jump points, by the appropriate choice of the value of the constraint violation parameter. This is shown to permit enforcing, for sufficiently l- - arge values of the parameter, the desired limit system behavior onto the original system by simply taking the control signals found through the limit representation, time-rescaling them, and inserting the resulting signals directly into the original system. These features show that the procedure developed, in fact, provides a well-posed controller synthesis framework for the class of systems considered. Using this framework, a ball/racket rotationally controlled impact representation is developed, and on its basis, a singular phase control signal in the form of racket rotation velocity is designed, demonstrating that the soft racket provides the specified bounce-off angle increment under a noticeably lower racket rotation velocity and a longer rotation phase than the hard racket View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Fundamental Limitations of Disturbance Attenuation in the Presence of Side Information

    Page(s): 56 - 66
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (388 KB) |  | HTML iconHTML  

    In this paper, we study fundamental limitations of disturbance attenuation of feedback systems, under the assumption that the controller has a finite horizon preview of the disturbance. In contrast with prior work, we extend Bode's integral equation for the case where the preview is made available to the controller via a general, finite capacity, communication system. Under asymptotic stationarity assumptions, our results show that the new fundamental limitation differs from Bode's only by a constant, which quantifies the information rate through the communication system. In the absence of asymptotic stationarity, we derive a universal lower bound which uses Shannon's entropy rate as a measure of performance. By means of a case-study, we show that our main bounds may be achieved View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Identification and Adaptive Control of Change-Point ARX Models Via Rao-Blackwellized Particle Filters

    Page(s): 67 - 72
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (355 KB) |  | HTML iconHTML  

    By proper choice of proposal distributions for importance sampling and of resampling schemes for sequentially updating the importance weights, we address the problem of on-line identification and adaptive control of autoregressive models with exogenous inputs (ARX models) with Markov parameter jumps. Particle filters that can be implemented online via parallel recursions are developed by making use of explicit formulas of the posterior means of the time-varying parameters. Theoretical analysis and simulation studies show improvements of this approach over conventional methods View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Nonlinear Power Control in Cellular Mobile Networks With Each User Communicating With Several Base Stations

    Page(s): 73 - 75
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (146 KB) |  | HTML iconHTML  

    A simple distributed power control algorithm for communication networks with each user communicating with several base stations is proposed. We prove that the proposed algorithm is globally converging View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Sufficient Conditions for Asymptotic Controllability and Hybrid Feedback Stabilization for a Class of Time-Varying Systems

    Page(s): 76 - 83
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (382 KB) |  | HTML iconHTML  

    For a class of time-varying systems, including those whose dynamics have triangular structure, we provide sufficient conditions for global asymptotic controllability and global asymptotic stabilization by means of a hybrid time-varying feedback View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Immersion-Based Observer Design for Rank-Observable Nonlinear Systems

    Page(s): 83 - 88
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (257 KB) |  | HTML iconHTML  

    In this note, an observer design for a wide class of nonlinear systems is proposed. It is based on some high-gain design for the particular case of state affine systems up to triangular nonlinearity on the one hand, and immersion of nonlinear systems into such a form on the other hand. Conditions for the observer convergence are given in terms of appropriate excitation, and a constructive procedure for the immersion is presented. The methodology is illustrated by examples of application View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An Asymptotically Efficient Simulation-Based Algorithm for Finite Horizon Stochastic Dynamic Programming

    Page(s): 89 - 94
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (278 KB) |  | HTML iconHTML  

    We present a simulation-based algorithm called "Simulated Annealing Multiplicative Weights" (SAMW) for solving large finite-horizon stochastic dynamic programming problems. At each iteration of the algorithm, a probability distribution over candidate policies is updated by a simple multiplicative weight rule, and with proper annealing of a control parameter, the generated sequence of distributions converges to a distribution concentrated only on the best policies. The algorithm is "asymptotically efficient," in the sense that for the goal of estimating the value of an optimal policy, a provably convergent finite-time upper bound for the sample mean is obtained View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Equivalence and Efficiency of Certain Stability Criteria for Time-Delay Systems

    Page(s): 95 - 101
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (250 KB) |  | HTML iconHTML  

    In recent years, there have been a number of new delay-dependent stability criteria based on linear matrix inequalities published in the literature. This note aims to theoretically establish the equivalence of seven of these stability criteria. Moreover, the efficiency of these stability criteria is assessed based on the number of unknowns in the linear matrix inequalities View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Generalized State Scaling and Applications to Feedback, Feedforward, and Nontriangular Nonlinear Systems

    Page(s): 102 - 108
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (382 KB) |  | HTML iconHTML  

    We propose a global high-gain scaling-based state-feedback controller for a general class of nonlinear systems containing uncertain functions of all the states and the control input as long as polynomial bounds on ratios of some uncertain system terms are available. The design is based on a high gain scaling involving appropriate powers of a high gain scaling parameter which is a dynamic signal driven by the state. The design is applicable to both lower triangular (strict-feedback) and upper triangular (feedforward) systems, and also to nontriangular systems as long as a set of linear inequalities involving powers of the polynomial bounds on the ratios of uncertain system terms and scaling orders is solvable. The stability analysis is based on our recent results on uniform solvability of coupled state-dependent Lyapunov inequalities View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Architecture Induced by Distributed Backstepping Design

    Page(s): 108 - 113
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (341 KB) |  | HTML iconHTML  

    An important problem in the distributed control of large-scale and infinite dimensional systems is related to the choice of the appropriate controller architecture. We utilize backstepping as a tool for distributed control of nonlinear infinite dimensional systems on lattices, and provide the answer to the following question: what is the controller architecture induced by distributed backstepping design? In particular, we study the case in which we start backstepping design with decentralized control Lyapunov function (CLF), and cancel all interactions at each step of backstepping. For this control law we quantify the number of control induced interactions necessary to guarantee desired dynamical behavior of the infinite dimensional system. We also demonstrate how the controllers with favorable architectures can be designed View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On Decidability of Distributed Diagnosis Under Unbounded-Delay Communication

    Page(s): 114 - 116
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (136 KB) |  | HTML iconHTML  

    In this note we show that the problem of distributed diagnosis under unbounded communication delay is decidable when there is no inferencing involved among the diagnosers. The notion of jointinfin-diagnosability is introduced to capture the diagnosability property in this setting. We show the equivalence of jointinfin-diagnosability and codiagnosability, which captures the diagnosability property in the decentralized setting (i.e., one involving no communication). Thus the decidability result follows from the decidability of codiagnosability established in a previous paper. We also show that the property of jointinfin-diagnosability is stronger than decentralized-diagnosability introduced in a previous paper View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A Novel Continuous Forward Algorithm for RBF Neural Modelling

    Page(s): 117 - 122
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (293 KB) |  | HTML iconHTML  

    A continuous forward algorithm (CFA) is proposed for nonlinear modelling and identification using radial basis function (RBF) neural networks. The problem considered here is simultaneous network construction and parameter optimization, well-known to be a mixed integer hard one. The proposed algorithm performs these two tasks within an integrated analytic framework, and offers two important advantages. First, the model performance can be significantly improved through continuous parameter optimization. Secondly, the neural representation can be built without generating and storing all candidate regressors, leading to significantly reduced memory usage and computational complexity. Computational complexity analysis and simulation results confirm the effectiveness View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Output Feedback Stabilization of Linear Systems With Actuator Saturation

    Page(s): 122 - 128
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (322 KB) |  | HTML iconHTML  

    The note presents a method for designing an output feedback law that stabilizes a linear system subject to actuator saturation with a large domain of attraction. This method applies to general linear systems including strictly unstable ones. A nonlinear output feedback controller is first expressed in the form of a quasi-LPV system. Conditions under which the closed-loop system is locally asymptotically stable are then established in terms of the coefficient matrices of the controller. The design of the controller (coefficient matrices) that maximizes an estimate of the domain of attraction is then formulated and solved as an optimization problem with LMI constraints View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Distributed Fair Resource Allocation in Cellular Networks in the Presence of Heterogeneous Delays

    Page(s): 129 - 134
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (291 KB) |  | HTML iconHTML  

    We consider the problem of allocating resources at a base station to many competing flows, where each flow is intended for a different receiver. The channel conditions may be time-varying and different for different receivers. It has been shown in a previous paper that in a delay-free network, a combination of queue-length-based scheduling at the base station and congestion control at the end users can guarantee queue-length stability and fair resource allocation. In this note, we extend this result to wireless networks where the congestion information from the base station is received with a feedback delay at the transmitters View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Relay-Based Identification of a Class of Nonminimum Phase SISO Processes

    Page(s): 134 - 139
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (1282 KB) |  | HTML iconHTML  

    A set of general expressions is derived from a single symmetrical relay feedback test for identification of a class of process transfer functions. Using these expressions the parameters of open loop stable nonminimum phase transfer function models may be obtained from simple measurements made on the limit cycle. For comparison, the conventional describing function based identification formulae are presented. Fourier series based curve fitting with the options of nonlinear least squares method and trust-region algorithm is used to measure limit cycle parameters in the presence of measurement noise. Examples are given to illustrate the value of the proposed method View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Decoupling of Measurable Signals via Self-Bounded Controlled Invariant Subspaces: Minimal Unassignable Dynamics of Feedforward Units for Prestabilized Systems

    Page(s): 140 - 143
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (246 KB) |  | HTML iconHTML  

    A dynamic feedforward scheme allows measurable signal decoupling to be solved independently of other problems simultaneously present in the design of a control system like, e.g., stabilization, robustness, insensitivity to disturbances. The synthesis procedure, based on the properties of self-bounded controlled invariant subspaces, ensures the minimal complexity of the feedforward unit, in terms of minimal unassignable dynamics and minimal dynamic order, in the case of left-invertible systems and, on some specific conditions, also in the case of non-left-invertible systems. The output dynamic feedback set up to guarantee stability (or, more generally, robustness or insensitivity properties) does not affect the complexity of the feedforward unit, since the peculiar layout where the feedback unit receives an additional input from the precompensator preserves, in the extended system, exactly the same set of unassignable internal eigenvalues of the minimal self-bounded controlled invariant subspace as that defined for the original system. The overall control structure turns out to be a two-degree-of-freedom controller completely devised in the geometric context View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Correction to "Antiwindup Design With Guaranteed Regions of Stability: An LMI-Based Approach"

    Page(s): 144
    Save to Project icon | Request Permissions | Click to expandQuick Abstract | PDF file iconPDF (23 KB)  

    In the footnote of J.M. Gomes da Silva, Jr. and S. Tarbouriech (see ibid., vol.50, no.1, p.110, 2005), we have stated that the value of 61.29 obtained by Y.Y. Cao et al. (2002) was apparently incorrect. In fact, the different values come from the fact that the example considered by Y.Y. Cao is slightly different from the one by J.M. Gomes da Silva, Jr. and S. Tarbouriech (2005). Hence, the result presented by Y.Y. Cao is indeed correct and we apologize to the authors for the misunderstanding. View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Handbook of Networked and Embedded Control Systems-[Book review; D. H. Hristu-Varsakelis and W. S. Levine]

    Page(s): 145 - 148
    Save to Project icon | Request Permissions | PDF file iconPDF (65 KB)  
    Freely Available from IEEE
  • Randomized Algorithms for Analysis and Control of Uncertain Systems-[Book review; R. Tempo, G. Calafiore, and F. Dabbene]

    Page(s): 148 - 149
    Save to Project icon | Request Permissions | PDF file iconPDF (60 KB)  
    Freely Available from IEEE

Aims & Scope

In the IEEE Transactions on Automatic Control, the IEEE Control Systems Society publishes high-quality papers on the theory, design, and applications of control engineering.  Two types of contributions are regularly considered

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
P. J. Antsaklis
Dept. Electrical Engineering
University of Notre Dame