-
作者：Jafarpour, Saber; Harapanahalli, Akash; Coogan, Samuel
作者单位：University of Colorado System; University of Colorado Boulder; University System of Georgia; Georgia Institute of Technology
摘要：In this article, we propose a computationally efficient framework for interval reachability of systems with neural network controllers. Our approach leverages inclusion functions for the open-loop system and the neural network controller to embed the closed-loop system into a larger dimensional embedding system, where a single trajectory overapproximates the original system's behavior under uncertainty. We propose two methods for constructing closed-loop embedding systems, which account for th...
-
作者：Li, Yuchao; Rantzer, Anders
作者单位：Royal Institute of Technology; Arizona State University; Arizona State University-Tempe; Lund University; Royal Institute of Technology
摘要：Recent work (Rantzer, 2022) formulated a class of optimal control problems involving positive linear systems, linear stage costs, and elementwise constraints on control. It was shown that the problem admits linear optimal cost and the associated Bellman's equation can be characterized by a finite-dimensional nonlinear equation, which is solved by linear programming. In this work, we report exact dynamic programming (DP) theories for the same class of problems. Moreover, we extend the results t...
-
作者：Liu, Qinyuan; Wang, Zidong; Dong, Hongli; Jiang, Changjun
作者单位：Tongji University; Tongji University; Brunel University; Northeast Petroleum University; Northeast Petroleum University
摘要：This article is concerned with the problem of distributed Kalman filtering over sensor networks under two-bitrate periodic coding strategies. Initially, the optimal estimates for sensor individuals are acquired using the conventional Kalman filter. Subsequently, the information pair, consisting of the local estimate and the corresponding covariance, is exchanged among their immediate neighbors to achieve cooperative estimation. Due to the constrained network bandwidth, a vector/matrix quantiza...
-
作者：Lu, Kaihong
作者单位：Shandong University of Science & Technology
摘要：In this article, online noncooperative games without full decision information are studied, where the goal of players is to seek the Nash equilibria in a distributed manner. Different from the existing works on online noncooperative games, here we consider the case where the cost functions are stochastic. In the problem, each player only has access to a noisy gradient of its own cost function and a local action set, and needs to make decisions before the current noisy gradient information is r...
-
作者：Cerone, Vito; Fadda, Edoardo; Regruto, Diego
作者单位：Polytechnic University of Turin; Polytechnic University of Turin
摘要：In this article, we present a kernel-based nonparametric approach to identifying stable multi-input multioutput (MIMO) linear systems in the presence of bounded noise affecting both the input and the output measurements. First, we formulate the considered problem in terms of robust optimization techniques. Then, we show that the formulated robust optimization problem can be solved using semidefinite optimization. Since the involved optimization problem is computationally demanding, we also pro...
-
作者：Li, Jian; Wu, Zhaojing; Liu, Yungang
作者单位：Yantai University; Shandong University
摘要：This article is devoted to the stabilization of an uncertain reaction-diffusion equation with dynamic boundary conditions. The remarkable features of the system under investigation are reflected in the presence of the nonlinear dynamic boundary condition and the serious uncertainties that are involved in not only the dynamic boundary but also the main equation. Consequently, the traditional control schemes on this topic are incapable. Toward the control problem, a novel control scheme via cond...
-
作者：Wang, Yujie; Xu, Xiangru
作者单位：University of Wisconsin System; University of Wisconsin Madison
摘要：When the disturbance input matrix is nonlinear, existing disturbance observer design methods rely on the solvability of a partial differential equation or the existence of an output function with a uniformly well-defined disturbance relative degree, which can pose significant limitations. This note introduces a systematic approach for designing an immersion and invariance-based disturbance observer (IIDOB) that circumvents these strong assumptions. The proposed IIDOB ensures the disturbance es...
-
作者：Wu, Xinyu; Wang, Zidong; Lu, Wenlian
作者单位：Fudan University; Brunel University; Fudan University
摘要：This article focuses on time-varying delayed stochastic differential systems with stochastically switching parameters formulated by a unified switching behavior combining a discrete adapted process and a Cox process. Unlike prior studies limited to stationary and ergodic switching scenarios, our research emphasizes non-Markovian, nonstationary, and nonergodic cases. It arrives at more general results regarding stability analysis with a more rigorous methodology. The theoretical results are val...
-
作者：Mimmo, N.; Marconi, L.; Notarstefano, G.
作者单位：University of Bologna
摘要：The article deals with a well-known extremum seeking scheme by proving uniformity properties with respect to the amplitudes of the dither signal and of the cost function. Those properties are then used to show that the scheme guarantees the global minimizer to be semiglobal practically stable despite the presence of local minima. Under the assumption of a globally Lipschitz cost function, it is shown that the scheme, improved through a high-pass filter, makes the global minimizer practically s...
-
作者：Shang, Xinxin; Zhuang, Songlin; Shi, Yang
作者单位：University of Victoria; Yongjiang Laboratory
摘要：This article investigates the asynchronous stabilization problem for a class of discrete-time switched linear systems under dwell-time constraints. A novel conception called basic pattern is proposed which can precisely characterize all the admissible sequences of switched systems under asynchronous switching. Compared to existing methods which are devoted to constructing different Lyapunov functions for achieving less conservative stability conditions, here we report a convex stability criter...
