10期

最新文章

• Hybrid Adaptive Output Feedback Tracking for Stable Systems With Unknown Input Constraints AI翻译
  作者：Marino, Riccardo; Tomei, Patrizio
  作者单位：University of Rome Tor Vergata
  摘要：The problem of global output tracking is addressed for stable minimum phase systems, with constant uncertain parameters and constant disturbances belonging to a known compact set, in the presence of input constraints such as amplitude saturation. The relative degree, the system order, and the sign of the high frequency gain are assumed to be known. A hybrid adaptive output feedback control is designed to achieve global asymptotic output tracking, provided that there exists an input within the ...
• Probably Approximately Correct Learning in Adversarial Environments With Temporal Logic Specifications AI翻译
  作者：Wen, Min; Topcu, Ufuk
  作者单位：University of Pennsylvania; University of Texas System; University of Texas Austin
  摘要：Reinforcement learning (RL) algorithms have been used to learn how to implement tasks in uncertain and partially unknown environments. In practice, environments are usually uncontrolled and may affect task performance in an adversarial way. In this article, we model the interaction between an RL agent and its potentially adversarial environment as a turn-based zero-sum stochastic game. The task requirements are represented both qualitatively as a subset of linear temporal logic (LTL) specifica...
• Exponential Control Lyapunov-Barrier Function Using a Filtering-Based Concurrent Learning Adaptive Approach AI翻译
  作者：Azimi, Vahid; Hutchinson, Seth
  作者单位：University System of Georgia; Georgia Institute of Technology
  摘要：The state-of-the-art quadratic-program-based control Lyapunov-barrier function (QP-CLBF) is a powerful control approach to balance safety and stability in an optimal fashion. However, under this approach, modeling inaccuracies may degrade the performance of closed-loop systems and cause violation or restriction of safety-critical constraints. This article presents an adaptive QP-CLBF approach for a class of nonlinear systems in the presence of parameter uncertainties with an unknown control co...
• Constrained Controller and Observer Design by Inverse Optimality AI翻译
  作者：Zanon, Mario; Bemporad, Alberto
  作者单位：IMT School for Advanced Studies Lucca
  摘要：Model predictive control (MPC) is often tuned by trial and error. When a baseline linear controller exists that is already well tuned in the absence of constraints and MPC is introduced to enforce them, one would like to avoid altering the original linear feedback law whenever they are not active. We formulate this problem as a controller matching similar to the works of Di Cairano and Bemporad (2009), Di Cairano and Bemporad (2010), and Tran et al. (2015), which we extend to a more general fr...
• Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems AI翻译
  作者：Gao, Yulong; Abate, Alessandro; Jiang, Frank J.; Giacobbe, Mirco; Xie, Lihua; Johansson, Karl Henrik
  作者单位：Royal Institute of Technology; Nanyang Technological University; University of Oxford; University of Birmingham
  摘要：We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct temporal logic trees (TLTs) from LTL formulae via reachability analysis. In contrast to automaton-based methods, the construction of the TLT is abstraction-free for infinite systems; that is, we do not construct discrete abstractions of the infinite systems. Moreover, for a given transition system and an LTL formula, we pro...
• Exact Minimum Number of Bits to Stabilize a Linear System AI翻译
  作者：Kostina, Victoria; Peres, Yuval; Ranade, Gireeja; Sellke, Mark
  作者单位：California Institute of Technology; University of California System; University of California Berkeley; Stanford University
  摘要：We consider an unstable scalar linear stochastic system, Xn+1 = aX(n) + Z(n) - U-n, where a >= 1 is the system gain, Z(n)s are independent random variables with bounded alpha th moments, and U(n)s are the control actions that are chosen by a controller who receives a single element of a finite set {1, ..., M} as its only information about system state X-i. We show new proofs that M > a is necessary and sufficient for beta-moment stability, for any beta < alpha. Our achievable scheme is a unifo...
• Learning Dynamical Systems From Quantized Observations: A Bayesian Perspective AI翻译
  作者：Piga, Dario; Mejari, Manas; Forgione, Marco
  作者单位：Universita della Svizzera Italiana
  摘要：Identification of dynamical systems from low-resolution quantized observations presents several challenges because of the limited amount of information available in the data and since proper algorithms have to be designed to handle the error due to quantization. In this article, we consider identification of infinite impulse response models from quantized outputs. Algorithms both for maximum-likelihood estimation and Bayesian inference are developed. Finally, a particle-filter approach is pres...
• Partial Exponential Stability Analysis of Slow-Fast Systems via Periodic Averaging AI翻译
  作者：Qin, Yuzhen; Kawano, Yu; Anderson, Brian D. O.; Cao, Ming
  作者单位：University of California System; University of California Riverside; University of Groningen; Hiroshima University; Australian National University
  摘要：This article presents some new criteria for the partial exponential stability of a slow-fast nonlinear system with a fast scalar variable using periodic averaging methods. Unlike classical averaging techniques, we construct an averaged system by averaging over this fast scalar variable instead of the time variable. We show that the partial exponential stability of the averaged system implies that of the original one. We then apply the obtained criteria to the study of remote synchronization of...
• An Interpolatory Algorithm for Distributed Set Membership Estimation in Asynchronous Networks AI翻译
  作者：Farina, Francesco; Garulli, Andrea; Giannitrapani, Antonio
  作者单位：University of Bologna; GlaxoSmithKline; Glaxosmithkline United Kingdom; University of Siena
  摘要：This article addresses distributed estimation problems over asynchronous networks in a set membership framework. The agents in the network asynchronously collect and process measurements, communicate over a possibly time-varying and unbalanced directed graph and may have nonnegligible computation times. Measurements are affected by bounded errors so that they define feasible sets containing the unknown parameters to be estimated. The proposed algorithm requires each agent to compute a weighted...
• Fault-Tolerant Coherent H∞ Control for Linear Quantum Systems AI翻译
  作者：Liu, Yanan; Dong, Daoyi; Petersen, Ian R.; Gao, Qing; Ding, Steven X.; Yokoyama, Shota; Yonezawa, Hidehiro
  作者单位：University of New South Wales Sydney; Okinawa Institute of Science & Technology Graduate University; University of Duisburg Essen; Australian National University; Beihang University; Beihang University
  摘要：Robustness and reliability are two key requirements for developing practical quantum control systems. The purpose of this article is to design a coherent feedback controller for a class of linear quantum systems suffering from Markovian jumping faults so that the closed-loop quantum system has both fault tolerance and H-infinity disturbance attenuation performance. This article first extends the physical realization conditions from the time-invariant case to the time-varying case for linear st...