IEEE Transactions on Automatic Control

最新文章

• Probabilistic Safety Guarantees for Markov Decision Processes AI翻译
  作者：Wisniewski, Rafal; Bujorianu, Manuela L.
  作者单位：Aalborg University; University of London; University College London
  摘要：This article aims to incorporate safety specifications into Markov decision processes. Explicitly, we address the minimization problem up to a stopping time with safety constraints. We establish a formalism leaning upon the evolution equation to achieve our goal. We show how to compute the safety function with dynamic programming. In the last part of this article, we develop several algorithms for safe stochastic optimization using linear and dynamic programming.
• Attack Detection for Cyber-Physical Systems: A Zonotopic Approach AI翻译
  作者：Li, Jitao; Wang, Zhenhua; Shen, Yi; Xie, Lihua
  作者单位：Harbin Institute of Technology; Harbin Engineering University; Nanyang Technological University
  摘要：This article studies the problem of sensor attack detection for a class of cyber-physical systems with bounded perturbations. A novel attack detection method is proposed based on zonotopic reachability analysis. A false data injection attack is detected if there is no intersection between the predicted state set and the measurement state set. These sets are online calculated via zonotopic segments minimization. Two approaches, namely, projection and polytopic conversion, are presented to check...
• Online Distributed Optimization With Nonconvex Objective Functions via Dynamic Regrets AI翻译
  作者：Lu, Kaihong; Wang, Long
  作者单位：Shandong University of Science & Technology; Peking University; Peking University
  摘要：In this article, the problem of online distributed optimization subject to a convex set is studied by employing a network of agents, where the objective functions allocated to agents are nonconvex. Each agent only has access to its own objective function information at the previous time, and can only communicate with its immediate neighbors via a time-varying directed graph. To tackle this problem, first, a new online distributed algorithm with gradient information is proposed based on consens...
• On Stability of Homogeneous Systems in Presence of Parasitic Dynamics AI翻译
  作者：Mendoza-Avila, Jesus; Efimov, Denis; Fridman, Leonid; Moreno, Jaime A.
  作者单位：Inria; Universite de Lille; ITMO University; Universidad Nacional Autonoma de Mexico; Universidad Nacional Autonoma de Mexico
  摘要：In this article, the effect of a homogeneous parasitic dynamics on the stability of a homogeneous system, when homogeneity degrees are possibly different, is studied via input-to-state stability approach in the framework of singular perturbations. Thus, the possibilities to reduce the order of the interconnected system considering only the reduced-order dynamics and neglecting the parasitic ones are examined. Proposed analysis discovers three kinds of stability in the behavior of such an inter...
• Adaptive Fixed-Time Stabilization for a Class of Uncertain Nonlinear Systems AI翻译
  作者：Meng, Qingtan; Ma, Qian; Shi, Yang
  作者单位：Nanjing University of Science & Technology; University of Victoria
  摘要：This article studies the problem of fixed-time stabilization for a class of nonlinear systems with parameteric uncertainties, where the nonlinear functions are constrained by an unknown linear growth condition. By establishing a new adaptive fixed-time stability analysis criterion, it is proved that the closed-loop system is fixed-time stable and all the states can be regulated to zero. In addition, the singularity problem caused by the back-stepping method under fixed-time control can be avoi...
• Necessary and Sufficient Stability Condition for Time-Delay Systems Arising From Legendre Approximation AI翻译
  作者：Bajodek, Mathieu; Gouaisbaut, Frederic; Seuret, Alexandre
  作者单位：Universite de Toulouse; Universite Toulouse III - Paul Sabatier; Centre National de la Recherche Scientifique (CNRS)
  摘要：Recently, necessary conditions of stability for time-delay systems based on the handling of the Lyapunov-Krasovskii functional have been studied in the literature giving rise to a new paradigm. Interestingly, the necessary condition for stability developed by Gomez et al. has been proven to be sufficient. It is presented as a simple positivity test of a matrix issued from the Lyapunov matrix. This article proposes an extension of this result, where the uniform discretization of the state has b...
• Finite Sample Analysis for Structured Discrete System Identification AI翻译
  作者：Xie, Xiaotian; Katselis, Dimitrios; Beck, Carolyn L.; Srikant, R.
  作者单位：Central South University; University of Illinois System; University of Illinois Urbana-Champaign; University of Illinois System; University of Illinois Urbana-Champaign
  摘要：We consider a discrete-time dynamical system over a discrete state-space, which evolves according to a structured Markov model called Bernoulli autoregressive (BAR) model. Our goal is to obtain sample complexity bounds for the problem of estimating the parameters of this model using an indirect maximum likelihood estimator. Our sample complexity bounds exploit the structure of the BAR model and are established using concentration inequalities for random matrices and Lipschitz functions.
• Reducing the LQG Cost With Minimal Communication AI翻译
  作者：Sabag, Oron; Tian, Peida; Kostina, Victoria; Hassibi, Babak
  作者单位：California Institute of Technology; Hebrew University of Jerusalem
  摘要：We study the linear quadratic Gaussian (LQG) control problem, in which the controller's observation of the system state is insufficient to attain a desired quadratic control cost. To achieve the desired LQG cost, we introduce a communication link from the observer (encoder) to the controller (decoder). We investigate the fundamental tradeoff between a desired LQG cost and the required communication (information) resources, measured with the conditional directed information. The optimization do...
• Implementation Methods of Controllers Designed by H8 Loop Shaping AI翻译
  作者：Saeki, Masami
  作者单位：Hiroshima University
  摘要：When the H-8 loop-shaping controller is implemented as a unity feedback system, its step responses are sometimes unsuitable for tracking control, typically, displaying large overshoots. In this article, the implementation method is studied for tracking control with small overshoots. Three implementation methods that are described by a unity feedback system, a previous simple two-degrees-of-freedom (2DoF) system, and a new simple 2DoF system proposed in this article are examined. For the closed...
• A Deterministic Least Squares Approach for Simultaneous Input and State Estimation AI翻译
  作者：Gakis, Grigorios; Smith, Malcolm C. C.
  作者单位：University of Cambridge
  摘要：In this article, we consider a deterministic estimation problem to find the input and state of a linear dynamical system, which minimize a weighted integral squared error between the resulting output and the measured output. A completion of squares approach is used to find the unique optimum in terms of the solution of a Riccati differential equation. The optimal estimate is obtained from a two-stage procedure that is reminiscent of the Kalman filter. The first stage is an end-of-interval esti...