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
Concepts
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
- OpenAlex ID
-
https://openalex.org/W4300198464Canonical identifier for this work in OpenAlex
- DOI
-
https://doi.org/10.48550/arxiv.1706.07863Digital Object Identifier
- Title
-
Control Synthesis for Permutation-Symmetric High-Dimensional Systems\n With Counting ConstraintsWork title
- Type
-
preprintOpenAlex work type
- Language
-
enPrimary language
- Publication year
-
2017Year of publication
- Publication date
-
2017-06-23Full publication date if available
- Authors
-
Petter Nilsson, Necmiye ÖzayList of authors in order
- Landing page
-
https://arxiv.org/abs/1706.07863Publisher landing page
- PDF URL
-
https://arxiv.org/pdf/1706.07863Direct link to full text PDF
- Open access
-
YesWhether a free full text is available
- OA status
-
greenOpen access status per OpenAlex
- OA URL
-
https://arxiv.org/pdf/1706.07863Direct OA link when available
- Concepts
-
Exploit, Simple (philosophy), Curse of dimensionality, Computer science, Abstraction, Permutation (music), Key (lock), Theoretical computer science, Artificial intelligence, Physics, Acoustics, Philosophy, Epistemology, Computer securityTop concepts (fields/topics) attached by OpenAlex
- Cited by
-
0Total citation count in OpenAlex
- Related works (count)
-
10Other works algorithmically related by OpenAlex
Full payload
| id | https://openalex.org/W4300198464 |
|---|---|
| doi | https://doi.org/10.48550/arxiv.1706.07863 |
| ids.openalex | https://openalex.org/W4300198464 |
| fwci | 0.0 |
| type | preprint |
| title | Control Synthesis for Permutation-Symmetric High-Dimensional Systems\n With Counting Constraints |
| biblio.issue | |
| biblio.volume | |
| biblio.last_page | |
| biblio.first_page | |
| topics[0].id | https://openalex.org/T11125 |
| topics[0].field.id | https://openalex.org/fields/17 |
| topics[0].field.display_name | Computer Science |
| topics[0].score | 0.8666999936103821 |
| topics[0].domain.id | https://openalex.org/domains/3 |
| topics[0].domain.display_name | Physical Sciences |
| topics[0].subfield.id | https://openalex.org/subfields/1703 |
| topics[0].subfield.display_name | Computational Theory and Mathematics |
| topics[0].display_name | Petri Nets in System Modeling |
| topics[1].id | https://openalex.org/T11727 |
| topics[1].field.id | https://openalex.org/fields/17 |
| topics[1].field.display_name | Computer Science |
| topics[1].score | 0.838100016117096 |
| topics[1].domain.id | https://openalex.org/domains/3 |
| topics[1].domain.display_name | Physical Sciences |
| topics[1].subfield.id | https://openalex.org/subfields/1703 |
| topics[1].subfield.display_name | Computational Theory and Mathematics |
| topics[1].display_name | Advanced Algebra and Logic |
| is_xpac | False |
| apc_list | |
| apc_paid | |
| concepts[0].id | https://openalex.org/C165696696 |
| concepts[0].level | 2 |
| concepts[0].score | 0.6078366041183472 |
| concepts[0].wikidata | https://www.wikidata.org/wiki/Q11287 |
| concepts[0].display_name | Exploit |
| concepts[1].id | https://openalex.org/C2780586882 |
| concepts[1].level | 2 |
| concepts[1].score | 0.5949665904045105 |
| concepts[1].wikidata | https://www.wikidata.org/wiki/Q7520643 |
| concepts[1].display_name | Simple (philosophy) |
| concepts[2].id | https://openalex.org/C111030470 |
| concepts[2].level | 2 |
| concepts[2].score | 0.590045154094696 |
| concepts[2].wikidata | https://www.wikidata.org/wiki/Q1430460 |
| concepts[2].display_name | Curse of dimensionality |
| concepts[3].id | https://openalex.org/C41008148 |
| concepts[3].level | 0 |
| concepts[3].score | 0.5765687227249146 |
| concepts[3].wikidata | https://www.wikidata.org/wiki/Q21198 |
| concepts[3].display_name | Computer science |
| concepts[4].id | https://openalex.org/C124304363 |
| concepts[4].level | 2 |
| concepts[4].score | 0.4955657720565796 |
| concepts[4].wikidata | https://www.wikidata.org/wiki/Q673661 |
| concepts[4].display_name | Abstraction |
| concepts[5].id | https://openalex.org/C21308566 |
| concepts[5].level | 2 |
| concepts[5].score | 0.4838789701461792 |
| concepts[5].wikidata | https://www.wikidata.org/wiki/Q7169365 |
| concepts[5].display_name | Permutation (music) |
| concepts[6].id | https://openalex.org/C26517878 |
| concepts[6].level | 2 |
| concepts[6].score | 0.42446836829185486 |
| concepts[6].wikidata | https://www.wikidata.org/wiki/Q228039 |
| concepts[6].display_name | Key (lock) |
| concepts[7].id | https://openalex.org/C80444323 |
| concepts[7].level | 1 |
| concepts[7].score | 0.336702823638916 |
| concepts[7].wikidata | https://www.wikidata.org/wiki/Q2878974 |
| concepts[7].display_name | Theoretical computer science |
| concepts[8].id | https://openalex.org/C154945302 |
| concepts[8].level | 1 |
| concepts[8].score | 0.08756765723228455 |
| concepts[8].wikidata | https://www.wikidata.org/wiki/Q11660 |
| concepts[8].display_name | Artificial intelligence |
| concepts[9].id | https://openalex.org/C121332964 |
| concepts[9].level | 0 |
| concepts[9].score | 0.06902679800987244 |
| concepts[9].wikidata | https://www.wikidata.org/wiki/Q413 |
| concepts[9].display_name | Physics |
| concepts[10].id | https://openalex.org/C24890656 |
| concepts[10].level | 1 |
| concepts[10].score | 0.0 |
| concepts[10].wikidata | https://www.wikidata.org/wiki/Q82811 |
| concepts[10].display_name | Acoustics |
| concepts[11].id | https://openalex.org/C138885662 |
| concepts[11].level | 0 |
| concepts[11].score | 0.0 |
| concepts[11].wikidata | https://www.wikidata.org/wiki/Q5891 |
| concepts[11].display_name | Philosophy |
| concepts[12].id | https://openalex.org/C111472728 |
| concepts[12].level | 1 |
| concepts[12].score | 0.0 |
| concepts[12].wikidata | https://www.wikidata.org/wiki/Q9471 |
| concepts[12].display_name | Epistemology |
| concepts[13].id | https://openalex.org/C38652104 |
| concepts[13].level | 1 |
| concepts[13].score | 0.0 |
| concepts[13].wikidata | https://www.wikidata.org/wiki/Q3510521 |
| concepts[13].display_name | Computer security |
| keywords[0].id | https://openalex.org/keywords/exploit |
| keywords[0].score | 0.6078366041183472 |
| keywords[0].display_name | Exploit |
| keywords[1].id | https://openalex.org/keywords/simple |
| keywords[1].score | 0.5949665904045105 |
| keywords[1].display_name | Simple (philosophy) |
| keywords[2].id | https://openalex.org/keywords/curse-of-dimensionality |
| keywords[2].score | 0.590045154094696 |
| keywords[2].display_name | Curse of dimensionality |
| keywords[3].id | https://openalex.org/keywords/computer-science |
| keywords[3].score | 0.5765687227249146 |
| keywords[3].display_name | Computer science |
| keywords[4].id | https://openalex.org/keywords/abstraction |
| keywords[4].score | 0.4955657720565796 |
| keywords[4].display_name | Abstraction |
| keywords[5].id | https://openalex.org/keywords/permutation |
| keywords[5].score | 0.4838789701461792 |
| keywords[5].display_name | Permutation (music) |
| keywords[6].id | https://openalex.org/keywords/key |
| keywords[6].score | 0.42446836829185486 |
| keywords[6].display_name | Key (lock) |
| keywords[7].id | https://openalex.org/keywords/theoretical-computer-science |
| keywords[7].score | 0.336702823638916 |
| keywords[7].display_name | Theoretical computer science |
| keywords[8].id | https://openalex.org/keywords/artificial-intelligence |
| keywords[8].score | 0.08756765723228455 |
| keywords[8].display_name | Artificial intelligence |
| keywords[9].id | https://openalex.org/keywords/physics |
| keywords[9].score | 0.06902679800987244 |
| keywords[9].display_name | Physics |
| language | en |
| locations[0].id | pmh:oai:arXiv.org:1706.07863 |
| locations[0].is_oa | True |
| locations[0].source.id | https://openalex.org/S4306400194 |
| locations[0].source.issn | |
| locations[0].source.type | repository |
| locations[0].source.is_oa | True |
| locations[0].source.issn_l | |
| locations[0].source.is_core | False |
| locations[0].source.is_in_doaj | False |
| locations[0].source.display_name | arXiv (Cornell University) |
| locations[0].source.host_organization | https://openalex.org/I205783295 |
| locations[0].source.host_organization_name | Cornell University |
| locations[0].source.host_organization_lineage | https://openalex.org/I205783295 |
| locations[0].license | |
| locations[0].pdf_url | https://arxiv.org/pdf/1706.07863 |
| locations[0].version | submittedVersion |
| locations[0].raw_type | |
| locations[0].license_id | |
| locations[0].is_accepted | False |
| locations[0].is_published | False |
| locations[0].raw_source_name | |
| locations[0].landing_page_url | http://arxiv.org/abs/1706.07863 |
| indexed_in | arxiv |
| authorships[0].author.id | https://openalex.org/A5084385053 |
| authorships[0].author.orcid | https://orcid.org/0000-0001-8748-6936 |
| authorships[0].author.display_name | Petter Nilsson |
| authorships[0].author_position | first |
| authorships[0].raw_author_name | Nilsson, Petter |
| authorships[0].is_corresponding | False |
| authorships[1].author.id | https://openalex.org/A5054418471 |
| authorships[1].author.orcid | https://orcid.org/0000-0002-5552-4392 |
| authorships[1].author.display_name | Necmiye Özay |
| authorships[1].author_position | last |
| authorships[1].raw_author_name | Ozay, Necmiye |
| authorships[1].is_corresponding | False |
| has_content.pdf | False |
| has_content.grobid_xml | False |
| is_paratext | False |
| open_access.is_oa | True |
| open_access.oa_url | https://arxiv.org/pdf/1706.07863 |
| open_access.oa_status | green |
| open_access.any_repository_has_fulltext | False |
| created_date | 2025-10-10T00:00:00 |
| display_name | Control Synthesis for Permutation-Symmetric High-Dimensional Systems\n With Counting Constraints |
| has_fulltext | False |
| is_retracted | False |
| updated_date | 2025-10-10T17:16:08.811792 |
| primary_topic.id | https://openalex.org/T11125 |
| primary_topic.field.id | https://openalex.org/fields/17 |
| primary_topic.field.display_name | Computer Science |
| primary_topic.score | 0.8666999936103821 |
| primary_topic.domain.id | https://openalex.org/domains/3 |
| primary_topic.domain.display_name | Physical Sciences |
| primary_topic.subfield.id | https://openalex.org/subfields/1703 |
| primary_topic.subfield.display_name | Computational Theory and Mathematics |
| primary_topic.display_name | Petri Nets in System Modeling |
| related_works | https://openalex.org/W17155033, https://openalex.org/W3207760230, https://openalex.org/W1496222301, https://openalex.org/W1590307681, https://openalex.org/W2536018345, https://openalex.org/W4312814274, https://openalex.org/W4285370786, https://openalex.org/W2296488620, https://openalex.org/W2358353312, https://openalex.org/W2952426683 |
| cited_by_count | 0 |
| locations_count | 1 |
| best_oa_location.id | pmh:oai:arXiv.org:1706.07863 |
| best_oa_location.is_oa | True |
| best_oa_location.source.id | https://openalex.org/S4306400194 |
| best_oa_location.source.issn | |
| best_oa_location.source.type | repository |
| best_oa_location.source.is_oa | True |
| best_oa_location.source.issn_l | |
| best_oa_location.source.is_core | False |
| best_oa_location.source.is_in_doaj | False |
| best_oa_location.source.display_name | arXiv (Cornell University) |
| best_oa_location.source.host_organization | https://openalex.org/I205783295 |
| best_oa_location.source.host_organization_name | Cornell University |
| best_oa_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| best_oa_location.license | |
| best_oa_location.pdf_url | https://arxiv.org/pdf/1706.07863 |
| best_oa_location.version | submittedVersion |
| best_oa_location.raw_type | |
| best_oa_location.license_id | |
| best_oa_location.is_accepted | False |
| best_oa_location.is_published | False |
| best_oa_location.raw_source_name | |
| best_oa_location.landing_page_url | http://arxiv.org/abs/1706.07863 |
| primary_location.id | pmh:oai:arXiv.org:1706.07863 |
| primary_location.is_oa | True |
| primary_location.source.id | https://openalex.org/S4306400194 |
| primary_location.source.issn | |
| primary_location.source.type | repository |
| primary_location.source.is_oa | True |
| primary_location.source.issn_l | |
| primary_location.source.is_core | False |
| primary_location.source.is_in_doaj | False |
| primary_location.source.display_name | arXiv (Cornell University) |
| primary_location.source.host_organization | https://openalex.org/I205783295 |
| primary_location.source.host_organization_name | Cornell University |
| primary_location.source.host_organization_lineage | https://openalex.org/I205783295 |
| primary_location.license | |
| primary_location.pdf_url | https://arxiv.org/pdf/1706.07863 |
| primary_location.version | submittedVersion |
| primary_location.raw_type | |
| primary_location.license_id | |
| primary_location.is_accepted | False |
| primary_location.is_published | False |
| primary_location.raw_source_name | |
| primary_location.landing_page_url | http://arxiv.org/abs/1706.07863 |
| publication_date | 2017-06-23 |
| publication_year | 2017 |
| referenced_works_count | 0 |
| abstract_inverted_index.a | 52 |
| abstract_inverted_index.In | 14 |
| abstract_inverted_index.an | 44 |
| abstract_inverted_index.as | 56 |
| abstract_inverted_index.of | 34, 40, 54 |
| abstract_inverted_index.or | 11 |
| abstract_inverted_index.The | 37 |
| abstract_inverted_index.and | 22, 51 |
| abstract_inverted_index.are | 5, 43 |
| abstract_inverted_index.for | 30, 47 |
| abstract_inverted_index.key | 38 |
| abstract_inverted_index.low | 9 |
| abstract_inverted_index.the | 24, 41 |
| abstract_inverted_index.tens | 33 |
| abstract_inverted_index.this | 15 |
| abstract_inverted_index.with | 8, 32 |
| abstract_inverted_index.work | 16 |
| abstract_inverted_index.highly | 18 |
| abstract_inverted_index.linear | 57 |
| abstract_inverted_index.mildly | 48 |
| abstract_inverted_index.simple | 12 |
| abstract_inverted_index.General | 0 |
| abstract_inverted_index.correct | 28 |
| abstract_inverted_index.exploit | 23 |
| abstract_inverted_index.limited | 6 |
| abstract_inverted_index.methods | 4 |
| abstract_inverted_index.purpose | 1 |
| abstract_inverted_index.systems | 31, 50 |
| abstract_inverted_index.counting | 20 |
| abstract_inverted_index.problems | 21 |
| abstract_inverted_index.provably | 27 |
| abstract_inverted_index.solution | 42 |
| abstract_inverted_index.symmetry | 25 |
| abstract_inverted_index.aggregate | 45 |
| abstract_inverted_index.synthesis | 3 |
| abstract_inverted_index.thousands | 35 |
| abstract_inverted_index.controllers | 29 |
| abstract_inverted_index.formulation | 53 |
| abstract_inverted_index.ingredients | 39 |
| abstract_inverted_index.of\nstates. | 36 |
| abstract_inverted_index.symmetrical | 19 |
| abstract_inverted_index.to\nsystems | 7 |
| abstract_inverted_index.we\nconsider | 17 |
| abstract_inverted_index.heterogeneous | 49 |
| abstract_inverted_index.dimensionality | 10 |
| abstract_inverted_index.to\nsynthesize | 26 |
| abstract_inverted_index.inequalities.\n | 58 |
| abstract_inverted_index.specifications. | 13 |
| abstract_inverted_index.counting\nconstraints | 55 |
| abstract_inverted_index.abstraction\nprocedure | 46 |
| abstract_inverted_index.correct-by-construction | 2 |
| cited_by_percentile_year | |
| countries_distinct_count | 0 |
| institutions_distinct_count | 2 |
| citation_normalized_percentile.value | 0.3560328 |
| citation_normalized_percentile.is_in_top_1_percent | False |
| citation_normalized_percentile.is_in_top_10_percent | False |