-
作者：Shivakumar, Sachin; Das, Amritam; Weiland, Siep; Peet, Matthew
作者单位：Iowa State University; Eindhoven University of Technology; Arizona State University; Arizona State University-Tempe
摘要：Partial integral equation (PIE) representation of a partial differential equation (PDE) allows using computationally tractable algorithms for analysis, simulation, and optimal control. However, the PIE representation has not previously been extended to many of the complex, higher order PDEs that may be encountered in speculative or data-based models. In this article, we propose PIE representations for a large class of such PDE models, including higher order derivatives, boundary-valued inputs,...
-
作者：Wang, Licheng; Wang, Zidong; Liu, Shuai; Peng, Daogang
作者单位：Shanghai University of Electric Power; Brunel University; University of Shanghai for Science & Technology
摘要：In this article, a modified unscented Kalman filter design algorithm is proposed for discrete-time stochastic nonlinear systems over full-duplex relay networks with binary encoding schemes. In order to enhance the transmission reliability, a full-duplex relay is deployed between sensors and the filter, and a self-interference cancellation scheme is introduced to eliminate the interference caused by the relay itself. To accommodate the digital communication manner, a binary encoding scheme is a...
-
作者：Bartosiewicz, Zbigniew; Kaldmae, Arvo; Kotta, Ulle; Wyrwas, Malgorzata
作者单位：Bialystok University of Technology; Tallinn University of Technology
摘要：In the article, accessibility of an analytic discrete-time control system given by a set of difference equations is studied. Ideals of germs of analytic functions and modules of germs of one-forms, associated with the considered system and invariant with respect to shift operators defined by the state equations, are used to present sufficient and necessary conditions for accessibility. The conditions are given both in terms of germs of analytic functions and germs of one-forms.
-
作者：Zhao, Dan; Ho, Daniel W. C.; Wen, Guanghui
作者单位：Southeast University - China; City University of Hong Kong
摘要：This article addresses the isolation problem of collusive false data injection attacks and covert attacks for interconnected systems, particularly in establishing generalized graph-dependent conditions responsible for attack isolation. Two algorithms involving inclusive neighbor information and neighbor information are introduced to accomplish attack isolation. By exploring the mechanism of attack collusion, it is found that both the number of subsystems' one-hop neighbors and the size of cycl...
-
作者：Heath, William P.; Carrasco, Joaquin
作者单位：Bangor University; University of Manchester
摘要：We consider Lurye systems, whose nonlinear operator is characterized by a nonlinearity that is bounded above and below by monotone functions. Absolute stability can be established using a subclass of the O'Shea-Zames-Falb multipliers. We develop phase conditions for both continuous-time and discrete-time systems under which there can be no such suitable multiplier for the transfer function of a given plant. In discrete time the condition can be tested via a linear program, while in continuous ...
-
作者：Mehdipour, Noushin; Vasile, Cristian-Ioan; Belta, Calin
作者单位：Boston University; Lehigh University; University System of Maryland; University of Maryland College Park
摘要：Robustness functions provide quantitative scores to measure the satisfaction of temporal logic formulas. We introduce a general class of parameterized robustness functions for signal temporal logic (STL), and demonstrate how it can be used for control problems involving STL specifications. We employ power means and generalized functional means to capture robust satisfaction over space and time. We show that our general definition encompasses many of the STL robustness functions in the literatu...
-
作者：Scarabaggio, Paolo; Carli, Raffaele; Grammatico, Sergio; Dotoli, Mariagrazia
作者单位：Politecnico di Bari; Delft University of Technology
摘要：In this article, we address a class of Nash games with nonconvex coupling constraints for which we define a novel notion of local equilibrium, here named local generalized Nash equilibrium (LGNE). Our first technical contribution is to show the stability in the game theoretic sense of these equilibria on a specific local subset of the original feasible set. Remarkably, we show that the proposed notion of local equilibrium can be equivalently formulated as the solution of a quasi-variational in...
-
作者：Williams, Alan; Krstic, Miroslav; Scheinker, Alexander
作者单位：University of California System; University of California San Diego; United States Department of Energy (DOE); Los Alamos National Laboratory
摘要：We introduce a safe extremum-seeking algorithm that achieves the minimization of an unknown objective function while ensuring that an unknown, yet measured, control barrier function (CBF) remains above an arbitrarily small negative value for all time. In other words, practical safety is maintained during the entire period of convergence to the constrained extremum. Our design is based on quadratic program (QP) CBF style filters for safety, which is applied in an average and estimated sense. Us...
-
作者：Zhang, Yuan; Xia, Yuanqing; Li, Aming
作者单位：Beijing Institute of Technology; Peking University; Peking University
摘要：In this article, we explore the structural controllability of switched linear continuous-time systems. We first identify a gap in the proof of a fundamental criterion for the structural controllability of these systems. To solve this problem, we develop several novel graph-theoretic concepts, such as multilayer dynamic graphs, generalized stems/buds, and generalized cacti. Using these concepts, we provide a comprehensive proof for the criterion. Our approach also induces a new, generalized cac...
-
作者：Zhou, Yu; Polyakov, Andrey; Zheng, Gang
作者单位：Centre National de la Recherche Scientifique (CNRS); Inria
摘要：This article develops a homogeneity-based approach to finite/fixed-time stabilization of a linear time-invariant (LTI) system with quantized measurements. A sufficient condition for finite/fixed-time stabilization of multiinput LTI system under state quantization is derived. It is shown that a homogeneous state feedback with a novel logarithmic-like quantizer design can guarantee finite/fixed-time stability of the closed-loop system, provided that the quantization is sufficiently dense. Theore...
