-
作者：Deutscher, Joachim
作者单位：Ulm University
摘要：This article considers the robust cooperative output regulation for a network of parabolic PDE systems. The solution to this problem is obtained by extending the cooperative internal model principle from finite to infinite dimensions. For a time-invariant digraph describing the communication topology, a two-step backstepping approach is presented to systematically design cooperative state feedback regulators. This allows to solve both the leader-follower and the leaderless output synchronizati...
-
作者：Park, Seong-Jin; Cho, Kwang-Hyun
作者单位：Ajou University; Korea Advanced Institute of Science & Technology (KAIST)
摘要：This article proposes a formal framework based on discrete event systems in order to analyze the democratic progress and regression in a society controlled by networked agents. For this purpose, we construct a simple model using a finite state automaton that describes the dynamic behavior of progress and regression in a democracy. We represent a network of agents as a directed graph where each agent has its own objective. Each agent may be a citizen or a group of people sharing a common object...
-
作者：Cubuktepe, Murat; Jansen, Nils; Junges, Sebastian; Katoen, Joost-Pieter; Topcu, Ufuk
作者单位：University of Texas System; University of Texas Austin; Radboud University Nijmegen; RWTH Aachen University
摘要：Probabilistic model-checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic assumption that the MDP is precisely known. Consequently, parametric MDPs (pMDPs) extend MDPs with transition probabilities that are functions over unspecified parameters. The parameter synthesis problem is to compute an instantiation of these unspecified parameters such that the resulting MDP satisfies the temporal log...
-
作者：Rojas, Cristian R. R.; Wachel, Pawel
作者单位：Royal Institute of Technology
摘要：In this article, we establish that every (deterministic) nonautonomous, discrete-time, causal, time invariant system has a state-space representation, and discuss its minimality.
-
作者：Wu, Haiwen; Xu, Dabo; Jayawardhana, Bayu
作者单位：University of Groningen; Nanjing University of Science & Technology; South China University of Technology
摘要：This article studies global robust output regulation of second-order nonlinear systems with input disturbances that encompass the fully-actuated Euler-Lagrange systems. We assume the availability of relative output (w.r.t. a family of reference signals) and output derivative measurements. Based on a specific separation principle and self-learning mechanism, we develop an internal model-based controller that does not require a priori knowledge of reference and disturbance signals and it only as...
-
作者：Li, Zhuoyu; Zhao, Jun
作者单位：Northeastern University - China; Northeastern University - China; Northeastern University - China
摘要：This article investigates the event-triggered control problem for switched affine systems (SASs). The presence of affine terms brings many difficulties on the exclusion of triggering Zeno behavior when ensuring asymptotic stability. We propose an event-triggered control strategy dynamically updated with triggering to solve this problem, in which the triggering condition is associated with the affine terms and given with a time-varying term that is updated at triggering instants. Based on the t...
-
作者：Qais, Imrul; Pal, Debasattam
作者单位：Indian Institute of Technology System (IIT System); Indian Institute of Technology (IIT) - Bombay
摘要：In this article, we deal with the continuous-time singular linear quadratic regulator (LQR) problems, which give rise to nonautonomous Hamiltonian systems. This case arises when the system's transfer function matrix is not left-invertible. A special case of this problem can be solved using the constrained generalized continuous algebraic Riccati equation (CGCARE), when a certain condition on the input-cardinality of the Hamiltonian is satisfied. However, this condition is only a special case a...
-
作者：Lu, Yingdong; Maguluri, Siva Theja; Squillante, Mark S.; Suk, Tonghoon
作者单位：International Business Machines (IBM); IBM USA; University System of Georgia; Georgia Institute of Technology
摘要：We consider the asymptotically optimal control of input-queued switches under a cost-weighted variant of MaxWeight scheduling, for which we establish theoretical properties that include showing the algorithm exhibits optimal heavy-traffic queue-length scaling. Our results are expected to be of theoretical interest more broadly than input-queued switches.
-
作者：Matveev, Alexey S.; Almodarresi, Mostafa; Ortega, Romeo; Pyrkin, Anton; Xie, Siyu
作者单位：Saint Petersburg State University; University of Yazd; Instituto Tecnologico Autonomo de Mexico; ITMO University; Wayne State University
摘要：In this article, we consider the problem of discrete-time, diffusion-based distributed parameter estimation with the agents connected via directed graphs with switching topologies and a self loop at each node. We show that, by incorporating the recently introduced dynamic regressor extension and mixing procedure to a classical gradient-descent algorithm, improved convergence properties can be achieved. In particular, it is shown that with this modification sufficient conditions for global conv...
-
作者：Pinto, Samuel C.; Andersson, Sean B.; Hendrickx, Julien M.; Cassandras, Christos G.
作者单位：Boston University; Boston University; Universite Catholique Louvain; Boston University; Boston University
摘要：We address the problem of persistent monitoring, where a finite set of mobile agents has to persistently visit a finite set of targets. Each of these targets has an internal state that evolves with linear stochastic dynamics. The agents can observe these states, and the observation quality is a function of the distance between the agent and a given target. The goal is then to minimize the mean squared estimation error of these target states. We approach the problem from an infinite horizon per...
