-
作者：Lucia, Walter; Gheitasi, Kian; Ghaderi, Mohsen
作者单位：Concordia University - Canada; Concordia University - Canada
摘要：In this article, we face the problem of detecting setpoint attacks in networked control systems. We consider a setup where the reference signal (also known as setpoint) is generated by a control center remotely located with respect to a standard feedback controller. In this scenario, an attacker with sufficient resources can exploit the communication channel to alter the setpoint signal and ultimately affect the tracking performance of the control system. With respect to this problem, we propo...
-
作者：Berberich, Julian; Koehler, Johannes; Mueller, Matthias A.; Allgoewer, Frank
作者单位：University of Stuttgart; Leibniz University Hannover
摘要：We propose a robust data-driven model predictive control (MPC) scheme to control linear time-invariant systems. The scheme uses an implicit model description based on behavioral systems theory and past measured trajectories. In particular, it does not require any prior identification step, but only an initially measured input-output trajectory as well as an upper bound on the order of the unknown system. First, we prove exponential stability of a nominal data-driven MPC scheme with terminal eq...
-
作者：Iervolino, Raffaele; Trenn, Stephan; Vasca, Francesco
作者单位：University of Naples Federico II; University of Groningen; University of Sannio
摘要：Asymptotic stability of continuous-time piecewise affine systems defined over a polyhedral partition of the state space, with possible discontinuous vector field on the boundaries, is considered. In this article, the feasible Filippov solution concept is introduced by characterizing single-mode Caratheodory, sliding mode, and forward Zeno behaviors. Then, a global asymptotic stability result through a (possibly discontinuous) piecewise Lyapunov function is presented. The sufficient conditions ...
-
作者：Krishnan, Vishaal; Martinez, Sonia
作者单位：University of California System; University of California Riverside; University of California System; University of California San Diego
摘要：This article proposes a probabilistic framework for the design of robustly asymptotically stable moving-horizon estimators (MHE) for discrete-time nonlinear systems, and a mechanism to incorporate differential privacy in moving-horizon estimation. We formulate the moving-horizon estimator as an iterative proximal descent scheme in the space of probability measures with respect to the L-2-Wasserstein metric, which we name W-2-MHE. We then investigate asymptotic stability and robustness properti...
-
作者：Chen, Yonggang; Wang, Zidong
作者单位：Henan Institute of Science & Technology; Henan Polytechnic University; Shandong University of Science & Technology; Brunel University
摘要：This article is concerned with the local stabilization problem for discrete-time systems with both distributed state delay and fast-varying input delay under actuator saturations. By introducing some terms concerning the distributedly delayed state and the current state, a novel polytopic model is first proposed to characterize the delayed saturation nonlinearity. Then, by incorporating a piecewise Lyapunov functional and some summation inequalities, a sufficient condition is established by me...
-
作者：Kosaraju, Krishna Chaitanya; Cucuzzella, Michele; Scherpen, Jacquelien M. A.; Pasumarthy, Ramkrishna
作者单位：University of Notre Dame; University of Groningen; Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Madras; Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Madras
摘要：This article deals with a class of resistive-inductive-capacitive (RLC) circuits and switched RLC (s-RLC) circuits modeled in the Brayton-Moser framework. For this class of systems, new passivity properties using a Krasovskii-type Lyapunov function as storage function are presented, where the supply rate is function of the system states, inputs, and their first time derivatives. Moreover, after showing the integrability property of the port-variables, two simple control methodologies called ou...
-
作者：Wang, Yongqing; Liu, Haibo; Li, Xu
作者单位：Dalian University of Technology; Key Laboratory Precision & Non-traditional Machining Technology
摘要：The Lyapunov-Krasovskii functional (LKF) method is an effective tool to obtain delay-dependent stability criteria of time-varying delay systems. However, in the method, the requirement that there must exist an appropriate LKF for a system with a delay varying in a delay interval is too strict and may lead to considerable conservativeness. In order to get less conservative stability criteria, a novel stability analysis method called a delay-mode-based LKF (DMBLKF) method is first presented for ...
-
作者：Marelli, Damian; Sui, Tianju; Fu, Minyue; Lu, Renquan
作者单位：Guangdong University of Technology; Dalian University of Technology; Dalian University of Technology; University of Newcastle; Guangdong University of Technology
摘要：We study the problem of detecting an attack on a stochastic cyber-physical system. We aim to treat the problem in its most general form. We start by introducing the notion of asymptotically detectable attacks, as those attacks introducing changes to the system's output statistics which persist asymptotically. We then provide a necessary and sufficient condition for asymptotic detectability. This condition preserves generality as it holds under no restrictive assumption on the system and attack...
-
作者：Bachelier, Olivier; Cluzeau, Thomas; Mehdi, Driss; Yeganefar, Nima
作者单位：Universite de Poitiers; Universite de Limoges; Centre National de la Recherche Scientifique (CNRS); CNRS - Institute for Engineering & Systems Sciences (INSIS)
摘要：This article aims at broadening the panel of the existing conditions for structural stability of 2-D Roesser models. The models can be discrete, continuous, or mixed discrete/continuous. The conditions are necessary and sufficient. They are either expressed in terms of linear matrix inequalities or based on direct tests on eigenvalues of constant matrices. The effectiveness of these tests is highlighted.
-
作者：Chai, Jun; Sanfelice, Ricardo G.
作者单位：University of California System; University of California Santa Cruz; University of California System; University of California Santa Cruz
摘要：This article presents tools for the design of control laws inducing robust controlled forward invariance of a set for hybrid dynamical systems modeled as hybrid inclusions. A set has the robust controlled forward invariance property via a control law if every solution to the closed-loop system that starts from the set stays within the set for all future time, regardless of the value of the disturbances. Building on the first part of this article, which focuses on analysis, in this article, suf...
