{"id":"https://openalex.org/W3176601913","doi":"https://doi.org/10.1109/lcsys.2021.3076972","title":"Towards a Constructive Framework for Control Theory","display_name":"Towards a Constructive Framework for Control Theory","publication_year":2021,"publication_date":"2021-04-30","ids":{"openalex":"https://openalex.org/W3176601913","doi":"https://doi.org/10.1109/lcsys.2021.3076972","mag":"3176601913"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2021.3076972","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2021.3076972","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Control Systems Letters","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2501.02267","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065280230","display_name":"Pavel Osinenko","orcid":"https://orcid.org/0000-0002-6184-3293"},"institutions":[{"id":"https://openalex.org/I125989756","display_name":"Skolkovo Institute of Science and Technology","ror":"https://ror.org/03f9nc143","country_code":"RU","type":"education","lineage":["https://openalex.org/I125989756"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Pavel Osinenko","raw_affiliation_strings":["Computational and Data Science and Engineering Center, Skolkovo Institute of Science and Technology, Moscow, Russia"],"raw_orcid":"https://orcid.org/0000-0002-6184-3293","affiliations":[{"raw_affiliation_string":"Computational and Data Science and Engineering Center, Skolkovo Institute of Science and Technology, Moscow, Russia","institution_ids":["https://openalex.org/I125989756"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5065280230"],"corresponding_institution_ids":["https://openalex.org/I125989756"],"apc_list":null,"apc_paid":null,"fwci":0.2641,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.58231166,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"6","issue":null,"first_page":"379","last_page":"384"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9957000017166138,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9478999972343445,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10622","display_name":"Quantum Mechanics and Applications","score":0.9243000149726868,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/constructive","display_name":"Constructive","score":0.8229881525039673},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6706206798553467},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6137577891349792},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5314698815345764},{"id":"https://openalex.org/keywords/constructive-proof","display_name":"Constructive proof","score":0.5220922231674194},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5107440948486328},{"id":"https://openalex.org/keywords/robust-control","display_name":"Robust control","score":0.49508658051490784},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.48203718662261963},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.44732093811035156},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.40424880385398865},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3998640477657318},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.39314860105514526},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3668670356273651},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.32583072781562805},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.29153937101364136},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.20469984412193298},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1546327769756317},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.10028892755508423},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.0915936827659607},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08790525794029236}],"concepts":[{"id":"https://openalex.org/C2778701210","wikidata":"https://www.wikidata.org/wiki/Q28130034","display_name":"Constructive","level":3,"score":0.8229881525039673},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6706206798553467},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6137577891349792},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5314698815345764},{"id":"https://openalex.org/C202854965","wikidata":"https://www.wikidata.org/wiki/Q3044470","display_name":"Constructive proof","level":2,"score":0.5220922231674194},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5107440948486328},{"id":"https://openalex.org/C31531917","wikidata":"https://www.wikidata.org/wiki/Q915157","display_name":"Robust control","level":3,"score":0.49508658051490784},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.48203718662261963},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.44732093811035156},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.40424880385398865},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3998640477657318},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.39314860105514526},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3668670356273651},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.32583072781562805},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.29153937101364136},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.20469984412193298},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1546327769756317},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.10028892755508423},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.0915936827659607},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08790525794029236},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2021.3076972","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2021.3076972","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Control Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2501.02267","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.02267","pdf_url":"https://arxiv.org/pdf/2501.02267","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2501.02267","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2501.02267","pdf_url":"https://arxiv.org/pdf/2501.02267","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":59,"referenced_works":["https://openalex.org/W926519","https://openalex.org/W584400962","https://openalex.org/W610320434","https://openalex.org/W1509579779","https://openalex.org/W1514218977","https://openalex.org/W1518290936","https://openalex.org/W1519176587","https://openalex.org/W1529034024","https://openalex.org/W1588775865","https://openalex.org/W2009925175","https://openalex.org/W2011286068","https://openalex.org/W2020998673","https://openalex.org/W2083461964","https://openalex.org/W2086157527","https://openalex.org/W2115520718","https://openalex.org/W2131919998","https://openalex.org/W2147929694","https://openalex.org/W2154062528","https://openalex.org/W2156982271","https://openalex.org/W2508178598","https://openalex.org/W2509340638","https://openalex.org/W2586197373","https://openalex.org/W2594675090","https://openalex.org/W2607292863","https://openalex.org/W2745776412","https://openalex.org/W2766655830","https://openalex.org/W2768544882","https://openalex.org/W2775956080","https://openalex.org/W2792376844","https://openalex.org/W2794609773","https://openalex.org/W2798718690","https://openalex.org/W2807678128","https://openalex.org/W2883740135","https://openalex.org/W2884020239","https://openalex.org/W2917848704","https://openalex.org/W2962017367","https://openalex.org/W2967340029","https://openalex.org/W2972524765","https://openalex.org/W3012155579","https://openalex.org/W3016130471","https://openalex.org/W3045875028","https://openalex.org/W3088687403","https://openalex.org/W3091489580","https://openalex.org/W3093577856","https://openalex.org/W3099834439","https://openalex.org/W3105560263","https://openalex.org/W3127758039","https://openalex.org/W3145752227","https://openalex.org/W4239316923","https://openalex.org/W4245376853","https://openalex.org/W4285719527","https://openalex.org/W4301420196","https://openalex.org/W6635228851","https://openalex.org/W6749511211","https://openalex.org/W6768030517","https://openalex.org/W6773061301","https://openalex.org/W6780953015","https://openalex.org/W6784707394","https://openalex.org/W6786009807"],"related_works":["https://openalex.org/W2954167023","https://openalex.org/W2064351239","https://openalex.org/W2114983089","https://openalex.org/W2949665548","https://openalex.org/W2950188642","https://openalex.org/W2028676759","https://openalex.org/W3102174417","https://openalex.org/W1589204344","https://openalex.org/W1968663039","https://openalex.org/W2257471395"],"abstract_inverted_index":{"This":[0],"work":[1],"presents":[2],"a":[3,23,95,161,190,221],"framework":[4,164],"for":[5,14,165,195],"control":[6,32,61,96,137,173],"theory":[7],"based":[8,175],"on":[9,176],"constructive":[10,177,206,223],"analysis":[11,169,178],"to":[12,27,76,84,118,189],"account":[13],"discrepancy":[15],"between":[16],"mathematical":[17,68],"results":[18],"and":[19,53,81,121,153,170,209],"their":[20],"implementation":[21,131],"in":[22,71,78,91,129,150,168,232],"computer,":[24],"also":[25],"referred":[26],"as":[28,50],"computational":[29,99,143,196],"uncertainty.":[30,197],"In":[31,124],"engineering,":[33],"the":[34,67,72,86,108,113,226],"latter":[35],"is":[36,134,160,203,230,235],"usually":[37],"either":[38],"neglected":[39],"or":[40,105],"considered":[41],"submerged":[42],"into":[43],"some":[44],"other":[45],"type":[46],"of":[47,112,132,172,200,225],"uncertainty,":[48],"such":[49],"system":[51,109,154,207],"noise,":[52],"addressed":[54,148],"within":[55],"robust":[56,60],"control.":[57],"However,":[58],"even":[59,106],"methods":[62],"may":[63,101],"be":[64,147,185],"compromised":[65],"when":[66],"objects":[69],"involved":[70],"respective":[73],"algorithms":[74],"fail":[75,83],"exist":[77],"exact":[79],"form":[80],"subsequently":[82],"satisfy":[85],"required":[87],"properties.":[88],"For":[89],"instance,":[90],"general":[92,163],"stabilization":[93,114],"using":[94],"Lyapunov":[97],"function,":[98],"uncertainty":[100,144],"distort":[102],"stability":[103,208],"certificates":[104],"destabilize":[107],"despite":[110],"robustness":[111],"routine":[115],"with":[116],"regards":[117],"system,":[119],"actuator":[120],"measurement":[122],"noise.":[123],"fact,":[125],"battling":[126],"numerical":[127],"problems":[128],"practical":[130],"controllers":[133],"common":[135],"among":[136],"engineers.":[138],"Such":[139],"observations":[140],"indicate":[141],"that":[142,182],"should":[145],"indeed":[146],"explicitly":[149,180],"controller":[151],"synthesis":[152,171],"analysis.":[155],"The":[156],"major":[157],"contribution":[158],"here":[159],"fairly":[162],"proof":[166],"techniques":[167],"systems":[174],"which":[179,229],"states":[181],"every":[183],"computation":[184],"doable":[186],"only":[187],"up":[188],"finite":[191],"precision":[192],"thus":[193],"accounting":[194],"A":[198],"series":[199],"previous":[201],"works":[202],"overviewed,":[204],"including":[205],"stabilization,":[210],"approximate":[211],"optimal":[212],"controls,":[213],"eigenvalue":[214],"problems,":[215],"Caratheodory":[216],"trajectories,":[217],"measurable":[218],"selectors.":[219],"Additionally,":[220],"new":[222],"version":[224],"Danskin's":[227],"theorem,":[228],"crucial":[231],"adversarial":[233],"defense,":[234],"presented.":[236]},"counts_by_year":[{"year":2023,"cited_by_count":2}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}