2023

最新文章

• Algorithmic Minimization of Uncertain Continuous-Time Markov Chains AI翻译
  作者：Cardelli, Luca; Grosu, Radu; Larsen, Kim Guldstrand; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea
  作者单位：University of Oxford; Technische Universitat Wien; Aalborg University; IMT School for Advanced Studies Lucca; Scuola Superiore Sant'Anna; Technical University of Denmark
  摘要：The assumption of perfect knowledge of rate parameters in continuous-time Markov chains (CTMCs) is undermined when confronted with reality, where they may be uncertain due to lack of information or because of measurement noise. Here, we consider uncertain CTMCs (UCTMCs), where rates are assumed to vary nondeterministically with time from bounded continuous intervals. A UCTMC can be, therefore, seen as a specific type of Markov decision process for which the analysis is computationally difficul...
• Synchronization of Spin-Torque Oscillators via Continuation Method AI翻译
  作者：Nikitin, Denis; Canudas-de-Wit, Carlos; Frasca, Paolo; Ebels, Ursula
  作者单位：Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS); Inria; Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); CEA; Centre National de la Recherche Scientifique (CNRS)
  摘要：In this article, we study synchronization phenomena of spin-torque oscillators coupled on a ring. Spin-torque oscillators are nanoelectronic devices that promise efficient microwave generation provided they are synchronized in large arrays. Due to their nonlinear and nonisochronous nature, their synchronization properties are difficult to analyze explicitly. To address this challenge, we employ a recently developed continuation method and transform the network of coupled oscillators (each desc...
• Partial Persistence of Excitation in RKHS Embedded Adaptive Estimation AI翻译
  作者：Guo, Jia; Paruchuri, Sai Tej; Kurdila, Andrew J.
  作者单位：Virginia Polytechnic Institute & State University
  摘要：In this article, an adaptive nonparametric method is proposed to estimate the unknown scalar-valued function that appears in systems governed by ordinary differential equations (ODEs). We recast the nonlinear estimation problem in a finite-dimensional Euclidean space into a linear one in an infinite-dimensional reproducing kernel Hilbert space (RKHS) by viewing the unknown function as a functional parameter in the RKHS, for which an RKHS embedded adaptive estimator is developed. The convergenc...
• 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...