-
作者：Ma, Ziyue; Tong, Yin; Yin, Xiang
作者单位：Xidian University; Zhejiang University; Southwest Jiaotong University; Shanghai Jiao Tong University; Shanghai Jiao Tong University
摘要：In this article, we study the problem of verifying resilient opacity in discrete-event systems in the presence of dynamic sensor attacks. The system contains several secret states, each assigned a secret level. The system is vulnerable to sensor-enabling attacks by potential intruders: such attacks allow the intruder to make certain originally unobservable events temporarily observable. We propose the notion of resilient current-state opacity (R-CSO), which is a property that ensures an intrud...
-
作者：Dong, Zhiyuan; Zhang, Guofeng; Lee, Heung-wing Joseph; Petersen, Ian R.
作者单位：Harbin Institute of Technology; Hong Kong Polytechnic University; Hong Kong Polytechnic University; Australian National University
摘要：noncommutative nature of quantum mechanics imposes fundamental constraints on system dynamics, which, in the linear realm, are manifested through the physical realizability conditions on system matrices. These restrictions give system matrices a unique structure. This article aims to study this structure by investigating the zeros and poles of linear quantum systems. First, it is shown that-s(0) is a transmission zero if and only if s(0) is a pole of the transfer function, and-s(0) is an invar...
-
作者：Ren, Xiaoxing; Bastianello, Nicola; Johansson, Karl H.; Parisini, Thomas
作者单位：Cornell University; Royal Institute of Technology; Imperial College London; Aalborg University; University of Trieste
摘要：We address distributed learning problems, both nonconvex and convex, over undirected networks. In particular, we design a novel algorithm based on the distributed to tackle the challenges of high communication costs, and large datasets. Our design deals with these challenges: first, by enabling the agents to perform multiple local training steps between each round of communications; second, by allowing the agents to employ stochastic gradients while carrying out local computations. We show tha...
-
作者：Wang, Zili; Yang, Hao; Jiang, Bin
作者单位：Nanjing University of Aeronautics & Astronautics
摘要：This article considers Nash equilibrium verification problem of inverse linear-quadratic (LQ) differential games, which answers the question whether a set of controllers constitutes a Nash equilibrium of a LQ differential game. This establishes a solid foundation for inverse differential games where performance indices can be identified through controllers. Distributed verification criteria are established via geometric characterization of constrained algebraic Riccati equation solutions and c...
-
作者：Yuan, Ming; Zhao, Dong; Keliris, Christodoulos; Polycarpou, Marios M.
作者单位：University of Cyprus; University of Cyprus; Beihang University
摘要：This article presents a distributed dynamic event-triggered fault accommodation leader-following consensus regulation strategy for a class of nonlinear uncertain multiagent systems, remedying time-varying actuator faults and process faults that occur in the local agents and/or are propagated from interconnected neighboring dynamics. The networked system under consideration operates through a bidirectional intercommunication topology with asymmetric weights. Distinct from passive fault-tolerant...
-
作者：Wu, Liang; Braatz, Richard D.
作者单位：Massachusetts Institute of Technology (MIT)
摘要：Solving linear systems and quadratic programming (QP) problems are both ubiquitous tasks in the engineering and computing fields. Direct methods for solving linear systems, such as Cholesky, lower-upper (LU), and orthogonal-triangular (QR) factorizations, exhibit dataindependent time complexity of O(n3). This raises a natural question: could there exist algorithms for solving QPs that also achieve data-independent time complexity of O(n3)? This is critical for offering an execution time certif...
-
作者：Gul, Kursad Metehan; Sarsilmaz, Selahattin Burak
作者单位：Utah System of Higher Education; Utah State University
摘要：This article proposes a simple, graph-independent perspective on partitioning the node set of a graph and provides multi-agent systems (MASs) with objectives beyond cooperation and bipartition. Specifically, we first introduce the notion of k-partition transformation to achieve any desired partition of the nodes. Then, we use this notion to formulate the multi-partite output regulation problem (MORP) of heterogeneous linear MASs, which comprises the existing cooperative output regulation probl...
-
作者：Ma, Lifeng; Yi, Xiaojian; Gao, Chen
作者单位：Nanjing University of Science & Technology; Beijing Institute of Technology
摘要：This article focuses on the distributed state estimation problem for a specific type of nonlinear systems over sensor networks. The state estimation is accomplished on each sensor node by utilizing local measurements along with network-shared innovations from neighboring nodes. A state-dependent coefficient parameterization technique is employed to express the original nonlinear system in a pseudolinear form. In addition, a saturation-like scheme is used to limit the impact of anomalous signal...
-
作者：Wang, Jian; Aranovskiy, Stanislav; Ushirobira, Rosane; Efimov, Denis
作者单位：Hangzhou Dianzi University; Universite Paris Saclay; Inria; Centre National de la Recherche Scientifique (CNRS); Universite de Lille; CNRS - Institute for Information Sciences & Technologies (INS2I); Centrale Lille
摘要：This article investigates the problem of estimation of unknown constant parameters in linear regression with measurement noise. Two concepts to analyze different types of excitation of the regressor are introduced: partial and feeble. The former indicates the absence of persistent or interval excitation, while the latter characterizes the presence of excitation that is inadequate for efficient estimation in a noisy environment. Furthermore, this article proposes regularization techniques to im...
-
作者：Chesi, Graziano
作者单位：University of Hong Kong
摘要：This article addresses the design of linear quadratic regulators in the presence of gain and performance constraints, which is an important problem in control systems since such constraints naturally exist in real applications. This article starts by considering continuous time systems with controller gains constrained over an admissible region. It is shown that a lower bound of the constrained optimal cost can be obtained by solving a semidefinite program based on the introduction of dual Lya...
