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. https://resolver.caltech.edu/CaltechAUTHORS:20190424-104943976
![[img]](https://authors.library.caltech.edu/style/images/fileicons/application_pdf.png) |
PDF
- Submitted Version
See Usage Policy. 935kB |
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: |
| ||||||||||||
| ORCID: |
| ||||||||||||
| 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: |
| ||||||||||||
| 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 | ||||||||||||
| DOI: | 10.1109/TAC.2019.2910949 | ||||||||||||
| 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: | 16 Nov 2021 17:08 |
Repository Staff Only: item control page
