IEEE Transactions on Automatic Control

最新文章

• Local Mean Payoff Supervisory Control for Discrete Event Systems AI翻译
  作者：Ji, Yiding; Yin, Xiang; Lafortune, Stephane
  作者单位：Boston University; Shanghai Jiao Tong University; University of Michigan System; University of Michigan
  摘要：This article investigates quantitative supervisory control with local mean payoff objectives on discrete event systems modeled as weighted automata. Weight flows are generated as new events occur, which are required to satisfy some quantitative conditions. We focus on mean weights (payoffs) over a finite number of events, which serve as a measure for the stability or robustness of weight flows. The range of events to evaluate the mean payoff is termed a window, which slides as new events occur...
• Convergence and Sample Complexity of Gradient Methods for the Model-Free Linear-Quadratic Regulator Problem AI翻译
  作者：Mohammadi, Hesameddin; Zare, Armin; Soltanolkotabi, Mahdi; Jovanovic, Mihailo R.
  作者单位：University of Southern California; University of Texas System; University of Texas Dallas
  摘要：Model-free reinforcement learning attempts to find an optimal control action for an unknown dynamical system by directly searching over the parameter space of controllers. The convergence behavior and statistical properties of these approaches are often poorly understood because of the nonconvex nature of the underlying optimization problems and the lack of exact gradient computation. In this article, we take a step toward demystifying the performance and efficiency of such methods by focusing...
• System Identification Based on Invariant Subspace AI翻译
  作者：Huang, Chao; Feng, Gang; Zhang, Hao; Wang, Zhuping
  作者单位：Tongji University; City University of Hong Kong
  摘要：This article proposes a novel system identification method based on the notion of invariant subspace. It is shown that when the system input and output asymptotically converge onto an invariant subspace, a new form of regression can be obtained. New identification algorithms are then developed based on the obtained regression. The proposed method has several distinctive advantages originating from both time-domain and frequency-domain approaches. They include: 1) linear continuous-time models ...
• Weak and Semi-Contraction for Network Systems and Diffusively Coupled Oscillators AI翻译
  作者：Jafarpour, Saber; Cisneros-Velarde, Pedro; Bullo, Francesco
  作者单位：University of California System; University of California Santa Barbara
  摘要：We develop two generalizations of contraction theory, namely, semi-contraction and weak-contraction theory. First, using the notion of seminorm, we propose a geometric framework for semi-contraction theory. We introduce matrix semimeasures and characterize their properties. We show that the spectral abscissa of a matrix is the infimum over weighted semimeasures. For dynamical systems, we use the semimeasure of their Jacobian to characterize the contractivity properties of their trajectories. S...
• PID Control of Biochemical Reaction Networks AI翻译
  作者：Whitby, Max; Cardelli, Luca; Kwiatkowska, Marta; Laurenti, Luca; Tribastone, Mirco; Tschaikowski, Max
  作者单位：University of Oxford; IMT School for Advanced Studies Lucca; Aalborg University
  摘要：Principles of feedback control have been shown to naturally arise in biological systems and have been applied with success to build synthetic circuits. Here, we present an implementation of a proportional-integral-derivative (PID) controller as a chemical reaction network with mass-action kinetics. This makes the controller synthesizable in vitro using DNA strand displacement technology, owing to its demonstrated capability of realizing arbitrary reaction-network designs as interacting DNA mol...
• Nonexistence of the Asymptotic Flocking in the Cucker-Smale Model With Short Range Communication Weights AI翻译
  作者：Yin, Xiuxia; Gao, Zhiwei; Chen, Zili; Fu, Yichuan
  作者单位：Nanchang University; Northumbria University
  摘要：For the long range communicated Cucker-Smale model, the asymptotic flocking exists for any initialcondition. It is noted that, for the short range communicated Cucker-Smale model, the asymptotic flocking only holds for very restricted initial conditions. In this case, the nonexistence of the asymptotic flocking has been frequently observed in numerical simulations, however, the theoretical results are far from perfect. In this note, we first point out that the nonexistence of the asymptotic fl...
• Harmonic Based Model Predictive Control for Set-Point Tracking AI翻译
  作者：Krupa, Pablo; Limon, Daniel; Alamo, Teodoro
  作者单位：University of Sevilla
  摘要：This article presents a novel model predictive control (MPC) formulation for set-point tracking. Stabilizing predictive controllers based on terminal ingredients may exhibit stability and feasibility issues in the event of a reference change for small to moderate prediction horizons. In the MPC for tracking formulation, these issues are solved by the addition of an artificial equilibrium point as a new decision variable, providing a significantly enlarged domain of attraction and guaranteeing ...
• Multi-sensor Optimal Linear Estimation With Unobservable Measurement Losses AI翻译
  作者：Lin, Hong; Li, Yuman; Lam, James; Wu, Zheng-Guang
  作者单位：Shenzhen Polytechnic University; University of Hong Kong; Zhejiang University; Chengdu University
  摘要：For a multiple-channel system with sensor measurement losses, if the loss of sensor measurements can be observed by the estimator, the system is called a system with observable measurement losses; otherwise, it is called a system with unobservable measurement losses (a UML system). We first obtain the optimal linear estimator (OLE) for multiple-channel UML systems and then establish a necessary and sufficient condition for the stability and convergence of the OLE. We give a tight bound of the ...
• Converse Barrier Functions via Lyapunov Functions AI翻译
  作者：Liu, Jun
  作者单位：University of Waterloo
  摘要：We prove a robust converse barrier function theorem via the converse Lyapunov theory. While the use of a Lyapunov function as a barrier function is straightforward, the existence of a converse Lyapunov function as a barrier function for a given safety set is not. We establish this link by a robustness argument. We show that the closure of the forward reachable set of a robustly safe set must be robustly asymptotically stable under mild technical assumptions. As a result, all robustly safe dyna...
• From Noisy Data to Feedback Controllers: Nonconservative Design via a Matrix S-Lemma AI翻译
  作者：van Waarde, Henk J.; Camlibel, M. Kanat; Mesbahi, Mehran
  作者单位：University of Groningen; University of Groningen; University of Washington; University of Washington Seattle
  摘要：In this article, we propose a new method to obtain feedback controllers of an unknown dynamical system directly from noisy input/state data. The key ingredient of our design is a new matrix S-lemma that will be proven in this article. We provide both strict and nonstrict versions of this S-lemma, which are of interest in their own right. Thereafter, we will apply these results to data-driven control. In particular, we will derive nonconservative design methods for quadratic stabilization, H-2 ...