IEEE Transactions on Automatic Control

最新文章

• Integral Sliding Mode Convex Optimization in Uncertain Lagrangian Systems Driven by PMDC Motors: Averaged Subgradient Approach AI翻译
  作者：Poznyak, Alexander S.; Nazin, Alexander, V; Alazki, Hussain
  作者单位：CINVESTAV - Centro de Investigacion y de Estudios Avanzados del Instituto Politecnico Nacional; Instituto Politecnico Nacional - Mexico; V.A. Trapeznikov Institute of Control Sciences, Russian Academy of Sciences; Russian Academy of Sciences
  摘要：An uncertain Lagrangian dynamic controlled plant with permanent magnet dc-actuator, governed by a system of ordinary differential equations, is treated. The state variables (generalized coordinates and their velocities) are assumed to be measurable. The controller design is based on sliding mode concept, aimed to minimize a given convex (not obligatory strongly convex) function of the current state. The subgradient of this cost function is supposed to be measurable online. An optimization type...
• Approximate Nonlinear Regulation via Identification-Based Adaptive Internal Models AI翻译
  作者：Bin, Michelangelo; Bernard, Pauline; Marconi, Lorenzo
  作者单位：Imperial College London; Universite PSL; MINES ParisTech; University of Bologna
  摘要：This article concerns the problem of adaptive output regulation for multivariable nonlinear systems in normal form. We present a regulator employing an adaptive internal model of the exogenous signals based on the theory of nonlinear Luenberger observers. Adaptation is performed by means of discrete-time system identification schemes, in which every algorithm fulfilling some optimality and stability conditions can be used. Practical and approximate regulation results are given relating the pre...
• Formal Synthesis of Stochastic Systems via Control Barrier Certificates AI翻译
  作者：Jagtap, Pushpak; Soudjani, Sadegh; Zamani, Majid
  作者单位：Technical University of Munich; Newcastle University - UK; University of Colorado System; University of Colorado Boulder; University of Munich
  摘要：This article focuses on synthesizing control policies for discrete-time stochastic control systems together with a lower bound on the probability that the systems satisfy the complex temporal properties. The desired properties of the system are expressed as linear temporal logic specifications over finite traces. In particular, our approach decomposes the given specification into simpler reachability tasks based on its automata representation. We, then, propose the use of so-called control bar...
• Resource-Aware Exact Decentralized Optimization Using Event-Triggered Broadcasting AI翻译
  作者：Liu, Changxin; Li, Huiping; Shi, Yang
  作者单位：University of Victoria; Northwestern Polytechnical University
  摘要：This article addresses the decentralized optimization problem where a group of agents with coupled private objective functions work together to exactly optimize the summation of local interests. Upon modeling the decentralized problem as an equality-constrained centralized one, we leverage the linearized augmented Lagrangian method to design an event-triggered decentralized algorithm that only requires light local computation at generic time instants and peer-to-peer communication at sporadic ...
• An Optimal Transport Formulation of the Ensemble Kalman Filter AI翻译
  作者：Taghvaei, Amirhossein; Mehta, Prashant G.
  作者单位：University of Illinois System; University of Illinois Urbana-Champaign; University of California System; University of California Irvine; University of Illinois System; University of Illinois Urbana-Champaign; University of Illinois System; University of Illinois Urbana-Champaign
  摘要：Controlled interacting particle systems such as the ensemble Kalman filter (EnKF) and the feedback particle filter (FPF) are numerical algorithms to approximate the solution of the nonlinear filtering problem in continuous time. The distinguishing feature of these algorithms is that the Bayesian update step is implemented using a feedback control law. It has been noted in the literature that the control law is not unique. This is the main problem addressed in this article. To obtain a unique c...
• Event-Triggered Control of Nonlinear Systems With Time-Varying State Delays AI翻译
  作者：Borri, Alessandro; Pepe, Pierdomenico
  作者单位：Consiglio Nazionale delle Ricerche (CNR); University of L'Aquila
  摘要：Nonlinear systems with time delays have been object of intense investigation in the last decades for their ability of capturing the behavior of many natural and engineering systems, including ecological, biomedical, industrial, robotic, and networked systems. In this article, a method for the event-triggered stabilization in the sample-and-hold sense of nonlinear time-delay systems with time-varying state delays is presented. The approach exploits control Lyapunov-Razumikhin functions and a sp...
• Convergence of Stochastic Nonlinear Systems and Implications for Stochastic Model-Predictive Control AI翻译
  作者：Munoz-Carpintero, Diego; Cannon, Mark
  作者单位：Universidad de O'Higgins; University of Oxford
  摘要：The stability of stochastic model-predictive control (MPC) subject to additive disturbances is often demonstrated in the literature by constructing Lyapunov-like inequalities that ensure closed-loop performance bounds and boundedness of the state, but tight ultimate bounds for the state and nonconservative performance bounds are typically not determined. In this article, we use an input-to-state stability property to find conditions that imply convergence with probability 1 of a disturbed nonl...
• Stability of Open Multiagent Systems and Applications to Dynamic Consensus AI翻译
  作者：Franceschelli, Mauro; Frasca, Paolo
  作者单位：University of Cagliari; Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS); Inria
  摘要：In this article, we consider a class of multiagent network systems that we refer to as open multiagent systems (OMASs): in these multiagent systems, an indefinite number of agents may join or leave the network at any time. Focusing on discrete-time evolutions of scalar agents, we provide a novel theoretical framework to study the dynamical properties of OMASs. Specifically, we propose a suitable notion of stability and derive sufficient conditions for it. Our analysis regards the arrival/depar...
• Verification of Detectability for Unambiguous Weighted Automata AI翻译
  作者：Lai, Aiwen; Lahaye, Sebastien; Giua, Alessandro
  作者单位：Universite d'Angers; University of Cagliari
  摘要：In this article, we deal with the detectability problem for unambiguous weighted automata (UWAs). The problem is to determine if, after a finite number of observations, the set of possible states is reduced to a singleton. Four types of detectabilities, namely, strong detectability, detectability, strong periodic detectability, and periodic detectability are defined in terms of different requirements for current state estimation. We first construct a deterministic finite state automaton (calle...
• Optimal Minimum Violation Control Synthesis of Cyber-Physical Systems Under Attacks AI翻译
  作者：Niu, Luyao; Fu, Jie; Clark, Andrew
  作者单位：Worcester Polytechnic Institute
  摘要：Temporal logic provides a rigorous and expressive way to model specifications for cyber-physical systems (CPS). Such systems, which are playing increasingly important roles in various domains, are also subject to malicious attacks initiated by intelligent adversaries. Malicious attacks may prevent the system from satisfying the desired specification. In this article, we introduce a control synthesis method to minimize deviations from the desired specification due to adversaries. We consider th...