Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published February 2020 | Submitted
Journal Article Open

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

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.

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.

Attached Files

Submitted - 1706.07863.pdf

Files

1706.07863.pdf
Files (935.9 kB)
Name Size Download all
md5:70c46f3261c954c4826a24fe296b8e61
935.9 kB Preview Download

Additional details

Created:
August 19, 2023
Modified:
October 20, 2023