CaltechAUTHORS
  A Caltech Library Service

Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints

Nilsson, Petter and Ozay, Necmiye (2020) Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints. IEEE Transactions on Automatic Control, 65 (2). pp. 461-476. ISSN 0018-9286. https://resolver.caltech.edu/CaltechAUTHORS:20190424-104943976

[img] PDF - Submitted Version
See Usage Policy.

913Kb

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechAUTHORS:20190424-104943976

Abstract

General-purpose correct-by-construction synthesis methods are limited to systems with low dimensionality or simple specifications. In this paper, we consider highly symmetrical counting problems and exploit the symmetry to synthesize provably correct controllers for systems with tens of thousands of states. The key ingredients of the solution are an aggregate abstraction procedure for mildly heterogeneous systems and a formulation of counting constraints as linear inequalities.


Item Type:Article
Related URLs:
URLURL TypeDescription
https://doi.org/10.1109/TAC.2019.2910949DOIArticle
https://arxiv.org/abs/1706.07863arXivDiscussion Paper
ORCID:
AuthorORCID
Nilsson, Petter0000-0001-8748-6936
Ozay, Necmiye0000-0002-5552-4392
Additional Information:© 2019 IEEE. Manuscript received May 15, 2018; revised October 28, 2018; accepted March 10, 2019. Date of publication April 15, 2019; date of current version January 28, 2020. The work of P. Nilsson was supported by the National Science Foundation (NSF) under Grant CNS-1239037. The work of N. Ozay was supported in part by the NSF under Grant CNS-1446298 and Grant ECCS-1553873, in part by the Defense Advanced Research Projects Agency under Grant N66001-14-1-4045, and in part by an Early Career Faculty Grant from NASA’s Space Technology Research Grants Program. The authors would like to thank J. Mathieu for insightful discussions regarding the TCL coordination problem, and the anonymous reviewers for valuable feedback during the peer review process.
Funders:
Funding AgencyGrant Number
NSFCNS-1239037
NSFCNS-1446298
NSFECCS-1553873
Defense Advanced Research Projects Agency (DARPA)N66001-14-1-4045
NASAUNSPECIFIED
Subject Keywords:Control systems, control system synthesis, large-scale systems, system analysis and design, systems engineering and theory, thermal variables control
Issue or Number:2
Record Number:CaltechAUTHORS:20190424-104943976
Persistent URL:https://resolver.caltech.edu/CaltechAUTHORS:20190424-104943976
Official Citation:P. Nilsson and N. Ozay, "Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints," in IEEE Transactions on Automatic Control, vol. 65, no. 2, pp. 461-476, Feb. 2020. doi: 10.1109/TAC.2019.2910949
Usage Policy:No commercial reproduction, distribution, display or performance rights in this work are provided.
ID Code:94931
Collection:CaltechAUTHORS
Deposited By: Tony Diaz
Deposited On:24 Apr 2019 18:01
Last Modified:20 Nov 2020 23:56

Repository Staff Only: item control page