-
作者:Kang, Tenglong; Li, Zhiwu
作者单位:Southwest Jiaotong University; Macau University of Science and Technology; Xidian University
摘要:This article addresses the verification of fault predictability under attack in discrete-event systems modeled with finite-state automata. A sensor attacker can launch attacks on the observations sent from sensors to an operator that monitors a system. A novel notion of robust predictability against attacks is provided, which captures the features that the occurrence of any fault can be predicted prior to its occurrence despite the case of sensor attacks. We propose a test automaton that descr...
-
作者:Tian, Yazhou; Sun, Yuangong; Liang, Mengqian
作者单位:University of Jinan; Northeastern University - China
摘要:This article investigates the stability of time-varying homogeneous systems subject to mixed time delays and exogenous disturbances. The primary contributions include: first, the innovative development of nonlinear Halanay-type differential inequalities that fundamentally extend conventional formulations through the removal of stringent coefficient constraints prevailing in current literature and the unification of some existing results under a generalized analytical framework; second, establi...
-
作者:Fan, Ziye; Wu, Xiaoqun; Mao, Bing; Lu, Jinhu
作者单位:Shenzhen University; Wuhan University; Beihang University; Zhongguancun Laboratory
摘要:The necessary and sufficient conditions for distinguishing between two switched linear dynamical networks through trajectories are investigated. Three discernibility concepts are originally proposed, addressing two critical components of switched systems: switching instants and system topologies. First, the necessary and sufficient discernibility condition is established for systems with identical switching instants but potentially distinct topologies, revealing that the discernibility of swit...
-
作者:He, Ziqin; Mei, Yidan; Mei, Shenghan; Mao, Xin; Dong, Anqi; Wang, Ren; Chen, Can
作者单位:University of North Carolina; University of North Carolina Chapel Hill; University of North Carolina School of Medicine; University of North Carolina; University of North Carolina Chapel Hill; University of North Carolina School of Medicine; Royal Institute of Technology; Illinois Institute of Technology; University of North Carolina; University of North Carolina Chapel Hill; University of North Carolina School of Medicine; University of North Carolina; University of North Carolina Chapel Hill; University of North Carolina School of Medicine
摘要:Data-driven control is a powerful tool that enables the design and implementation of control strategies directly from data without explicitly identifying the underlying system dynamics. While various data-driven control techniques, such as stabilization, linear quadratic regulation, and model predictive control, have been extensively developed, these methods are not inherently suited for multilinear dynamical systems, where the states are represented as higher order tensors. In this article, w...
-
作者:Silva, Paulo Cesar Souza; Pellanda, Paulo Cesar; Oliveira, Tiago Roux
作者单位:Universidade do Estado do Rio de Janeiro
摘要:This article addresses the design and analysis of a multivariable gradient-based stochastic extremum-seeking control method for multi-input systems with arbitrary input delays. The approach accommodates systems with distinct time delays across input channels. It achieves local exponential stability of the closed-loop system, guaranteeing convergence to a small neighborhood around the extremum point. By incorporating phase compensation for dither signals and a novel predictor-feedback mechanism...
-
作者:Yan, Zhiguo; Zhang, Jianhua; Hu, Guolin; Gao, Zhiwei
作者单位:Qilu University of Technology; Qilu University of Technology
摘要:This article investigates the input-output finite-time mean-square (IO-FTMS) stabilization problem for nonlinear stochastic Markovian jump systems subject to both Wiener and Poisson noises. To break through the traditional IO-FTMS stability confined to single disturbance type (either W-2 or W-infinity), a new IO-FTMS stability analysis framework is proposed, which simultaneously encompasses both W-2 and W-infinity disturbance signals. On this basis, by introducing a piecewise time-varying para...
-
作者:Liu, Tianrun; Chen, Yang-Yang; Chen, Kaiwen; Astolfi, Alessandro
作者单位:Hohai University; Southeast University - China; Southeast University - China; Imperial College London; King Abdullah University of Science & Technology
摘要:This article investigates the formation tracking problem with uncertain time-varying exosystem over a general directed graph. The exosystem describes both the moving target and the disturbances affecting each agent. The dynamics of each agent is described by a parameteric strict-feedback form subject to orbit constraints. The so-called congelation of variables method is employed in a hierarchical design to yield an adaptive formation estimator and an adaptive tracking controller. An adaptive c...
-
作者:Sanfelice, Ricardo G.; Altin, Berk
作者单位:University of California System; University of California Santa Cruz
摘要:The problem of controlling hybrid dynamical systems using model predictive control (MPC) is formulated, and sufficient conditions for asymptotic stability of a set are provided. Hybrid dynamical systems are modeled in terms of hybrid equations, involving a differential equation and a difference equation with inputs and constraints. The proposed hybrid MPC algorithm uses a suitable prediction and control horizon construction inspired by hybrid time domains. Structural properties of the hybrid o...
-
作者:Wang, Yanfei; Li, Yiliang; Feng, Jun-e
作者单位:Shandong University
摘要:We propose a novel fictitious-play-based learning algorithm, called group-based joint strategy fictitious play (GJSFP) with inertia, to seek group-based Nash equilibria of group-based generalized ordinal potential games. The proposed GJSFP with inertia enables group-based Nash equilibria to possess an absorption property, and allows group-based generalized ordinal potential games to converge to group-based Nash equilibria under some certain conditions. Notably, the convergence of group-based g...
-
作者:Borisov, Oleg; Isidori, Alberto; Pyrkin, Anton; Zhivitskii, Andrei
作者单位:ITMO University; Sapienza University Rome; Hangzhou Dianzi University
摘要:This article addresses the problem of adaptive output regulation of multiple-input multiple-output (MIMO) linear time-invariant (LTI) systems with unmodeled input dynamics. It is shown how a postprocessing tunable internal model and a high-gain observer can be effectively used to solve the output regulation problem under uncertainties. The performance of the design framework is shown by application to positioning of surface vessels.