Synthesis of separable controlled invariant sets for modular local\n control design Article Swipe

PDF

YOU? · · 2015 · Open Access · · DOI: https://doi.org/10.48550/arxiv.1510.02990

Many correct-by-construction control synthesis methods suffer from the curse\nof dimensionality. Motivated by this challenge, we seek to reduce a\ncorrect-by-construction control synthesis problem to subproblems of more modest\ndimension. As a step towards this goal, in this paper we consider the problem\nof synthesizing decoupled robustly controlled invariant sets for dynamically\ncoupled linear subsystems with state and input constraints. Our approach, which\ngives sufficient conditions for decoupled invariance, is based on optimization\nover linear matrix inequalities which are obtained using slack variable\nidentities. We illustrate the applicability of our method on several examples,\nincluding one where we solve local control synthesis problems in a\ncompositional manner.\n

Related Topics

Artificial Intelligence

Mathematical Physics

Mathematical Analysis

Concepts

Modular design Separable space Curse of dimensionality Invariant (physics) Mathematical optimization Dimension (graph theory) Computer science State (computer science) Control (management) Control theory (sociology) Mathematics Algorithm Artificial intelligence Pure mathematics Operating system Mathematical physics Mathematical analysis

Metadata

Type: preprint
Language: en
Landing Page: http://arxiv.org/abs/1510.02990
PDF: https://arxiv.org/pdf/1510.02990
OA Status: green
Related Works: 10
OpenAlex ID: https://openalex.org/W4297911351

All OpenAlex metadata

Raw OpenAlex JSON

OpenAlex ID: https://openalex.org/W4297911351

Canonical identifier for this work in OpenAlex
DOI: https://doi.org/10.48550/arxiv.1510.02990

Digital Object Identifier
Title: Synthesis of separable controlled invariant sets for modular local\n control design

Work title
Type: preprint

OpenAlex work type
Language: en

Primary language
Publication year: 2015

Year of publication
Publication date: 2015-10-10

Full publication date if available
Authors: Petter Nilsson, Necmiye Özay

List of authors in order
Landing page: https://arxiv.org/abs/1510.02990

Publisher landing page
PDF URL: https://arxiv.org/pdf/1510.02990

Direct link to full text PDF
Open access: Yes

Whether a free full text is available
OA status: green

Open access status per OpenAlex
OA URL: https://arxiv.org/pdf/1510.02990

Direct OA link when available
Concepts: Modular design, Separable space, Curse of dimensionality, Invariant (physics), Mathematical optimization, Dimension (graph theory), Computer science, State (computer science), Control (management), Control theory (sociology), Mathematics, Algorithm, Artificial intelligence, Pure mathematics, Operating system, Mathematical physics, Mathematical analysis

Top concepts (fields/topics) attached by OpenAlex
Cited by: 0

Total citation count in OpenAlex
Related works (count): 10

Other works algorithmically related by OpenAlex

Full payload

id	https://openalex.org/W4297911351
doi	https://doi.org/10.48550/arxiv.1510.02990
ids.openalex	https://openalex.org/W4297911351
fwci	0.0
type	preprint
title	Synthesis of separable controlled invariant sets for modular local\n control design
biblio.issue
biblio.volume
biblio.last_page
biblio.first_page
topics[0].id	https://openalex.org/T10791
topics[0].field.id	https://openalex.org/fields/22
topics[0].field.display_name	Engineering
topics[0].score	0.9391000270843506
topics[0].domain.id	https://openalex.org/domains/3
topics[0].domain.display_name	Physical Sciences
topics[0].subfield.id	https://openalex.org/subfields/2207
topics[0].subfield.display_name	Control and Systems Engineering
topics[0].display_name	Advanced Control Systems Optimization
is_xpac	False
apc_list
apc_paid
concepts[0].id	https://openalex.org/C101468663
concepts[0].level	2
concepts[0].score	0.717739462852478
concepts[0].wikidata	https://www.wikidata.org/wiki/Q1620158
concepts[0].display_name	Modular design
concepts[1].id	https://openalex.org/C70710897
concepts[1].level	2
concepts[1].score	0.681890606880188
concepts[1].wikidata	https://www.wikidata.org/wiki/Q680081
concepts[1].display_name	Separable space
concepts[2].id	https://openalex.org/C111030470
concepts[2].level	2
concepts[2].score	0.6603187322616577
concepts[2].wikidata	https://www.wikidata.org/wiki/Q1430460
concepts[2].display_name	Curse of dimensionality
concepts[3].id	https://openalex.org/C190470478
concepts[3].level	2
concepts[3].score	0.6311872005462646
concepts[3].wikidata	https://www.wikidata.org/wiki/Q2370229
concepts[3].display_name	Invariant (physics)
concepts[4].id	https://openalex.org/C126255220
concepts[4].level	1
concepts[4].score	0.5568905472755432
concepts[4].wikidata	https://www.wikidata.org/wiki/Q141495
concepts[4].display_name	Mathematical optimization
concepts[5].id	https://openalex.org/C33676613
concepts[5].level	2
concepts[5].score	0.5423570275306702
concepts[5].wikidata	https://www.wikidata.org/wiki/Q13415176
concepts[5].display_name	Dimension (graph theory)
concepts[6].id	https://openalex.org/C41008148
concepts[6].level	0
concepts[6].score	0.4991133213043213
concepts[6].wikidata	https://www.wikidata.org/wiki/Q21198
concepts[6].display_name	Computer science
concepts[7].id	https://openalex.org/C48103436
concepts[7].level	2
concepts[7].score	0.4144863486289978
concepts[7].wikidata	https://www.wikidata.org/wiki/Q599031
concepts[7].display_name	State (computer science)
concepts[8].id	https://openalex.org/C2775924081
concepts[8].level	2
concepts[8].score	0.4036022126674652
concepts[8].wikidata	https://www.wikidata.org/wiki/Q55608371
concepts[8].display_name	Control (management)
concepts[9].id	https://openalex.org/C47446073
concepts[9].level	3
concepts[9].score	0.3935334086418152
concepts[9].wikidata	https://www.wikidata.org/wiki/Q5165890
concepts[9].display_name	Control theory (sociology)
concepts[10].id	https://openalex.org/C33923547
concepts[10].level	0
concepts[10].score	0.37074029445648193
concepts[10].wikidata	https://www.wikidata.org/wiki/Q395
concepts[10].display_name	Mathematics
concepts[11].id	https://openalex.org/C11413529
concepts[11].level	1
concepts[11].score	0.2323327362537384
concepts[11].wikidata	https://www.wikidata.org/wiki/Q8366
concepts[11].display_name	Algorithm
concepts[12].id	https://openalex.org/C154945302
concepts[12].level	1
concepts[12].score	0.12197762727737427
concepts[12].wikidata	https://www.wikidata.org/wiki/Q11660
concepts[12].display_name	Artificial intelligence
concepts[13].id	https://openalex.org/C202444582
concepts[13].level	1
concepts[13].score	0.08573418855667114
concepts[13].wikidata	https://www.wikidata.org/wiki/Q837863
concepts[13].display_name	Pure mathematics
concepts[14].id	https://openalex.org/C111919701
concepts[14].level	1
concepts[14].score	0.0
concepts[14].wikidata	https://www.wikidata.org/wiki/Q9135
concepts[14].display_name	Operating system
concepts[15].id	https://openalex.org/C37914503
concepts[15].level	1
concepts[15].score	0.0
concepts[15].wikidata	https://www.wikidata.org/wiki/Q156495
concepts[15].display_name	Mathematical physics
concepts[16].id	https://openalex.org/C134306372
concepts[16].level	1
concepts[16].score	0.0
concepts[16].wikidata	https://www.wikidata.org/wiki/Q7754
concepts[16].display_name	Mathematical analysis
keywords[0].id	https://openalex.org/keywords/modular-design
keywords[0].score	0.717739462852478
keywords[0].display_name	Modular design
keywords[1].id	https://openalex.org/keywords/separable-space
keywords[1].score	0.681890606880188
keywords[1].display_name	Separable space
keywords[2].id	https://openalex.org/keywords/curse-of-dimensionality
keywords[2].score	0.6603187322616577
keywords[2].display_name	Curse of dimensionality
keywords[3].id	https://openalex.org/keywords/invariant
keywords[3].score	0.6311872005462646
keywords[3].display_name	Invariant (physics)
keywords[4].id	https://openalex.org/keywords/mathematical-optimization
keywords[4].score	0.5568905472755432
keywords[4].display_name	Mathematical optimization
keywords[5].id	https://openalex.org/keywords/dimension
keywords[5].score	0.5423570275306702
keywords[5].display_name	Dimension (graph theory)
keywords[6].id	https://openalex.org/keywords/computer-science
keywords[6].score	0.4991133213043213
keywords[6].display_name	Computer science
keywords[7].id	https://openalex.org/keywords/state
keywords[7].score	0.4144863486289978
keywords[7].display_name	State (computer science)
keywords[8].id	https://openalex.org/keywords/control
keywords[8].score	0.4036022126674652
keywords[8].display_name	Control (management)
keywords[9].id	https://openalex.org/keywords/control-theory
keywords[9].score	0.3935334086418152
keywords[9].display_name	Control theory (sociology)
keywords[10].id	https://openalex.org/keywords/mathematics
keywords[10].score	0.37074029445648193
keywords[10].display_name	Mathematics
keywords[11].id	https://openalex.org/keywords/algorithm
keywords[11].score	0.2323327362537384
keywords[11].display_name	Algorithm
keywords[12].id	https://openalex.org/keywords/artificial-intelligence
keywords[12].score	0.12197762727737427
keywords[12].display_name	Artificial intelligence
keywords[13].id	https://openalex.org/keywords/pure-mathematics
keywords[13].score	0.08573418855667114
keywords[13].display_name	Pure mathematics
language	en
locations[0].id	pmh:oai:arXiv.org:1510.02990
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/1510.02990
locations[0].version	submittedVersion
locations[0].raw_type	text
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/1510.02990
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	True
has_content.grobid_xml	True
is_paratext	False
open_access.is_oa	True
open_access.oa_url	https://arxiv.org/pdf/1510.02990
open_access.oa_status	green
open_access.any_repository_has_fulltext	False
created_date	2025-10-10T00:00:00
display_name	Synthesis of separable controlled invariant sets for modular local\n control design
has_fulltext	True
is_retracted	False
updated_date	2025-11-06T03:46:38.306776
primary_topic.id	https://openalex.org/T10791
primary_topic.field.id	https://openalex.org/fields/22
primary_topic.field.display_name	Engineering
primary_topic.score	0.9391000270843506
primary_topic.domain.id	https://openalex.org/domains/3
primary_topic.domain.display_name	Physical Sciences
primary_topic.subfield.id	https://openalex.org/subfields/2207
primary_topic.subfield.display_name	Control and Systems Engineering
primary_topic.display_name	Advanced Control Systems Optimization
related_works	https://openalex.org/W4296209631, https://openalex.org/W2009525028, https://openalex.org/W4321064619, https://openalex.org/W2561617217, https://openalex.org/W2378076731, https://openalex.org/W4294811468, https://openalex.org/W4286888643, https://openalex.org/W2355801475, https://openalex.org/W3210795196, https://openalex.org/W408992594
cited_by_count	0
locations_count	1
best_oa_location.id	pmh:oai:arXiv.org:1510.02990
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/1510.02990
best_oa_location.version	submittedVersion
best_oa_location.raw_type	text
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/1510.02990
primary_location.id	pmh:oai:arXiv.org:1510.02990
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/1510.02990
primary_location.version	submittedVersion
primary_location.raw_type	text
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/1510.02990
publication_date	2015-10-10
publication_year	2015
referenced_works_count	0
abstract_inverted_index.a	28
abstract_inverted_index.As	27
abstract_inverted_index.We	76
abstract_inverted_index.by	11
abstract_inverted_index.in	33, 94
abstract_inverted_index.is	63
abstract_inverted_index.of	24, 80
abstract_inverted_index.on	65, 83
abstract_inverted_index.to	16, 22
abstract_inverted_index.we	14, 36, 88
abstract_inverted_index.Our	55
abstract_inverted_index.and	52
abstract_inverted_index.are	71
abstract_inverted_index.for	46, 60
abstract_inverted_index.one	86
abstract_inverted_index.our	81
abstract_inverted_index.the	7, 38, 78
abstract_inverted_index.Many	0
abstract_inverted_index.from	6
abstract_inverted_index.more	25
abstract_inverted_index.seek	15
abstract_inverted_index.sets	45
abstract_inverted_index.step	29
abstract_inverted_index.this	12, 31, 34
abstract_inverted_index.with	50
abstract_inverted_index.based	64
abstract_inverted_index.goal,	32
abstract_inverted_index.input	53
abstract_inverted_index.local	90
abstract_inverted_index.paper	35
abstract_inverted_index.slack	74
abstract_inverted_index.solve	89
abstract_inverted_index.state	51
abstract_inverted_index.using	73
abstract_inverted_index.where	87
abstract_inverted_index.which	70
abstract_inverted_index.linear	48, 67
abstract_inverted_index.matrix	68
abstract_inverted_index.method	82
abstract_inverted_index.reduce	17
abstract_inverted_index.suffer	5
abstract_inverted_index.control	2, 19, 91
abstract_inverted_index.methods	4
abstract_inverted_index.problem	21
abstract_inverted_index.several	84
abstract_inverted_index.towards	30
abstract_inverted_index.consider	37
abstract_inverted_index.obtained	72
abstract_inverted_index.problems	93
abstract_inverted_index.robustly	42
abstract_inverted_index.Motivated	10
abstract_inverted_index.approach,	56
abstract_inverted_index.curse\nof	8
abstract_inverted_index.decoupled	41, 61
abstract_inverted_index.invariant	44
abstract_inverted_index.manner.\n	96
abstract_inverted_index.synthesis	3, 20, 92
abstract_inverted_index.challenge,	13
abstract_inverted_index.conditions	59
abstract_inverted_index.controlled	43
abstract_inverted_index.illustrate	77
abstract_inverted_index.subsystems	49
abstract_inverted_index.sufficient	58
abstract_inverted_index.invariance,	62
abstract_inverted_index.problem\nof	39
abstract_inverted_index.subproblems	23
abstract_inverted_index.constraints.	54
abstract_inverted_index.inequalities	69
abstract_inverted_index.synthesizing	40
abstract_inverted_index.which\ngives	57
abstract_inverted_index.applicability	79
abstract_inverted_index.dimensionality.	9
abstract_inverted_index.a\ncompositional	95
abstract_inverted_index.modest\ndimension.	26
abstract_inverted_index.optimization\nover	66
abstract_inverted_index.dynamically\ncoupled	47
abstract_inverted_index.examples,\nincluding	85
abstract_inverted_index.variable\nidentities.	75
abstract_inverted_index.correct-by-construction	1
abstract_inverted_index.a\ncorrect-by-construction	18
cited_by_percentile_year
countries_distinct_count	0
institutions_distinct_count	2
sustainable_development_goals[0].id	https://metadata.un.org/sdg/11
sustainable_development_goals[0].score	0.6000000238418579
sustainable_development_goals[0].display_name	Sustainable cities and communities
citation_normalized_percentile.value	0.46737985
citation_normalized_percentile.is_in_top_1_percent	False
citation_normalized_percentile.is_in_top_10_percent	False