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. doi:10.1109/TAC.2019.2910949.

[img] PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


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 Paper
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.
Funding AgencyGrant Number
Defense Advanced Research Projects Agency (DARPA)N66001-14-1-4045
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:
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
Deposited By: Tony Diaz
Deposited On:24 Apr 2019 18:01
Last Modified:16 Nov 2021 17:08

Repository Staff Only: item control page