4期

最新文章

• Barrier-Based Test Synthesis for Safety-Critical Systems Subject to Timed Reach-Avoid Specifications AI翻译
  作者：Akella, Prithvi; Ahmadi, Mohamadreza; Murray, Richard M.; Ames, Aaron D.
  作者单位：California Institute of Technology
  摘要：We propose an adversarial, time-varying test-synthesis procedure for safety-critical systems without requiring specific knowledge of the underlying controller steering the system. Specifically, our approach codifies the system objective as a timed reach-avoid specification. Then, by coupling control barrier functions with this class of specifications, we construct an instantaneous difficulty metric whose minimizer corresponds to the most difficult test at that system state. By defining tests a...
• Negative Imaginary Reset Control Systems AI翻译
  作者：Kaczmarek, Marcin B.; Hosseinnia, S. Hassan
  作者单位：Delft University of Technology
  摘要：In this note, we present an extension of the nonlinear negative imaginary (NI) systems theory to reset systems. We define the reset NI and reset strictly NI systems and provide a state-space characterization of these systems in terms of linear matrix inequalities. Subsequently, we establish the conditions for the internal stability of a positive feedback interconnection of a (strictly) NI linear time-invariant plant and a reset (strictly) NI controller. The applicability of the proposed method...
• Optimal Control of Switched Dynamical Systems Under Dwell Time Constraints-Theory and Computation AI翻译
  作者：Ali, Usman; Egerstedt, Magnus
  作者单位：De Montfort University; University of California System; University of California Irvine
  摘要：This article addresses the problem of optimal mode scheduling subject to dwell time constraints, which is the minimum amount of time a system has to spend in one mode before it can transition to another. The constraint is important since most physical systems cannot switch rapidly between different modes and its presence also eliminates the problem of chattering solutions by construction. We investigate the topology of the optimization space and show that it lacks structure to define local min...
• Accelerated Distributed Stochastic Nonconvex Optimization Over Time-Varying Directed Networks AI翻译
  作者：Chen, Yiyue; Hashemi, Abolfazl; Vikalo, Haris
  作者单位：University of Texas System; University of Texas Austin; Purdue University System; Purdue University
  摘要：Distributed stochastic nonconvex optimization problems have recently received attention due to the growing interest of signal processing, computer vision, and natural language processing communities in applications deployed over distributed learning systems (e.g., federated learning). We study the setting where the data is distributed across the nodes of a time-varying directed network, a topology suitable for modeling dynamic networks experiencing communication delays and straggler effects. T...
• Existence and Completeness of Bounded Disturbance Observers: A Set-Membership Viewpoint AI翻译
  作者：Li, Yudong; Cong, Yirui; Dong, Jiuxiang
  作者单位：Northeastern University - China; Northeastern University - China; National University of Defense Technology - China
  摘要：This article investigates the boundedness of the disturbance observer (DO) for linear discrete-time systems. In contrast to previous studies that focus on analyzing and/or designing observer gains, our analysis and synthesis approach is based on a set-membership viewpoint. From this viewpoint, a necessary and sufficient existence condition of bounded DOs is first established, which can be easily verified. Furthermore, a set-membership filter-based DO is developed, and its completeness is prove...
• Identifiability in Dynamic Acyclic Networks With Partial Excitation and Measurement AI翻译
  作者：Cheng, Xiaodong; Shi, Shengling; Lestas, Ioannis; Hof, Paul M. J. Van den
  作者单位：Wageningen University & Research; Massachusetts Institute of Technology (MIT); University of Cambridge; Eindhoven University of Technology
  摘要：This article deals with dynamic networks in which the causality relations between the vertex signals are represented by linear time-invariant transfer functions (modules). Considering an acyclic network where only a subset of its vertices are measured and a subset of the vertices are excited, we explore conditions under which all the modules are identifiable on the basis of measurement data. Two sufficient conditions are presented, where the first condition concerns an identifiability analysis...
• Locally Differentially Private Distributed Online Learning With Guaranteed Optimality AI翻译
  作者：Chen, Ziqin; Wang, Yongqiang
  作者单位：Clemson University
  摘要：Distributed online learning is gaining increased traction due to its unique ability to process large-scale datasets and streaming data. To address the growing public awareness and concern about privacy protection, plenty of algorithms have been proposed to enable differential privacy in distributed online optimization and learning. However, these algorithms often face the dilemma of trading learning accuracy for privacy. By exploiting the unique characteristics of online learning, this article...
• A Unified Safety Protection and Extension Governor AI翻译
  作者：Li, Nan; Li, Yutong; Kolmanovsky, Ilya
  作者单位：Tongji University; Ford Motor Company; University of Michigan System; University of Michigan
  摘要：In this note, we propose a supervisory control scheme that unifies the abilities of safety protection and safety extension. It produces a control that keeps the system safe indefinitely when such a control exists. When such a control does not exist, it optimizes the control to maximize the time before any safety violation, which translates into more time to seek recovery and/or mitigate any harm. We describe the scheme and develop an approach that integrates the two abilities into a single con...
• Phase Preservation of N-Port Networks Under General Connections AI翻译
  作者：Chen, Jianqi; Chen, Wei; Chen, Chao; Qiu, Li
  作者单位：Nanjing University; Peking University; Peking University; KU Leuven; Hong Kong University of Science & Technology; The Chinese University of Hong Kong, Shenzhen
  摘要：This study first introduces the frequency-wise phases of n-port linear time-invariant networks based on recently defined phases of complex matrices. Such a phase characterization can be utilized to quantify capacitive, inductive, and passive behaviors of n-port networks, as well as to relate to the power factor of the networks. Further, a class of matrix operations induced by fairly common n-port network connections is examined. The intrinsic phase properties of networks under such connections...
• An Improved Distributed Nesterov Gradient Tracking Algorithm for Smooth Convex Optimization Over Directed Networks AI翻译
  作者：Lin, Yifu; Li, Wenling; Zhang, Bin; Du, Junping
  作者单位：Beihang University; Beijing University of Posts & Telecommunications; Beijing University of Posts & Telecommunications
  摘要：This article explores the problem of distributed optimization for functions that are smooth and nonstrongly convex over directed networks. To address this issue, an improved distributed Nesterov gradient tracking (IDNGT) algorithm is proposed, which utilizes the adapt-then-combine rule and row-stochastic weights. A main novelty of the proposed algorithm is the introduction of a scale factor into the gradient tracking scheme to suppress the consensus error. By the estimate sequence approach, th...