-
作者：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...
-
作者：Zhu, Shuaibing; Zhou, Jin; Lu, Jinhu; Lu, Jun-An
作者单位：Hunan Normal University; Wuhan University; Beihang University; Chinese Academy of Sciences; Academy of Mathematics & System Sciences, CAS
摘要：The synchronization problem of complex dynamical networks with impulsive effects has been extensively addressed. However, great challenges arise when applying the existing synchronization criteria to networks with uncertain impulses. In this article, we investigate the adaptive synchronization problem of complex networks with uncertain impulses. First, the adaptive control gain is proved to be bounded for both synchronizing and desynchronizing impulses. Then, adaptive synchronization criteria ...
-
作者：Cui, Qian; Song, Yongduan; Wen, Changyun
作者单位：Chongqing University; Nanyang Technological University
摘要：In this note, a fully distributed and prescribed-time control approach is developed to achieve consensus for multiple agent systems under certain optimal constraints. By virtue of local gradient information, a new estimator is first constructed to acquire global gradient information. Based on the well-known result on fixed-time control, a novel prescribed time lemma is derived by specifying certain design parameters properly, with which the three objectives, consensus, estimation, and optimiza...
-
作者：De Pasquale, Giulia; Smith, Kevin D.; Bullo, Francesco; Valcher, Maria Elena
作者单位：University of Padua; University of California System; University of California Santa Barbara
摘要：Dynamical systems that are contracting on a subspace are said to be semicontracting. Semicontraction theory is a useful tool in the study of consensus algorithms and dynamical flow systems such as Markov chains. To develop a comprehensive theory of semicontracting systems, we investigate seminorms on vector spaces and define two canonical notions: Projection and distance seminorms. We show that the well-known l(p) ergodic coefficients are induced matrix seminorms and play a central role in sta...
-
作者：Talebi, Shahriar; Mesbahi, Mehran
作者单位：University of Washington; University of Washington Seattle; University of Washington; University of Washington Seattle
摘要：In this article, we study linearly constrained policy optimization over the manifold of Schur stabilizing controllers, equipped with a Riemannian metric that emerges naturally in the context of optimal control problems. We provide extrinsic analysis of a generic constrained smooth cost function that subsequently facilitates subsuming any such constrained problem into this framework. By studying the second-order geometry of this manifold, we provide a Newton-type algorithm that does not rely on...
-
作者：Zhao, Di; Chen, Chao; Chen, Jianqi
作者单位：Tongji University; Tongji University; Hong Kong University of Science & Technology; KU Leuven
摘要：In this article, we formulate feedback control problems involving stochastic systems and stochastic signals and obtain stability conditions based on the notions called gains and angles. The family of systems under investigation is represented by a discrete-time linear time-varying stochastic (LTVS) model, which generalizes the intensively studied multiplicative stochastic model. Such formulation may incorporate widely encountered networked control problems involving fading and packet-drop comm...
