-
作者：Yao, Yuhua; Sun, Jitao; Zhang, Yu
作者单位：Tongji University; University of Johannesburg
摘要：In this note, we propose a unified framework for the study of hybrid systems, where the tasks of the systems are encoded as signal temporal logic (STL) specifications. First, we establish the mathematical expression of a class of hybrid systems consisting of continuous and logical parts. Then, we introduce the concept of locally finite time interval dwell, which matches the conditions to satisfy such the STL specifications. After that, combining the semi-tensor product and Lyapunov-like method...
-
作者：Conte, Giuseppe; Perdon, Anna Maria; Zattoni, Elena
作者单位：Marche Polytechnic University; University of Bologna
摘要：The fault detection and isolation problem is considered in the context of switching linear systems. The problem is tackled by searching for suitable residual signal generators, whose existence is completely characterized in structural terms. Both the situation in which the initial condition of the system subject to possible faults is known and that in which it is not known are considered. The results are compared with those found in the classical linear case for the same problem using a struct...
-
作者：Wang, Bohui; Shen, Chao
作者单位：Xi'an Jiaotong University
摘要：This study focuses on the time-varying observer design for the synchronization of heterogeneous nonlinear cyber-physical systems, where each subsystem can be modeled by an agent, and the information flow among the subsystems can be regarded as the interactions among the agents. To achieve the synchronization behaviors, a novel estimation and compensation mechanism based on time-varying observers, for the first time, is proposed. The mechanism can reveal the influence of equilibrium points on t...
-
作者：Zucco, Jesus Pablo Toledo; Ramirez, Hector; Wu, Yongxin; Le Gorrec, Yann
作者单位：National Office for Aerospace Studies & Research (ONERA); Universidad Tecnica Federico Santa Maria; Universite Marie et Louis Pasteur; Universite de Technologie de Belfort-Montbeliard (UTBM); Centre National de la Recherche Scientifique (CNRS)
摘要：The design of an observer-based state feedback controller with guaranteed passivity properties for port-Hamiltonian systems (PHS) is addressed using linear matrix inequalities (LMIs). The observer gain is freely chosen and the LMIs conditions such that the state feedback is equivalent to control by interconnection with an input strictly passive and/or an output strictly passive and zero-state detectable port-Hamiltonian controller are established. It is shown that the proposed controller expon...
-
作者：Fornasini, Ettore; Valcher, Maria Elena
作者单位：University of Padua
摘要：The goal of this article is to investigate under what conditions a Boolean control network admits a state feedback control law that makes the resulting Boolean network reconstructible. Starting from an algebraic representation of the Boolean control network, we first propose a result that allows to significantly reduce the problem size, and hence to mitigate the curse of dimensionality that typically arises when dealing with logical systems of very large size. Subsequently, we provide a necess...
-
作者：Lopez, Victor Bucarey; Vecchia, Eugenio Della; Jean-Marie, Alain; Ordonez, Fernando
作者单位：Universidad de O'Higgins; National University of Rosario; Universite Cote d'Azur; Universidad de Chile
摘要：In this work, we study Stackelberg equilibria for discounted stochastic games. We consider two solution concepts for these games: stationary strong Stackelberg equilibrium (SSSE) and fixed point equilibrium (FPE) solutions. The SSSE solution is obtained by explicitly solving the Stackelberg equilibrium conditions, whereas the FPE can be computed efficiently using value or policy iteration algorithms. However, previous work has overlooked the relationship between these two different solution co...
-
作者：Bin, Michelangelo; Parisini, Thomas
作者单位：Imperial College London; University of Cyprus; University of Trieste
摘要：We develop a small-gain theory for systems described by set-valued maps between topological spaces. We introduce an abstract notion of stability unifying the continuity properties underlying different existing concepts, such as Lyapunov stability of equilibria, sets, or motions, (incremental) input-output stability, asymptotic gain properties, and continuity with respect to fast-switching inputs. Then, we prove that a feedback interconnection enjoying a given abstract small-gain property is st...
-
作者：Malikopoulos, Andreas A.
作者单位：University of Delaware
摘要：In this article, we consider sequential dynamic team decision problems with nonclassical information structures. First, we address the problem from the point of view of a manager who seeks to derive the optimal strategy of the team in a centralized process. We derive structural results that yield an information state for the team, which does not depend on the control strategy, and thus, it can lead to a dynamic programming decomposition where the optimization problem is over the space of the t...
-
作者：Peng, Chenchen; Zhang, Weihai
作者单位：Shandong University of Science & Technology; Qingdao University of Technology
摘要：This article is concerned with the mean-field stochastic cooperative linear-quadratic dynamic difference game in an infinite time horizon. First, the necessary and sufficient conditions for the stability in the mean-square sense and the stochastic Popov-Belevitch-Hautus eigenvector tests for the exact observability and exact detectability of mean-field stochastic linear difference systems are derived by the $\mathscr H-representation technique. Second, the relation between the solvability of t...
-
作者：Smith, Kevin D.; Bullo, Francesco
作者单位：University of California System; University of California Santa Barbara
摘要：The basic reproduction number R0 is a fundamental quantity in epidemiological modeling, reflecting the typical number of secondary infections that arise from a single infected individual. While R0 is widely known to scientists, policymakers, and the general public, it has received comparatively little attention in the controls community. This note provides two novel characterizations of R0: a stability characterization and a geometric program characterization. The geometric program characteriz...
