Control Synthesis for Permutation-Symmetric High-Dimensional Systems With Counting Constraints
Sign Up to like & getrecommendations! Published in 2020 at "IEEE Transactions on Automatic Control"
DOI: 10.1109/tac.2019.2910949
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… read more here.
Keywords: counting constraints; control synthesis; synthesis; synthesis permutation ... See more keywords