IEEE Transactions on Automatic Control

最新文章

• How Much Noise Suffices for Privacy of Multiagent Systems? AI翻译
  作者：Zhang, Wentao; Zuo, Zhiqiang; Wang, Yijing; Hu, Guoqiang
  作者单位：Tianjin University; Nanyang Technological University; Nanyang Technological University; Tianjin University
  摘要：As multiagent systems always involve a large number of nodes and connections, it is crucial to study the privacy-preserving problem with minimal corrupted noise in the framework of differential privacy or noise-perturbation schemes. We first show that a moderate amount of noise is sufficient to ensure privacy as long as the minimal observability subspace of the considered system is blurred by noise. Based on this, it is shown that blurring more than half of the sensors can provide a desirable ...
• Efficient Strategy Synthesis for MDPs With Resource Constraints AI翻译
  作者：Blahoudek, Frantisek; Novotny, Petr; Ornik, Melkior; Thangeda, Pranay; Topcu, Ufuk
  作者单位：University of Texas System; University of Texas Austin; Masaryk University; University of Illinois System; University of Illinois Urbana-Champaign; University of Texas System; University of Texas Austin
  摘要：We consider qualitative strategy synthesis for the formalism called consumption Markov decision processes. This formalism can model the dynamics of an agent that operates under resource constraints in a stochastic environment. The presented algorithms work in time polynomial with respect to the representation of the model and they synthesize strategies ensuring that a given set of goal states will be reached (once or infinitely many times) with probability 1 without resource exhaustion. In par...
• Stabilization of an Overhead Crane System With Infinite Memory in the Boundary Control AI翻译
  作者：Chentouf, Boumediene; Mansouri, Sabeur
  作者单位：Kuwait University; Universite de Monastir
  摘要：This article is concerned with the boundary stabilization problem of an overhead crane with infinite memory. We show, under some assumptions of the memory kernel, that the problem is well-posed in the sense of semigroups theory. Furthermore, the uniform exponential stability of the solutions to the system is established by means of the frequency-domain method.
• A Predictor-Based Linearization Approach for Local Stabilization of Nonlinear Systems With Input Delay AI翻译
  作者：Liu, Xueliang; Lin, Wei
  作者单位：Dongguan University of Technology; University System of Ohio; Case Western Reserve University
  摘要：In this article, a predictor-based linearization approach is presented to solve the local asymptotic stabilization (LAS) problem of time-invariant nonlinear systems with a large constant input delay. Under stabilizability and detectability of the linearized time-delay system, we prove that LAS is achievable by either predictor-based state or output feedback controllers, which are designed based on the linearization. The predictor-based linearization technique developed in this research complem...
• Consensus in Concatenated Opinion Dynamics With Stubborn Agents AI翻译
  作者：Wang, Lingfei; Bernardo, Carmela; Hong, Yiguang; Vasca, Francesco; Shi, Guodong; Altafini, Claudio
  作者单位：Chinese Academy of Sciences; Chinese Academy of Sciences; University of Chinese Academy of Sciences, CAS; University of Sannio; Linkoping University; Tongji University; University of Sydney
  摘要：This article investigates a two-timescale opinion dynamics model, named the concatenated Friedkin-Johnsen (FJ) model, which describes the evolution of the opinions of a group of agents over a sequence of discussion events. The topology of the underlying graph changes with the event, in the sense that the agents can participate or less to an event, and the agents are stubborn, with stubbornness that can vary from one event to the other. Concatenation refers to the fact that the final opinions o...
• The Model Matching Problem for Max-Plus Linear Systems: A Geometric Approach AI翻译
  作者：Animobono, Davide; Scaradozzi, David; Zattoni, Elena; Perdon, Anna Maria; Conte, Giuseppe
  作者单位：Marche Polytechnic University
  摘要：Linear systems over the max-plus algebra provide a suitable formalism to model discrete-event systems where synchronization, without competition, is involved. In this article, we consider a formulation of the model matching problem for systems of such class, in which the output of a given system, called the plant, is forced, by a suitable input, to track exactly that of a given model. A necessary and sufficient condition for its solvability is obtained by making a suitable use of geometric met...
• Distributed Gradient Tracking for Unbalanced Optimization With Different Constraint Sets AI翻译
  作者：Cheng, Songsong; Liang, Shu; Fan, Yuan; Hong, Yiguang
  作者单位：Anhui University; Tongji University
  摘要：tracking methods have become popular for distributed optimization in recent years, partially because they achieve linear convergence using only a constant step-size for strongly convex optimization. In this article, we construct a counterexample on constrained optimization to show that direct extension of gradient tracking by using projections cannot guarantee the correctness. Then, we propose projected gradient tracking algorithms with diminishing step-sizes rather than a constant one for dis...
• On Liveness Enforcement of Distributed Petri Net Systems AI翻译
  作者：Clavel, Daniel; Mahulea, Cristian; Silva, Manuel
  作者单位：University of Zaragoza
  摘要：In this article, we consider the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems. They are called synchronized sequential processes. The presented design algorithm is based on the construction of a control PN, an abstraction of the relations of the T-semiflows, and buffers of the original nonstructurally live PN. The control PN evolves in parallel with the system, avoiding the firing of transitions that may lead the system to nonliveness. Four algorithm...
• Robust Stability Analysis of a Simple Data-Driven Model Predictive Control Approach AI翻译
  作者：Bongard, Joscha; Berberich, Julian; Koehler, Johannes; Allgoewer, Frank
  作者单位：Technical University of Munich; University of Stuttgart; University of Stuttgart; Swiss Federal Institutes of Technology Domain; ETH Zurich
  摘要：In this article, we provide a theoretical analysis of closed-loop properties of a simple data-driven model predictive control (MPC) scheme. The formulation does not involve any terminal ingredients, thus allowing for a simple implementation without (potential) feasibility issues. The proposed approach relies on an implicit description of linear time-invariant systems based on behavioral systems theory, which only requires one input-output trajectory of an unknown system. For the nominal case w...
• Compactly Restrictable Metric Policy Optimization Problems AI翻译
  作者：Dorobantu, Victor D.; Azizzadenesheli, Kamyar; Yue, Yisong
  作者单位：California Institute of Technology; Purdue University System; Purdue University; Nvidia Corporation
  摘要：We study policy optimization problems for deterministic Markov decision processes (MDPs) with metric state and action spaces, which we refer to as metric policy optimization problems (MPOPs). Our goal is to establish theoretical results on the well-posedness of MPOPs that can characterize practically relevant continuous control systems. To do so, we define a special class of MPOPs called compactly restrictable MPOPs (CR-MPOPs), which are flexible enough to capture the complex behavior of robot...