-
作者：Chamon, Luiz F. O.; Amice, Alexandre; Ribeiro, Alejandro
作者单位：University of Pennsylvania
摘要：Control scheduling refers to the problem of assigning agents or actuators to act upon a dynamical system at specific times so as to minimize a quadratic control cost, such as the objectives of the linear-quadratic-Gaussian (LQG) or linear quadratic regulator problems. When budget or operational constraints are imposed on the schedule, this problem is in general NP-hard and its solution can therefore only be approximated even for moderately sized systems. The quality of this approximation depen...
-
作者：Pepe, Pierdomenico
作者单位：University of L'Aquila
摘要：A novel Lyapunov methodology for the stability check of nonlinear discrete-time switching systems, equipped with switches digraphs and nonuniform dwell-time ranges, is here presented. The novelty of the methodology consists in the following coexisting features: i) the global uniform (with respect to compact sets of initial conditions and switching signals) asymptotic stability is addressed; ii) the information on allowed switches and (nonuniform) dwell-time ranges is fully exploited; iii) no a...
-
作者：Tavafoghi, Hamidreza; Ouyang, Yi; Teneketzis, Demosthenis
作者单位：University of California System; University of California Berkeley; University of Michigan System; University of Michigan
摘要：We study a general class of dynamic multi- agent decision problems with asymmetric information and nonstrategic agents, which include dynamic teams as a special case. When agents are nonstrategic, an agent's strategy is known to the other agents. Nevertheless, the agents' strategy choices and beliefs are interdependent over times, a phenomenon known as signaling. We introduce the notion of sufficient information that effectively compresses the agents' information in a mutually consistent manne...
-
作者：Poveda, Jorge, I; Benosman, Mouhacine; Teel, Andrew R.; Sanfelice, Ricardo G.
作者单位：University of Colorado System; University of Colorado Boulder; University of California System; University of California Santa Barbara; University of California System; University of California Santa Cruz
摘要：In multivehicle autonomous systems that operate under unknown or adversarial environments, it is a challenging task to simultaneously achieve source seeking and obstacle avoidance. Indeed, even for single-vehicle systems, smooth time-invariant feedback controllers based on navigation or barrier functions have been shown to be highly susceptible to arbitrarily small jamming signals that can induce instability in the closed-loop system, or that are able to stabilize spurious equilibria in the op...
-
作者：van der Schaft, Arjan; Jeltsema, Dimitri
作者单位：University of Groningen
摘要：The Second Law of thermodynamics implies that no thermodynamic system with a single heat source at constant temperature can convert heat into mechanical work in a recurrent manner. First, we note that this is equivalent to cyclo-passivity at the mechanical port of the thermodynamic system, while the temperature at the thermal port of the system is kept constant. This leads to the question, which general systems with two power ports have similar behavior: when is a system cyclo-passive at one o...
-
作者：Loria, Antonio; Nuno, Emmanuel; Panteley, Elena
作者单位：Universite Paris Saclay; Centre National de la Recherche Scientifique (CNRS); Universidad de Guadalajara; ITMO University
摘要：We present a solution to the problem of formation consensus control of second-order nonholonomic systems via output feedback. We contribute with a distributed consensus controller for force-controlled nonholonomic systems under the assumption that the forward and angular velocities are not measurable. Our main statement establishes uniform global asymptotic stability for the closed-loop system; this guarantees robustness with respect to bounded disturbances, in the sense of Malkin's total stab...
-
作者：Gao, Yulong; Abate, Alessandro; Jiang, Frank J.; Giacobbe, Mirco; Xie, Lihua; Johansson, Karl Henrik
作者单位：Royal Institute of Technology; Nanyang Technological University; University of Oxford; University of Birmingham
摘要：We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct temporal logic trees (TLTs) from LTL formulae via reachability analysis. In contrast to automaton-based methods, the construction of the TLT is abstraction-free for infinite systems; that is, we do not construct discrete abstractions of the infinite systems. Moreover, for a given transition system and an LTL formula, we pro...
-
作者：Kostina, Victoria; Peres, Yuval; Ranade, Gireeja; Sellke, Mark
作者单位：California Institute of Technology; University of California System; University of California Berkeley; Stanford University
摘要：We consider an unstable scalar linear stochastic system, Xn+1 = aX(n) + Z(n) - U-n, where a >= 1 is the system gain, Z(n)s are independent random variables with bounded alpha th moments, and U(n)s are the control actions that are chosen by a controller who receives a single element of a finite set {1, ..., M} as its only information about system state X-i. We show new proofs that M > a is necessary and sufficient for beta-moment stability, for any beta < alpha. Our achievable scheme is a unifo...
-
作者：Piga, Dario; Mejari, Manas; Forgione, Marco
作者单位：Universita della Svizzera Italiana
摘要：Identification of dynamical systems from low-resolution quantized observations presents several challenges because of the limited amount of information available in the data and since proper algorithms have to be designed to handle the error due to quantization. In this article, we consider identification of infinite impulse response models from quantized outputs. Algorithms both for maximum-likelihood estimation and Bayesian inference are developed. Finally, a particle-filter approach is pres...
-
作者：Qin, Yuzhen; Kawano, Yu; Anderson, Brian D. O.; Cao, Ming
作者单位：University of California System; University of California Riverside; University of Groningen; Hiroshima University; Australian National University
摘要：This article presents some new criteria for the partial exponential stability of a slow-fast nonlinear system with a fast scalar variable using periodic averaging methods. Unlike classical averaging techniques, we construct an averaged system by averaging over this fast scalar variable instead of the time variable. We show that the partial exponential stability of the averaged system implies that of the original one. We then apply the obtained criteria to the study of remote synchronization of...
