IEEE Transactions on Automatic Control

最新文章

• A Note on the Smallest Eigenvalue of the Empirical Covariance of Causal Gaussian Processes AI翻译
  作者：Ziemann, Ingvar
  作者单位：University of Pennsylvania
  摘要：We present a simple proof for bounding the smallest eigenvalue of the empirical covariance in a causal Gaussian process. Along the way, we establish a one-sided tail inequality for Gaussian quadratic forms using a causal decomposition. Our proof only uses elementary facts about the Gaussian distribution and the union bound. We conclude with an example in which we provide a performance guarantee for least squares identification of a vector autoregression.
• Discrete Communication and Control Updating in Adaptive Dynamic Event-Triggered Consensus AI翻译
  作者：Cheng, Bin; Lv, Yuezu; Li, Zhongkui; Duan, Zhisheng
  作者单位：Tongji University; Beijing Institute of Technology; Beijing Institute of Technology; Peking University
  摘要：This article studies the consensus control problem faced with three essential demands, namely, discrete control updating for each agent, discrete-time communications among neighboring agents, and the fully distributed fashion of the controller implementation without requiring any global information of the network topology. Note that the existing related results only meet one or two demands at most, which are essentially not applicable to this problem. In this article, a novel dynamic triggerin...
• Phase Limitations of Multipliers at Harmonics AI翻译
  作者：Heath, William P.; Carrasco, Joaquin; Zhang, Jingfan
  作者单位：University of Manchester
  摘要：The absolute stability of a Lurye system with a monotone nonlinearity is guaranteed by the existence of a suitable O'Shea-Zames-Falb (OZF) multiplier. We develop a numerically tractable phase condition under which there can be no suitable OZF multiplier for the transfer function of a given continuous-time plant. We provide its graphical interpretation. The condition may be tested in a systematic manner and leads to significantly improved results compared with the condition in the literature fr...
• A Stochastic Operator Framework for Optimization and Learning With Sub-Weibull Errors AI翻译
  作者：Bastianello, Nicola; Madden, Liam; Carli, Ruggero; Dall'Anese, Emiliano
  作者单位：Royal Institute of Technology; University of British Columbia; University of Padua; University of Colorado System; University of Colorado Boulder; University of Colorado System; University of Colorado Boulder
  摘要：This article proposes a framework to study the convergence of stochastic optimization and learning algorithms. The framework is modeled over the different challenges that these algorithms pose, such as 1) the presence of random additive errors (e.g., due to stochastic gradients), and 2) random coordinate updates (e.g., due to asynchrony in distributed set-ups). The article covers both convex and strongly convex problems, and it also analyzes online scenarios, involving changes in the data and ...
• k-Dimensional Agreement in Multiagent Systems AI翻译
  作者：Bianchin, Gianluca; Vaquero, Miguel; Cortes, Jorge; Dall'Anese, Emiliano
  作者单位：IE University; University of California System; University of California San Diego; Boston University
  摘要：Given a network of agents, we study the problem of designing a distributed algorithm that computes k independent weighted means of the network's initial conditions (namely, the agents agree on a k-dimensional space). Akin to average consensus, this problem finds applications in distributed computing and sensing, where agents seek to simultaneously evaluate k independent functions at a common point by running a single coordination algorithm. We show that linear algorithms can agree on quantitie...
• Adaptive Hybrid Control for Robust Global Phase Synchronization of Kuramoto Oscillators AI翻译
  作者：Bosso, Alessandro; Azzollini, Ilario A.; Baldi, Simone; Zaccarian, Luca
  作者单位：University of Bologna; Southeast University - China; Universite de Toulouse; Centre National de la Recherche Scientifique (CNRS); University of Trento
  摘要：A distributed controller is designed for the robust adaptive global phase synchronization of a network of uncertain second-order Kuramoto oscillators with a leader system, modeled as an autonomous nonlinear exosystem that communicates the reference signals only to a subset of the oscillators. We propose an adaptive strategy, only assuming knowledge of upper bounds on the unknown oscillators parameters, that exploits a hybrid hysteresis mechanism to obtain global synchronization despite the wel...
• Regulation of Nonlinear Systems Subject to Uniform Output Quantization AI翻译
  作者：Castro, Rafael S.; Salton, Aurelio T.; Fu, Minyue; Isidori, Alberto
  作者单位：Universidade Federal do Rio Grande do Sul; Southern University of Science & Technology; Sapienza University Rome
  摘要：This article addresses the problem of controlling a nonlinear plant subject to uniformly quantized measurements to have its output track and/or reject a family of signals produced by some external generator. First, conditions based on passivity and the theory of output regulation are devised to achieve convergence of the quantized error, namely, the difference between the quantized output and the (artificially) quantized reference. Then, further conditions on the reference are shown such that ...
• Robust Reinforcement Learning for Risk-Sensitive Linear Quadratic Gaussian Control AI翻译
  作者：Cui, Leilei; Basar, Tamer; Jiang, Zhong-Ping
  作者单位：New York University; New York University Tandon School of Engineering; University of Illinois System; University of Illinois Urbana-Champaign
  摘要：This article proposes a novel robust reinforcement learning framework for discrete-time linear systems with model mismatch that may arise from the sim-to-real gap. A key strategy is to invoke advanced techniques from control theory. Using the formulation of the classical risk-sensitive linear quadratic Gaussian control, a dual-loop policy optimization algorithm is proposed to generate a robust optimal controller. The dual-loop policy optimization algorithm is shown to be globally and uniformly...
• Equi-Normalized Robust Positively Invariant Sets AI翻译
  作者：Rakovic, Sasa V.; Zhang, Sixing
  作者单位：Beijing Institute of Technology; Beijing Information Science & Technology University
  摘要：This note revisits the equi-normalization process of robust positively invariant sets so as to enable its use for more general disturbance sets and to provide a systematic, dynamically compatible, and computationally inexpensive design of the collections of points that generate equi-normalized robust positively invariant sets.
• Verification of Hyperproperties for Dynamical Systems via Barrier Certificates AI翻译
  作者：Anand, Mahathi; Murali, Vishnu; Trivedi, Ashutosh; Zamani, Majid
  作者单位：University of Stuttgart; University of Colorado System; University of Colorado Boulder; University of Munich
  摘要：Hyperproperties are system properties that require quantification over multiple execution traces of a system. Hyperproperties can express several specifications of interest for cyber-physical systems-such as opacity, robustness, and noninterference-which cannot be expressed using linear time properties. This article presents for the first time a discretization-free approach for the formal verification of discrete-time dynamical systems against hyperproperties. The proposed approach involves th...