-
作者：Benenati, Emilio; Ananduta, Wicak; Grammatico, Sergio
作者单位：Delft University of Technology
摘要：A fundamental open problem in monotone game theory is the computation of a specific generalized Nash equilibrium (GNE) among all the available ones, e.g., the optimal equilibrium with respect to a system-level objective. The existing GNE seeking algorithms have in fact convergence guarantees toward an arbitrary, possibly inefficient, equilibrium. In this article, we solve this open problem by leveraging results from fixed-point selection theory and in turn derive distributed algorithms for the...
-
作者：Fritz, Raphael; Zhang, Ping
摘要：The widespread use of cyber-physical systems not only brings new opportunities with it but also introduces the risk of cyberattacks on the system. One of the most dangerous and sophisticated types of attacks are the stealthy attacks that can hide their influence and are not detectable by conventional anomaly detection schemes. In this article, a detection method for the replay attack and the covert attack on discrete event systems is proposed. Unexpected behavior is introduced into the transmi...
-
作者：Lavaei, Abolfazl; Soudjani, Sadegh; Frazzoli, Emilio
作者单位：Newcastle University - UK; Swiss Federal Institutes of Technology Domain; ETH Zurich
摘要：This work is concerned with a compositional data-driven approach for formal safety verification of large-scale continuous-time dynamical systems with unknown models. The proposed framework enjoys the interconnection matrix and joint dissipativity-type properties of subsystems, described by the notion of stochastic storage certificates. In the first part of the paper, we cast the required conditions for constructing storage certificates as a robust optimization program (ROP). Since the proposed...
-
作者：Li, Yalu; Li, Haitao; Xiao, Gaoxi
作者单位：Shandong Normal University; Nanyang Technological University
摘要：State estimation is important for the synthesis of nonlinear systems with stochastic disturbances. This work devotes to tackling the optimal state estimation problem of logical control networks (LCNs) with stochastic disturbances. First, based on the algebraic form of LCNs with stochastic disturbances, an effective approach is proposed to design the Luenberger-like observer. Second, by resorting to the Luenberger-like observer, a new criterion is presented to obtain the optimal state estimator...
-
作者：Mi, Wen; Zhang, Liming; Zheng, Wei Xing; Zhang, Sheng
作者单位：University of Electronic Science & Technology of China; University of Macau; Western Sydney University; Southwest Jiaotong University
摘要：In this article, we propose a new identification method for continuous-time Hammerstein systems. This method is based on the adaptive generalized rational orthonormal basis functions. In particular, we use the strategy in which poles of basis functions are selected one by one in terms of a criterion. By doing this, we not only take advantage of the variability of the generalized orthogonal basis functions, but also reduce the computational burden. The proposed algorithm is adaptive. Meanwhile,...
-
作者：Schiller, Julian D.; Muntwiler, Simon; Koehler, Johannes; Zeilinger, Melanie N.; Mueller, Matthias A.
作者单位：Leibniz University Hannover; Swiss Federal Institutes of Technology Domain; ETH Zurich
摘要：We provide a novel robust stability analysis for moving horizon estimation (MHE) using a Lyapunov function. In addition, we introduce linear matrix inequalities (LMIs) to verify the necessary incremental input/output-to-state stability (delta-IOSS) detectability condition. We consider an MHE formulation with time-discounted quadratic objective for nonlinear systems admitting an exponential delta-IOSS Lyapunov function. We show that with a suitable parameterization of the MHE objective, the del...
-
作者：Shi, Lei; Liu, Qingchen; Shao, Jinliang; Cheng, Yuhua; Zheng, Wei Xing
作者单位：University of Electronic Science & Technology of China; Shenzhen Institute of Artificial Intelligence & Robotics for Society; Chinese Academy of Sciences; University of Science & Technology of China, CAS; Western Sydney University
摘要：Signed networks are widely applied to describe cooperative and competitive interaction relationships arising from various social, biological, and physical systems. In this article, a cooperation-competition evolutionary dynamic model is offered to explain the gradual evolution of the interaction relationship between neighboring nodes in signed networks. The core feature of our model is to portray the interaction relationship between neighboring nodes as a nonlinear function of the state differ...
-
作者：Song, Jiawei; Zuo, Zongyu; Basin, Michael
作者单位：Beihang University; Universidad Autonoma de Nuevo Leon
摘要：To reduce the chattering and overestimation phenomena existing in classical adaptive sliding mode control, this article presents a new class K(infinity )function-based adaptive sliding mode control scheme. Two controllers are proposed in terms of concave and convex nonlinear functions to implement this kind of control structure. To avoid large initial control magnitudes, two modified control schemes are provided, which extend the proposed methodology to different scenarios. It is proven that t...
-
作者：Wang, Dong; An, Shuang; Lian, Jie
作者单位：Dalian University of Technology
摘要：This article addresses the transfer restricted switching problem for discrete-time switched positive linear systems with all unstable subsystems. To characterize the complex interaction between state components under subsystem switching, the switching digraph and state component digraph are conjoined and a novel switching walk approach is proposed to achieve the exponential stability of switched positive systems. By further deducing the relationship between the obtained decay rate of switched ...
-
作者：Cong, Xuya; Fanti, Maria Pia; Mangini, Agostino Marcello; Li, Zhiwu
作者单位：Xi'an University of Science & Technology; Politecnico di Bari; Xidian University; Macau University of Science & Technology
摘要：A discrete event system is said to be critically observable if the observer can always determine whether the current state necessarily belongs to a set of critical states. This article focuses on two issues related to the safety and security of discrete event systems, namely critical observability verification and enforcement of labeled Petri nets. First, given a bounded net, we verify its critical observability by using basis markings and solving some integer linear programming problems, thus...
