IEEE Transactions on Automatic Control

最新文章

• Semiglobal Tracking Cooperative Control for Multiagent Systems With Input Saturation: A Multiple Saturation Levels Framework AI翻译
  作者：Wang, Bohui; Chen, Weisheng; Wang, Jingcheng; Zhang, Bin; Shi, Peng
  作者单位：Xidian University; Shanghai Jiao Tong University; Xi'an Technological University; University of South Carolina System; University of South Carolina Columbia; University of Adelaide; Victoria University
  摘要：This article proposes a multiple saturation levels framework to investigate the semiglobal tracking cooperative control problem of multiagent systems with switching communication topologies. This problem is solving by proposing a switching parametric Lyapunov approach and constructing a three-layer nodes model with mirroring nodes to reduce the complexity of controller design in which control inputs for different layers of nodes are with different saturation levels. A metamorphic low-gain feed...
• Dynamic Compensator Design of Linear Parabolic MIMO PDEs in N-Dimensional Spatial Domain AI翻译
  作者：Wang, Jun-Wei; Wang, Jun-Min
  作者单位：University of Science & Technology Beijing; Beijing Institute of Technology
  摘要：This article employs the observer-based output feedback control technique to deal with dynamic compensator design for a linear N-D parabolic partial differential equation (PDE) with multiple local piecewise control inputs and multiple non-collocated local piecewise observation outputs. These control inputs and observation outputs are provided by only few actuators and noncollocated sensors active over partial areas (or entire) of the spatial domain. An observer-based dynamic feedback compensat...
• Satisfaction of Linear Temporal Logic Specifications Through Recurrence Tools for Hybrid Systems AI翻译
  作者：Bisoffi, Andrea; Dimarogonas, Dimos V.
  作者单位：Royal Institute of Technology
  摘要：In this article, we formulate the problem of satisfying a linear temporal logic formula on a linear plant with output feedback, through a recent hybrid systems formalism. We relate this problem to the notion of recurrence introduced for the considered formalism, and we then extend Lyapunov-like conditions for recurrence of an open, unbounded set. One of the proposed relaxed conditions allows certifying recurrence of a suitable set, and this guarantees that the high-level evolution of the plant...
• Finite Blocklength Entropy-Achieving Coding for Linear System Stabilization AI翻译
  作者：Cong, Yirui; Zhou, Xiangyun; Kennedy, Rodney A.
  作者单位：National University of Defense Technology - China; Australian National University
  摘要：In this article, we consider the minimum data rate problem for linear system stabilization under noiseless communication channels. Previous results indicated that having a data rate very approaching the entropy bound leads to large delays and data buffer sizes. In analogy, the entropy bound in Shannon's source coding theorem in traditional information theory displays this behavior, where the data rate can be arbitrarily close to the entropy bound but only at the cost of boundlessly enlarging t...
• A Rendezvous Strategy With R2 Reachability for Kinematic Agents AI翻译
  作者：De, Souradip; Sahoo, Soumya Ranjan; Wahi, Pankaj
  作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Kanpur; Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Kanpur
  摘要：In this article, we present a consensus strategy based on cyclic pursuit that ensures rendezvous at any desired point in 2-D space (R-2 reachability) starting with any nonsingular initial configuration of the agents. Choice of a negative gain expands the reachable set beyond the convex hull of the initial configuration of agents. However, the entire R-2 is not reachable in general. We first find the necessary and sufficient condition for the initial configuration of the agents, which ensures R...
• Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes AI翻译
  作者：Laurenti, Luca; Lahijanian, Morteza; Abate, Alessandro; Cardelli, Luca; Kwiatkowska, Marta
  作者单位：University of Oxford; University of Colorado System; University of Colorado Boulder
  摘要：Stochastic processes are expressive mathematical tools for modeling real-world systems that are subject to uncertainty. It is hence crucial to be able to formally analyze the behavior of these processes, especially in safety-critical applications. Most of the existing formal methods are not designed for continuous-time processes, and those that are typically suffering from state explosion in practice. This article introduces a theoretical framework and a scalable computational method for forma...
• Efficient Implementation of Rate Constraints for Nonlinear Optimal Control AI翻译
  作者：Nie, Yuanbo; Kerrigan, Eric C.
  作者单位：Imperial College London; Imperial College London
  摘要：We propose a general approach to directly implement rate constraints on the discretization mesh for all collocation methods, for both state and input variables. Unlike conventional approaches that may lead to singular control arcs, the solution of this on-mesh implementation has better properties. Moreover, computational speedups of more than 30% can be achieved by exploiting the properties of the resulting linear constraint equations.
• On the Equivalence of Youla, System-Level, and Input-Output Parameterizations AI翻译
  作者：Zheng, Yang; Furieri, Luca; Papachristodoulou, Antonis; Li, Na; Kamgarpour, Maryam
  作者单位：Harvard University; Harvard University; Swiss Federal Institutes of Technology Domain; ETH Zurich; University of Oxford
  摘要：A convex parameterization of internally stabilizing controllers is fundamental for many controller synthesis procedures. The celebrated Youla parameterization relies on a doubly coprime factorization of the system, while the recent system-level and input-output parametrizations require no doubly coprime factorization, but a set of equality constraints for achievable closed-loop responses. In this article, we present explicit affine mappings among Youla, system-level, and input-output parameter...
• Secure Control in Partially Observable Environments to Satisfy LTL Specifications AI翻译
  作者：Ramasubramanian, Bhaskar; Niu, Luyao; Clark, Andrew; Bushnell, Linda; Poovendran, Radha
  作者单位：University of Washington; University of Washington Seattle; Worcester Polytechnic Institute
  摘要：This article studies the synthesis of control policies for an agent that has to satisfy a temporal logic specification in a partially observable environment, in the presence of an adversary. The interaction of the agent (defender) with the adversary is modeled as a partially observable stochastic game. The goal is to generate a defender policy to maximize satisfaction of a given temporal logic specification under any adversary policy. The search for policies is limited to the space of finite-s...
• Quantized Feedback Control Based on Spherical Polar Coordinate Quantizer AI翻译
  作者：Wang, Jian
  作者单位：Bohai University
  摘要：Different from uniform quantizer and logarithmic quantizer, this article proposes a novel quantizer for the design problems of linear systems with quantized feedback. This quantizer is based on spherical polar coordinates and has a desired relation between the quantized vector and the corresponding quantization error. Utilizing the proposed quantizer with infinite data rate, the quadratic stabilization problems of linear systems via state feedback under quantization can be converted, respectiv...