-
作者:Alanwar, Amr; Koch, Anne; Allgoewer, Frank; Johansson, Karl Henrik
作者单位:Royal Institute of Technology; Constructor University; University of Stuttgart; Royal Institute of Technology
摘要:We consider the problem of computing reachable sets directly from noisy data without a given system model. Several reachability algorithms are presented for different types of systems generating the data. First, an algorithm for computing over-approximated reachable sets based on matrix zonotopes is proposed for linear systems. Constrained matrix zonotopes are introduced to provide less conservative reachable sets at the cost of increased computational expenses and utilized to incorporate prio...
-
作者:Djeumou, Franck; Xu, Zhe; Cubuktepe, Murat; Topcu, Ufuk
作者单位:University of Texas System; University of Texas Austin; University of Texas System; University of Texas Austin; Arizona State University; Arizona State University-Tempe
摘要:We develop a probabilistic control algorithm, GTLProCo, for swarms of agents with heterogeneous dynamics and objectives, subject to high-level task specifications. The resulting algorithm not only achieves decentralized control of the swarm but also significantly improves scalability over state-of-the-art existing algorithms. Specifically, we study a setting in which the agents move along the nodes of a graph, and the high-level task specifications for the swarm are expressed in a recently pro...
-
作者:Picallo, Miguel; Bolognani, Saverio; Dorfler, Florian
作者单位:Swiss Federal Institutes of Technology Domain; ETH Zurich
摘要:A classical approach to design controllers for interconnected systems, is to assume that the different subsystems operate at different time scales, then design simpler controllers within each time scale, and finally, certify stability of the interconnected system via singular perturbation analysis. In this work, we propose an alternative approach that also allows to design the controllers of the individual subsystems separately. However, instead of requiring a sufficiently large time-scale sep...
-
作者:Zhao, Ying; Zhu, Quanxin
作者单位:Hunan Normal University; Hunan Normal University
摘要:In this article, stochastic highly nonlinear delay systems with neutral term are studied, which does not satisfy the linear growth condition. Under the local Lipschtiz condition and the polynomial growth condition, we study the existence and uniqueness, as well as boundedness, of global solution for stochastic highly nonlinear delay systems with neutral term. By designing a discrete-time feedback control function, the stabilization of stochastic highly nonlinear delay systems with neutral term...
-
作者:Tao, Binbin; Xiao, Min; Zheng, Wei Xing; Zhou, Ying; Ding, Jie; Jiang, Guoping; Wu, Xiaoqun
作者单位:Nanjing University of Posts & Telecommunications; Nanjing University of Posts & Telecommunications; Western Sydney University; Wuhan University
摘要:At present, some control strategies have been applied to bifurcation control, but these control strategies are flawed. For instance, some new equilibrium are likely to emerge in the controlled system by the state feedback control and proportional-derivative control. The time-delay feedback control and hybrid control may force the controlled system to have discontinuous stable intervals. In consideration of these defects, this article is the first to design a time-delay feedback control strateg...
-
作者:Cetinkaya, Ahmet; Ishii, Hideaki; Hayakawa, Tomohisa
作者单位:Research Organization of Information & Systems (ROIS); National Institute of Informatics (NII) - Japan; Institute of Science Tokyo; Tokyo Institute of Technology; Institute of Science Tokyo; Tokyo Institute of Technology
摘要:Jamming attacks on wireless networked control systems are investigated for the scenarios where the system dynamics face exogenous disturbance. In particular, the control input packets are assumed to be transmitted from a controller to a remotely located linear plant over an insecure wireless communication channel that is subject to jamming attacks. The time-varying likelihood of transmission failures on this channel depends on the power of the jamming interference signal emitted by an attacker...
-
作者:Li, Zhouchi; Niu, Luyao; Clark, Andrew
作者单位:Worcester Polytechnic Institute
摘要:We investigate a linear quadratic Gaussian (LQG) tracking problem with safety and reachability constraints in the presence of an adversary who mounts a false data injection attack on an unknown set of sensors. For each possible set of compromised sensors, we maintain a state estimator disregarding the sensors in that set, and calculate the optimal LQG control input at each time based on this estimate. We propose a control policy which constrains the control input to lie within a fixed distance...
-
作者:Zhou, Jiayu; Yang, Wen; Ding, Wenjie; Zheng, Wei Xing; Xu, Yong
作者单位:East China University of Science & Technology; Western Sydney University; Guangdong University of Technology
摘要:This article studies the security of distributed state estimation under data integrity attacks. Each sensor is equipped with a Kullback-Leibler (K-L) divergence detector to diagnose the authenticity of the received data. A necessary and sufficient condition for the insecurity of the distributed estimator is derived, in which the stealthy attack can evade the detector and degrade the estimation performance. Furthermore, an algorithm is proposed to generate stealthy attack sequences. To overcome...
-
作者:Hadjicostis, Christoforos N.; Dominguez-Garcia, Alejandro D.; Rikos, Apostolos, I
作者单位:University of Cyprus; University of Illinois System; University of Illinois Urbana-Champaign; Royal Institute of Technology
摘要:We consider a flow network that is described by a digraph, each edge of which can admit a flow within a certain interval, with nonnegative end points that correspond to lower and upper flow limits. We propose and analyze a distributed iterative algorithm for solving, in finite time, the so-called feasible circulation problem, which consists of computing flows that are admissible (i.e., within the given intervals at each edge) and balanced (i.e., the total in-flow equals the total out-flow at e...
-
作者:Li, Hongdan; Xu, Juanjuan; Zhang, Huanshui
作者单位:Shandong University of Science & Technology; Shandong University
摘要:We address forward-backward stochastic differential equations (FBSDEs) with random coefficients. Differently from previous approaches, we consider FBSDEs with coefficients that are random and correlated with forward and backward variables. In addition, expectation terms appear in the forward equation, and this makes challenging to solve coupled FBSDEs, e.g., those coming from corporations' fiscal policy planning. Using a discretization approach, an analytic solution to the FBSDEs is given in t...