Control Synthesis for Permutation-Symmetric High-Dimensional Systems\n With Counting Constraints Article Swipe
Petter Nilsson
,
Necmiye Özay
·
YOU?
·
· 2017
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.1706.07863
YOU?
·
· 2017
· Open Access
·
· DOI: https://doi.org/10.48550/arxiv.1706.07863
General purpose correct-by-construction synthesis methods are limited to\nsystems with low dimensionality or simple specifications. In this work we\nconsider highly symmetrical counting problems and exploit the symmetry to\nsynthesize provably correct controllers for systems with tens of thousands of\nstates. The key ingredients of the solution are an aggregate abstraction\nprocedure for mildly heterogeneous systems and a formulation of counting\nconstraints as linear inequalities.\n
Related Topics To Compare & Contrast
Concepts
Exploit
Simple (philosophy)
Curse of dimensionality
Computer science
Abstraction
Permutation (music)
Key (lock)
Theoretical computer science
Artificial intelligence
Physics
Acoustics
Philosophy
Epistemology
Computer security
Metadata
- Type
- preprint
- Language
- en
- Landing Page
- http://arxiv.org/abs/1706.07863
- https://arxiv.org/pdf/1706.07863
- OA Status
- green
- Related Works
- 10
- OpenAlex ID
- https://openalex.org/W4300198464
All OpenAlex metadata
Raw OpenAlex JSON
No additional metadata available.