-
作者: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...
-
作者:Rakovic, Sasa, V
作者单位:Beijing Institute of Technology
摘要:The Lyapunov equation for polytopic linear inclusions over the space of Minkowski functions of nonempty compact and convex sets that contain the origin as an interior point is studied. In particular, necessary and sufficient conditions for the characterization, existence, and uniqueness of its fundamental solution are derived.
-
作者:Wu, Yuanqing; Isidori, Alberto; Lu, Renquan
作者单位:Guangdong University of Technology; Sapienza University Rome
摘要:In this article, we investigate the distributed state estimation problem for a nonlinear dynamical system. Relying upon the assumption of the existence of a block-triangular uniform observability canonical form, local high-gain observers are used to stabilize the estimation error for the observable portion of the state, and exchange of information between neighbors is used to achieve consensus in the estimation of the state of the unobservable part. This article addresses, first, the case of a...
-
作者:Brahma, Sarnaduti; Ossareh, Hamid R.
作者单位:University of Vermont
摘要:Quasilinear control (QLC) theory provides a set of methods intended for the analysis and design of stochastic feedback systems with static nonlinearities. QLC leverages the method of stochastic linearization (SL), which linearizes the nonlinear functions by utilizing the statistical properties of the inputs to the nonlinearities. In the traditional QLC literature, SL has been thoroughly applied to systems having nonlinearities with only a single input. This article investigates the case of SL ...
-
作者:Kartik, Dhruva; Nayyar, Ashutosh; Mitra, Urbashi
作者单位:University of Southern California
摘要:Two active hypothesis testing problems are formulated. In these problems, the agent can perform a fixed number of experiments and then decide on one of the hypotheses or declare its experiments inconclusive. The first problem is an asymmetric formulation in which the objective is to minimize the probability of incorrectly declaring a particular hypothesis to be true while ensuring that the probability of correctly declaring that hypothesis is moderately high. This formulation is a generalizati...
-
作者:Chen, Jianqi; Ma, Dan; Xu, Yong; Chen, Jie
作者单位:City University of Hong Kong; Northeastern University - China; Guangdong University of Technology
摘要:In this article, we study delay robustness of PID controllers in stabilizing systems containing uncertain delays. We consider second-order systems and seek analytical characterization and exact computation of the PID delay margin, where by PID delay margin we mean the maximal range of delay values within which the system can be robustly stabilized by a PID controller. Our primary contribution is threefold. First, we show that the delay margin achieved by PID control coincides with that by PD c...
-
作者:Yuan, Deming; Proutiere, Alexandre; Shi, Guodong
作者单位:Nanjing University of Science & Technology; Royal Institute of Technology; University of Sydney
摘要:In this article, we consider distributed online convex optimization problems, where the distributed system consists of various computing units connected through a time-varying communication graph. In each time step, each computing unit selects a constrained vector, experiences a loss equal to an arbitrary convex function evaluated at this vector, and may communicate to its neighbors in the graph. The objective is to minimize the system-wide loss accumulated over time. We propose a decentralize...
-
作者:Chen, Shixiang; Garcia, Alfredo; Shahrampour, Shahin
作者单位:Texas A&M University System; Texas A&M University College Station
摘要:The stochastic subgradient method is a widely used algorithm for solving large-scale optimization problems arising in machine learning. Often, these problems are neither smooth nor convex. Recently, Davis et al., 2018 characterized the convergence of the stochastic subgradient method for the weakly convex case, which encompasses many important applications (e.g., robust phase retrieval, blind deconvolution, biconvex compressive sensing, and dictionary learning). In practice, distributed implem...
-
作者:Sun, Liang; Jiang, Jingjing
作者单位:University of Science & Technology Beijing; University of Science & Technology Beijing; Loughborough University
摘要:This work develops two kinds of adaptive state feedback shared-control algorithms for a class of nonlinear mechanical systems in the presence of output constraints described by a set of linear inequalities. The parametric uncertainties and unknown external disturbances in the dynamical model are compensated by the proposed adaptive control laws for the feedback controller. In particular, an adaptive fixed-time state-feedback control law is also developed after the classical robust adaptive sta...
-
作者:Zhao, Dan; Lv, Yuezu; Yu, Xinghuo; Wen, Guanghui; Chen, Guanrong
作者单位:Southeast University - China; Southeast University - China; Royal Melbourne Institute of Technology (RMIT); City University of Hong Kong
摘要:Current resilient consensus algorithms deal with multiagent networks with lower order nodal dynamics where each agent excludes certain extreme values from its neighbors. This does not scale well in general networks. In this article, a new type of resilient consensus algorithm based on distributed attack isolation (DAI-RC) is proposed for general higher order networks. In the DAI-RC algorithm, the evolution of each normal agent can avoid the influence from those neighbors which are isolated as ...