-
作者:Monnoyer de Galland, Charles; Hendrickx, Julien M.
摘要:We derive fundamental performance limitations for intrinsic average consensus problems in open multi-agent systems, which are systems subject to frequent arrivals and departures of agents. Each agent holds a value, and the objective of the agents is to collaboratively estimate the average of the values of the agents presently in the system. Algorithms solving such problems in open systems are poised to never converge because of the permanent variations in the composition, size, and objective p...
-
作者:Zhang, Qirui; Liu, Kun; Han, Dongyu; Su, Guangzhen; Xia, Yuanqing
作者单位:Beijing Institute of Technology
摘要:This article investigates the design of stealthy deception attacks with the aim of destroying the estimate performance without knowing the filter gain. The residual used to detect attacks is generated by the parity space approach and the Kullback-Leibler divergence is adopted as the metric of stealthiness. We first give the necessary and sufficient condition for the inexistence of the strictly stealthy attack, which does not change the residual and can lead to unbounded estimate error. When th...
-
作者:Zhou, Panpan; Chen, Ben M.
作者单位:Chinese University of Hong Kong
摘要:Motivated by the fact that physical systems are usually subject to actuator position and rate saturation, we consider in this article the semiglobal leader-following output consensus problem of a group of discrete-time heterogeneous linear systems with position and rate-limited actuators by output feedback control law. Distributed observers are designed for followers to estimate the state of the leader and the follower itself, based on which a novel distributed control law is proposed. We show...
-
作者:Maghenem, Mohamed; Sanfelice, Ricardo G.
作者单位:Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS); University of California System; University of California Santa Cruz
摘要:This article presents converse theorems for safety in terms of barrier functions for unconstrained continuous-time systems modeled as differential inclusions. Via a counterexample, we show the lack of existence of autonomous and continuous barrier functions certifying safety for a nonlinear system that is not only safe but also has a smooth right-hand side. Guided by converse Lyapunov theorems for (nonasymptotic) stability, time-varying barrier functions and appropriate infinitesimal condition...
-
作者:Majumdar, Rupak; Schmuck, Anne-Kathrin
摘要:In this article, we present a new algorithm to solve the supervisory control problem over nonterminating processes modeled as $\omega$-regular automata. A solution to this problem was obtained by Thistle in 1995, which uses complex manipulations of automata. We show a new solution to the problem through a reduction to obliging games, which, in turn, can be reduced to $\omega$-regular reactive synthesis. Therefore, our reduction results in a symbolic algorithm based on manipulating sets of stat...
-
作者:Aghbolagh, Hassan Dehghani; Ye, Mengbin; Zino, Lorenzo; Chen, Zhiyong; Cao, Ming
作者单位:University of Newcastle; Curtin University; University of Groningen; Polytechnic University of Turin; University of Groningen
摘要:Empirical studies suggest a deep intertwining between opinion formation and decision-making processes, but these have been treated as separate problems in the study of dynamical models for social networks. In this article, we bridge the gap in the literature by proposing a novel coevolutionary model, in which each individual selects an action from a binary set and has an opinion on which action they prefer. Actions and opinions coevolve on a two-layer network. For homogeneous parameters, undir...
-
作者:Bachelier, Olivier; Cluzeau, Thomas; Rigaud, Alexandre; Alvarez, Francisco Jose Silva; Yeganefar, Nader; Yeganefar, Nima
作者单位:Ecole Nationale Superieure de Mecanique et d'Aerotechnique (ISAE-ENSMA); Universite de Poitiers; Universite de Limoges; Centre National de la Recherche Scientifique (CNRS); CNRS - Institute for Engineering & Systems Sciences (INSIS); Aix-Marseille Universite; Centre National de la Recherche Scientifique (CNRS)
摘要:In this article, we review different stability definitions that have been used in the literature concerning 2-D Roesser or Fornasini-Marchesini models: structural stability, asymptotic stability, and two different notions of exponential stability. We clarify the relations between all these definitions for the linear case: the two notions of exponential stability and structural stability are all equivalent and they imply asymptotic stability.
-
作者:Zhu, Xun-Lin; Zhang, Xiuxiu; Wei, Jumei; Lin, Hai
作者单位:Zhengzhou University; University of Notre Dame
摘要:Event-triggered control (ETC) has been proposed in the networked control systems (NCSs) literature to reduce the need of data transmissions, and the main focus has been on the design of ETC mechanisms with a guaranteed positive minimum of interevent time (MIET), and hence avoiding Zeno phenomena. In this article, we propose a design of an aperiodic ETC mechanism for general nonlinear NCSs. In our setup, the communication network could introduce variable transmission delays, while data packets ...
-
作者:Lee, Donggun; Tomlin, Claire J.
作者单位:University of California System; University of California Berkeley; University of California System; University of California Berkeley
摘要:This article considers two state-constrained reachability problems: computing 1) control-invariant and 2) reach-avoid sets, both under state constraints. Prior research has developed Hamilton-Jacobi (HJ) partial differential equations (PDEs) that characterize the optimal cost functions of these two problems. Unfortunately, solving the HJ PDEs by grid-based methods, such as level-set methods, suffers from exponentially growing computational complexity in the system state dimension. In order to ...
-
作者:De Persis, Claudio; Rotulo, Monica; Tesi, Pietro
作者单位:University of Groningen; University of Groningen; University of Florence
摘要:In this article, we introduce a method to deal with the data-driven control design of nonlinear systems. We derive conditions to design controllers via (approximate) nonlinearity cancelation. These conditions take the compact form of data-dependent semidefinite programs. The method returns controllers that can be certified to stabilize the system even when data are perturbed and disturbances affect the dynamics of the system during the execution of the control task, in which case an estimate o...