Published February 2020
| Submitted
Journal Article
Open
Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
- Creators
- Nilsson, Petter
- Ozay, Necmiye
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
- Eprint ID
- 94931
- Resolver ID
- CaltechAUTHORS:20190424-104943976
- CNS-1239037
- NSF
- CNS-1446298
- NSF
- ECCS-1553873
- NSF
- N66001-14-1-4045
- Defense Advanced Research Projects Agency (DARPA)
- NASA
- Created
-
2019-04-24Created from EPrint's datestamp field
- Updated
-
2021-11-16Created from EPrint's last_modified field