-
作者：Tan, Xiao; Shaw Cortez, Wenceslao; Dimarogonas, Dimos V.
作者单位：Royal Institute of Technology
摘要：In this article, we propose a notion of high-order (zeroing) barrier functions (HOBFs) that generalizes the concept of zeroing barrier functions and guarantees set forward invariance by checking their higher order derivatives. The proposed formulation guarantees asymptotic stability of the forward invariant set, which is highly favorable for robustness with respect to model perturbations. No forward completeness assumption is needed in our setting in contrast to existing HOBF methods. For the ...
-
作者：Arnstrom, Daniel; Axehill, Daniel
作者单位：Linkoping University
摘要：In model-predictive control (MPC), an optimization problem has to be solved at each time step, which in real-time applications makes it important to solve these efficiently and to have good upper bounds on worst-case solution time. Often for linear MPC problems, the optimization problem in question is a quadratic program (QP) that depends on parameters such as system states and reference signals. A popular class of methods for solving such QPs is active-set methods, where a sequence of linear ...
-
作者：Espitia, Nicolas; Perruquetti, Wilfrid
作者单位：Universite de Lille; Centre National de la Recherche Scientifique (CNRS); Centrale Lille
摘要：This article first deals with the problem of prescribed-time stability of linear systems without delay. The analysis and design involve the Bell polynomials, the generalized Laguerre polynomials, the Lah numbers, and a suitable polynomial-based Vandermonde matrix. The results can be used to design a new controller-with time-varying gains-ensuring prescribed-time stabilization of controllable linear time-invariant (LTI) systems. The approach leads to similar results compared to Holloway et al. ...
-
作者：Mufid, Muhammad Syifa'ul; Adzkiya, Dieky; Abate, Alessandro
作者单位：University of Oxford; Institut Teknologi Sepuluh Nopember
摘要：This article discusses the reachability analysis (RA) of interval max-plus linear (IMPL) systems, a subclass of continuous-space, discrete-event systems defined over the max-plus algebra. Unlike standard max-plus linear systems, where the transition matrix is fixed at each discrete step, IMPL systems allow for uncertainty on state matrices. Given an initial and a target set, we develop algorithms to verify the existence of IMPL system trajectories that, starting from the initial set, eventuall...
-
作者：Cao, Xuanyu; Basar, Tamer
作者单位：University of Illinois System; University of Illinois Urbana-Champaign
摘要：In online decision making, feedback delays often arise due to the latency caused by computation and communication in practical systems. In this article, we study decentralized online convex optimization over a multiagent network in the presence of feedback delays. Each agent is associated with a time-varying local loss function, which is revealed to the agent sequentially with delays. The goal of every agent is to minimize the accumulated total loss function (the sum of the local loss function...
-
作者：Li, Xiuxian; Xie, Lihua; Hong, Yiguang
作者单位：Tongji University; Nanyang Technological University; Tongji University
摘要：This article proposes a new framework for distributed optimization, called distributed aggregative optimization, which allows local objective functions to be dependent not only on their own decision variables, but also on the sum of functions of decision variables of all the agents. To handle this problem, a distributed algorithm, called distributed aggregative gradient tracking, is proposed and analyzed, where the global objective function is strongly convex, and the communication graph is ba...
-
作者：Ma, Ziyue; Cai, Kai
作者单位：Xidian University; Osaka Metropolitan University
摘要：In this article, we study a security problem of protecting secrets in discrete-event systems modeled by deterministic finite automata. In the system, some states are defined as secrets, each of which is associated with a security level. The problem is to design an event-protecting policy such that any event sequence from the initial state that reaches a secret state contains a number of protected events no less than the required level of security. To solve this secret securing problem, we firs...
-
作者：Valmorbida, Giorgio; Papachristodoulou, Antonis
作者单位：Universite Paris Saclay; Centre National de la Recherche Scientifique (CNRS); Institut Polytechnique de Paris; Ecole Polytechnique; University of Oxford
摘要：This article presents strategies for state-feedback control law design of nonlinear control laws with saturating inputs. The input constraints are handled by considering a generalized local sector inequality allowing the study of nonsymmetric saturation bounds. A numerical formulation is presented for polynomial systems and is based on the solution of Lyapunov inequalities with sum-of-squares programming.
-
作者：Ruediger-Wetzlinger, Maximilian; Reichhartinger, Markus; Horn, Martin
作者单位：Graz University of Technology; Graz University of Technology
摘要：This article proposes a discrete-time differentiation algorithm of arbitrary order inspired by the continuous-time uniform robust exact differentiator and the continuous-time arbitrary-order robust exact differentiator. As the well-known explicit Euler method is not suitable for discretizing algorithms with the fixed-time convergence property, a semi-implicit approach is proposed. The discrete-time differentiators of orders 2 and 3 are studied in detail, and it is proven that the estimation er...
-
作者：A. Stavrou, Photios; Skoglund, Mikael
作者单位：Royal Institute of Technology
摘要：The existence of an optimal reverse-waterfilling algorithm to compute the nonanticipative rate distortion function (NRDF) for time-invariant vector-valued Gauss-Markov processes with a mean-squared-error distortion has been an open question since the pioneering work of Tatikonda et al. on stochastic linear control over a communication channel, in 2004. In this article, we derive strong structural properties on the time-invariant multidimensional Gauss-Markov processes that allow for an optimiz...
