-
作者:Williams, Alan; Krstic, Miroslav; Scheinker, Alexander
作者单位:University of California System; University of California San Diego; United States Department of Energy (DOE); Los Alamos National Laboratory
摘要:We introduce a safe extremum-seeking algorithm that achieves the minimization of an unknown objective function while ensuring that an unknown, yet measured, control barrier function (CBF) remains above an arbitrarily small negative value for all time. In other words, practical safety is maintained during the entire period of convergence to the constrained extremum. Our design is based on quadratic program (QP) CBF style filters for safety, which is applied in an average and estimated sense. Us...
-
作者:Zhang, Yuan; Xia, Yuanqing; Li, Aming
作者单位:Beijing Institute of Technology; Peking University; Peking University
摘要:In this article, we explore the structural controllability of switched linear continuous-time systems. We first identify a gap in the proof of a fundamental criterion for the structural controllability of these systems. To solve this problem, we develop several novel graph-theoretic concepts, such as multilayer dynamic graphs, generalized stems/buds, and generalized cacti. Using these concepts, we provide a comprehensive proof for the criterion. Our approach also induces a new, generalized cac...
-
作者:Zhou, Yu; Polyakov, Andrey; Zheng, Gang
作者单位:Centre National de la Recherche Scientifique (CNRS); Inria
摘要:This article develops a homogeneity-based approach to finite/fixed-time stabilization of a linear time-invariant (LTI) system with quantized measurements. A sufficient condition for finite/fixed-time stabilization of multiinput LTI system under state quantization is derived. It is shown that a homogeneous state feedback with a novel logarithmic-like quantizer design can guarantee finite/fixed-time stability of the closed-loop system, provided that the quantization is sufficiently dense. Theore...
-
作者:Cong, Xuya; Yu, Zhenhua; Fanti, Maria Pia; Mangini, Agostino Marcello; Li, Zhiwu
作者单位:Xi'an University of Science & Technology; Politecnico di Bari; Macau University of Science & Technology
摘要:This article focuses on the predictability verification problem of fault patterns for both bounded and unbounded discrete event systems modeled with labeled Petri nets. A system is said to be predictable with respect to a fault pattern if any complete fault behavior in a fault pattern can be correctly predicted before its occurrence, where the fault patterns are characterized by a particular composition of a labeled Petri net with a fault pattern net. In this article, we construct a fault patt...
-
作者:Wang, Jianzheng; Hu, Guoqiang
作者单位:Nanyang Technological University; Zhejiang University of Technology
摘要:In this work, we consider solving a distributed optimization problem in a multiagent network with multiple agent clusters. In each cluster, the agents manage separable cost functions composed of possibly nonsmooth components and aim to achieve an agreement on a common decision of the cluster. The global cost function is considered as the sum of the individual cost functions associated with affine coupling constraints on the clusters' decisions. To solve this problem, the dual problem is formul...
-
作者:Xu, Haotian; Liu, Shuai; Wang, Bohui; Wang, Jingcheng
作者单位:Shandong University; Xidian University; Shanghai Jiao Tong University
摘要:The distributed observer design problem holds significant importance in cases in which the output information of a system is decentralized across different subsystems. Each subsystem has a local observer and access to one part of the measurement outputs and information exchanged through communication networks. This article focuses on the design of distributed observer with jointly connected directed switching networks. The problem presents challenges due to passive switching modes and the open...
-
作者:Zhang, Yuan; Fernando, Tyrone; Darouach, Mohamed
作者单位:Beijing Institute of Technology; University of Western Australia; Universite de Lorraine
摘要:In this article, new characterizations for functional observability, functional detectability, and structural functional observability (SFO) are developed, and based on them, the related optimal sensor placement problems are investigated. A novel concept of modal functional observability coinciding with the notion of modal observability is proposed. This notion introduces necessary and sufficient conditions for functional observability and detectability in a unified way without resorting to sy...
-
作者:Auriol, Jean
作者单位:Universite Paris Saclay; Centre National de la Recherche Scientifique (CNRS)
摘要:In this article, we detail the design of an output feedback stabilizing control law for an underactuated network of N subsystems of n+m heterodirectional linear first-order hyperbolic partial differential equations interconnected through their boundaries. The network has a chain structure, as only one of the subsystems is actuated. The available measurements are located at the opposite extremity of the chain. The proposed approach introduces a new type of integral transformation to tackle in-d...
-
作者:Even, Mathieu; Hendrikx, Hadrien; Massoulie, Laurent
作者单位:Universite PSL; Ecole Normale Superieure (ENS); Swiss Federal Institutes of Technology Domain; Ecole Polytechnique Federale de Lausanne; Universite PSL; Ecole Normale Superieure (ENS)
摘要:In decentralized optimization, nodes of a communication network each possess a local objective function, and communicate using gossip-based methods in order to minimize the average of these per-node functions. While synchronous algorithms are heavily impacted by a few slow nodes or edges in the graph (the straggler problem), their asynchronous counterparts are notoriously harder to parameterize. Indeed, their convergence properties for networks with heterogeneous communication and computation ...
-
作者:Tong, Xin; Ding, Qingpeng; Cheng, Shing Shin
作者单位:Nanjing University; Chinese University of Hong Kong; Chinese University of Hong Kong; Chinese University of Hong Kong
摘要:This article investigates the problem of global coordinated stabilization for a multiagent system, which consists of a general class of mechanical systems that evolve on compact connected Lie groups. First, a distributed synergistic hybrid controller is synthesized by leveraging a coadjoint incidence matrix to assign to neighboring agents a hybrid feedback that is based on their relative position. It leads to robust and global asymptotic stability in tree networks. Second, the existence of syn...