-
作者：Alamir, Mazen
作者单位：Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS)
摘要：This article addresses the observability analysis and the optimal design of observation parameters in the presence of noisy measurements and parametric uncertainties. The notion of almost epsilon-observability is introduced and a systematic procedure to assess its satisfaction for a given system with a priori known measurement noise statistics and parameter discrepancy is sketched. Moreover, the concept of observation-target quantities is introduced to analyze the precision with which specific...
-
作者：Care, Algo; Campi, Marco Claudio; Weyer, Erik
作者单位：University of Brescia; University of Melbourne
摘要：In many dynamical state estimation problems, not all the values that the state can take have the same importance; hence, missing to deliver an appropriate estimate has more severe consequences for certain state values than for others. In many applications, such important state values correspond to events that have low a priori probability to happen (e.g., unsafe situations or conditions that one tries to avoid by design). Provably, Kalman filtering techniques are inadequate to correctly estima...
-
作者：Chen, Xudong
作者单位：University of Colorado System; University of Colorado Boulder
摘要：The article introduces and solves a structural controllability problem for continuum ensembles of linear time-invariant systems. All the individual linear systems of an ensemble are sparse, governed by the same sparsity pattern. Controllability of an ensemble system is, by convention, the capability of using a common control input to simultaneously steer every individual systems in it. A sparsity pattern is structurally controllable if it admits a controllable linear ensemble system. A main co...
-
作者：Cisneros-Velarde, Pedro; Jafarpour, Saber; Bullo, Francesco
作者单位：University of California System; University of California Santa Barbara
摘要：In this article, we provide an overarching analysis of primal-dual dynamics associated with linear equality-constrained optimization problems using contraction analysis. For the well-known standard version of the problem, we establish convergence under convexity and the contracting rate under strong convexity. Then, for a canonical distributed optimization problem, we use partial contractivity to establish global exponential convergence of its primal-dual dynamics. As an application, we propos...
-
作者：Mosalli, Hesamoddin; Babazadeh, Maryam
作者单位：Sharif University of Technology
摘要：This article presents a new optimization-based approach to determine the class of stabilizing control structures with the necessary set of feedback links for interconnected systems. The proposed approach relies on a graph-theoretic interpretation and its equivalence in terms of binary linear programs (BLPs). To carry out the primary goal, first, the stabilizability of a linear time-invariant (LTI) system under the decentralized control structure is presented in terms of a BLP. Next, two graph-...
-
作者：Kanellopoulos, Aris; Vamvoudakis, Kyriakos G.
作者单位：University System of Georgia; Georgia Institute of Technology
摘要：In this article, we investigate the behavior of agents with bounded rationality, attacking a set of stochastic sensors measuring the state of a binary event. The coordination problem between the attackers is formulated as a multiplayer non-zero-sum one-shot game. The objective of each attacker is to maximize the probability that a certain detector will produce an erroneous estimate of the true event, while they remain stealthy. To better predict the outcome of this game, we categorize the play...
-
作者：Makasu, Cloud
作者单位：University of the Western Cape
摘要：In this article, we consider a class of homing problems with controls only in the diffusion-coefficient of a diffusion process in a given closed interval. The controller seeks to minimize an expected cost that accounts for quadratic control costs, and terminal costs until the controlled process hits the end-points of the given interval. Bounds for the value function and the optimal control in question are established under certain conditions. The present results extend and complement an earlie...
-
作者：Revay, Max; Umenberger, Jack; Manchester, Ian R.
作者单位：University of Sydney; University of Sydney; Massachusetts Institute of Technology (MIT)
摘要：This article proposes methods for identification of large-scale networked systems with guarantees that the resulting model will be contracting-a strong form of nonlinear stability-and/or monotone, i.e., order relations between states are preserved. The main challenges that we address are simultaneously searching for model parameters and a certificate of model stability, and scalability to networks with hundreds or thousands of nodes. We propose a model set that admits convex constraints for st...
-
作者：Fiacchini, Mirko
作者单位：Communaute Universite Grenoble Alpes; Institut National Polytechnique de Grenoble; Universite Grenoble Alpes (UGA); Centre National de la Recherche Scientifique (CNRS)
摘要：This article presents a computational method to test the stabilizability of discrete-time switched linear systems. The existence of a conic cover of the space on whose elements a convex condition holds is proved to be necessary and sufficient for stabilizability. An algorithm for computing a conic partition that satisfies the new necessary and sufficient condition is given. The algorithm, which allows us to determine bounds on the exponential convergence rate, is proved to overcome the conserv...
-
作者：Meira-Goes, Romulo; Weitze, Jack; Lafortune, Stephane
作者单位：University of Michigan System; University of Michigan
摘要：In this article, we are interested in the problem of synthesizing a partial observation supervisor for a discrete-event system such that it enforces a desired property. We introduce a compact and uniform approach to the problem of synthesizing state-based property-enforcing supervisors. A state-based property is a property that only depends on the current estimate of the past behavior of the system and does not depend on its future behavior. Previous work has introduced a uniform methodology t...
