-
作者:Li, Yuchao; Rantzer, Anders
作者单位:Royal Institute of Technology; Arizona State University; Arizona State University-Tempe; Lund University; Royal Institute of Technology
摘要:Recent work (Rantzer, 2022) formulated a class of optimal control problems involving positive linear systems, linear stage costs, and elementwise constraints on control. It was shown that the problem admits linear optimal cost and the associated Bellman's equation can be characterized by a finite-dimensional nonlinear equation, which is solved by linear programming. In this work, we report exact dynamic programming (DP) theories for the same class of problems. Moreover, we extend the results t...
-
作者:Liu, Qinyuan; Wang, Zidong; Dong, Hongli; Jiang, Changjun
作者单位:Tongji University; Tongji University; Brunel University; Northeast Petroleum University; Northeast Petroleum University
摘要:This article is concerned with the problem of distributed Kalman filtering over sensor networks under two-bitrate periodic coding strategies. Initially, the optimal estimates for sensor individuals are acquired using the conventional Kalman filter. Subsequently, the information pair, consisting of the local estimate and the corresponding covariance, is exchanged among their immediate neighbors to achieve cooperative estimation. Due to the constrained network bandwidth, a vector/matrix quantiza...
-
作者:Lu, Kaihong
作者单位:Shandong University of Science & Technology
摘要:In this article, online noncooperative games without full decision information are studied, where the goal of players is to seek the Nash equilibria in a distributed manner. Different from the existing works on online noncooperative games, here we consider the case where the cost functions are stochastic. In the problem, each player only has access to a noisy gradient of its own cost function and a local action set, and needs to make decisions before the current noisy gradient information is r...
-
作者:Cheng, Haoshu; Huang, Jie
作者单位:Chinese University of Hong Kong
摘要:This article considers the problem of the bearing-based formation control with disturbance rejection for a group of agents under the leader-follower structure. The disturbances are in the form of trigonometric polynomials with arbitrary unknown amplitudes, unknown initial phases, and known or unknown frequencies. For the case of the known frequencies, we employ the canonical internal model to solve the problem, and, for the case of the unknown frequencies, we combine the canonical internal mod...
-
作者:de Galland, Charles Monnoyer; Vizuete, Renato; Hendrickx, Julien M.; Panteley, Elena; Frasca, Paolo
作者单位:Fonds de la Recherche Scientifique - FNRS; Universite Catholique Louvain; Centre National de la Recherche Scientifique (CNRS); Universite Paris Saclay; Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS); Inria
摘要:We propose a method for analyzing the distributed random coordinate descent algorithm for solving separable resource allocation problems in the context of an open multiagent system, where agents can be replaced during the process. In particular, we characterize the evolution of the distance to the minimizer in expectation by following a time-varying optimization approach which builds on two components. First, we establish the linear convergence of the algorithm in closed systems, in terms of t...
-
作者:He, Zhaoyang; Wu, Naiqi; Li, Zhiwu
作者单位:Macau University of Science & Technology; Xidian University
摘要:This article addresses the problems of estimation and prevention of actuator attacks in the framework of discrete-event systems under supervisory control, where an attack estimation helps an intruder evaluate whether a controlled system can be driven to an undesirable state after being attacked based on partial observation before an actual attack is enforced. The intruder implements an actuator enablement attack by enabling a vulnerable actuator event that has been disabled by a supervisor. To...
-
作者:Zhang, Yan; Zhou, Yi; Ji, Kaiyi; Shen, Yi; Zavlanos, Michael M.
作者单位:Duke University; Utah System of Higher Education; University of Utah; University System of Ohio; Ohio State University
摘要:Zeroth-order optimization (ZO) typically relies on two-point feedback to estimate the gradient of the objective function. Nevertheless, two-point feedback cannot be used for online optimization with time-varying objective functions, where only a single query of the function value is possible at each time step. In this work, we propose a new one-point feedback method for online optimization that estimates the gradient using the residual between two feedback points at consecutive time instants. ...
-
作者:Stewart, Jacob; Ioannou, Petros
作者单位:University of Southern California
摘要:In recent years, adaptive schemes have been developed to reject sinusoidal disturbances with unknown frequencies, phases, and amplitudes. However, the analysis methods typically used are only suitable for sinusoidal disturbances with piecewise constant frequencies, ignoring smooth continuous variations. This note proposes a robust adaptive scheme to reject output disturbances dominated by sinusoidal terms with unknown time-varying frequencies. The performance is first analyzed in the ideal cas...
-
作者:Tai, Ruochen; Lin, Liyong; Zhu, Yuting; Su, Rong
作者单位:Nanyang Technological University
摘要:This article investigates the synthesis of distributed attackers for distributed discrete-event systems, where the distributed attackers could implement sensor insertion/deletion/replacement attacks and actuator enablement/disablement attacks. The distributed attackers to be synthesized should fulfill the following goals: 1) Each local sensor-actuator attacker needs to remain covert against all the distributed monitors, which are used to detect the existence of attacks; and 2) the distributed ...
-
作者:Zhao, Jianing; Li, Shaoyuan; Yin, Xiang
作者单位:Shanghai Jiao Tong University
摘要:In this article, we investigate property verification problems in partially-observed discrete-event systems (DES). Particularly, we are interested in verifying observational properties that are related to the information-flow of the system. Observational properties considered here include diagnosability, predictability, detectability, and opacity, which have drawn considerable attentions in the literature. However, in contrast to existing results, where different verification procedures are de...