IEEE Transactions on Automatic Control

最新文章

• Convex Optimization for Parameter Synthesis in MDPs AI翻译
  作者：Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
  作者单位：University of Texas System; University of Texas Austin; Radboud University Nijmegen; RWTH Aachen University
  摘要：Probabilistic model-checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic assumption that the MDP is precisely known. Consequently, parametric MDPs (pMDPs) extend MDPs with transition probabilities that are functions over unspecified parameters. The parameter synthesis problem is to compute an instantiation of these unspecified parameters such that the resulting MDP satisfies the temporal log...
• On State-Space Representations of General Discrete-Time Dynamical Systems AI翻译
  作者：Rojas, Cristian R. R.; Wachel, Pawel
  作者单位：Royal Institute of Technology
  摘要：In this article, we establish that every (deterministic) nonautonomous, discrete-time, causal, time invariant system has a state-space representation, and discuss its minimality.
• On Self-Learning Mechanism for the Output Regulation of Second-Order Affine Nonlinear Systems AI翻译
  作者：Wu, Haiwen; Xu, Dabo; Jayawardhana, Bayu
  作者单位：University of Groningen; Nanjing University of Science & Technology; South China University of Technology
  摘要：This article studies global robust output regulation of second-order nonlinear systems with input disturbances that encompass the fully-actuated Euler-Lagrange systems. We assume the availability of relative output (w.r.t. a family of reference signals) and output derivative measurements. Based on a specific separation principle and self-learning mechanism, we develop an internal model-based controller that does not require a priori knowledge of reference and disturbance signals and it only as...
• A Zeno-Free Event-Triggered Control Strategy for Asymptotic Stabilization of Switched Affine Systems AI翻译
  作者：Li, Zhuoyu; Zhao, Jun
  作者单位：Northeastern University - China; Northeastern University - China; Northeastern University - China
  摘要：This article investigates the event-triggered control problem for switched affine systems (SASs). The presence of affine terms brings many difficulties on the exclusion of triggering Zeno behavior when ensuring asymptotic stability. We propose an event-triggered control strategy dynamically updated with triggering to solve this problem, in which the triggering condition is associated with the affine terms and given with a time-varying term that is updated at triggering instants. Based on the t...
• The Continuous-Time Singular LQR Problem and the Riddle of Nonautonomous Hamiltonian Systems: A Behavioral Solution AI翻译
  作者：Qais, Imrul; Pal, Debasattam
  作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Bombay
  摘要：In this article, we deal with the continuous-time singular linear quadratic regulator (LQR) problems, which give rise to nonautonomous Hamiltonian systems. This case arises when the system's transfer function matrix is not left-invertible. A special case of this problem can be solved using the constrained generalized continuous algebraic Riccati equation (CGCARE), when a certain condition on the input-cardinality of the Hamiltonian is satisfied. However, this condition is only a special case a...
• On Heavy-Traffic Optimal Scaling of c-Weighted MaxWeight Scheduling in Input-Queued Switches AI翻译
  作者：Lu, Yingdong; Maguluri, Siva Theja; Squillante, Mark S.; Suk, Tonghoon
  作者单位：International Business Machines (IBM); IBM USA; University System of Georgia; Georgia Institute of Technology
  摘要：We consider the asymptotically optimal control of input-queued switches under a cost-weighted variant of MaxWeight scheduling, for which we establish theoretical properties that include showing the algorithm exhibits optimal heavy-traffic queue-length scaling. Our results are expected to be of theoretical interest more broadly than input-queued switches.
• Diffusion-Based Distributed Parameter Estimation Through Directed Graphs With Switching Topology: Application of Dynamic Regressor Extension and Mixing AI翻译
  作者：Matveev, Alexey S.; Almodarresi, Mostafa; Ortega, Romeo; Pyrkin, Anton; Xie, Siyu
  作者单位：Saint Petersburg State University; University of Yazd; Instituto Tecnologico Autonomo de Mexico; ITMO University; Wayne State University
  摘要：In this article, we consider the problem of discrete-time, diffusion-based distributed parameter estimation with the agents connected via directed graphs with switching topologies and a self loop at each node. We show that, by incorporating the recently introduced dynamic regressor extension and mixing procedure to a classical gradient-descent algorithm, improved convergence properties can be achieved. In particular, it is shown that with this modification sufficient conditions for global conv...
• Multiagent Persistent Monitoring of Targets With Uncertain States AI翻译
  作者：Pinto, Samuel C.; Andersson, Sean B.; Hendrickx, Julien M.; Cassandras, Christos G.
  作者单位：Boston University; Boston University; Universite Catholique Louvain; Boston University; Boston University
  摘要：We address the problem of persistent monitoring, where a finite set of mobile agents has to persistently visit a finite set of targets. Each of these targets has an internal state that evolves with linear stochastic dynamics. The agents can observe these states, and the observation quality is a function of the distance between the agent and a given target. The goal is then to minimize the mean squared estimation error of these target states. We approach the problem from an infinite horizon per...
• Codiagnosability of Networked Discrete Event Systems With Timing Structure AI翻译
  作者：Viana, Gustavo S.; Alves, Marcos V. S.; Basilio, Joao Carlos
  作者单位：Universidade Federal do Rio de Janeiro
  摘要：We address, in this article, the problem of codiagnosability of networked discrete event systems with timing structure (NDESWTS) subject to delays and loss of observations of events between the measurement sites (MS) and local diagnosers (LD). To this end, we first introduce a new timed model that represents the dynamic behavior of the plant based on the, a priori, knowledge of the minimal activation time for each transition of the plant and on the maximal delays in the communication channels ...
• Reduced-Order Nonlinear Observers Via Contraction Analysis and Convex Optimization AI翻译
  作者：Yi, Bowen; Wang, Ruigang; Manchester, Ian R.
  作者单位：University of Sydney; University of Sydney
  摘要：In this article, we propose a new approach to design globally convergent reduced-order observers for nonlinear control systems via contraction analysis and convex optimization. Despite the fact that contraction is a concept naturally suitable for state estimation, the existing solutions are either local or relatively conservative when applying to physical systems. To address this, we show that this problem can be translated into an offline search for a coordinate transformation after which the...