{"id":"https://openalex.org/W4407949559","doi":"https://doi.org/10.1109/cdc56724.2024.10886505","title":"Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function","display_name":"Estimation of Constraint Admissible Invariant Set with Neural Lyapunov Function","publication_year":2024,"publication_date":"2024-12-16","ids":{"openalex":"https://openalex.org/W4407949559","doi":"https://doi.org/10.1109/cdc56724.2024.10886505"},"language":"en","primary_location":{"id":"doi:10.1109/cdc56724.2024.10886505","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100689147","display_name":"Dabin Kim","orcid":"https://orcid.org/0000-0001-5368-9946"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Dabin Kim","raw_affiliation_strings":["Seoul National University,Department of Aerospace Engineering,Seoul,South Korea,08826"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University,Department of Aerospace Engineering,Seoul,South Korea,08826","institution_ids":["https://openalex.org/I139264467"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5073996122","display_name":"H. Jin Kim","orcid":"https://orcid.org/0000-0002-6819-1136"},"institutions":[{"id":"https://openalex.org/I139264467","display_name":"Seoul National University","ror":"https://ror.org/04h9pn542","country_code":"KR","type":"education","lineage":["https://openalex.org/I139264467"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"H. Jin Kim","raw_affiliation_strings":["Seoul National University,Department of Aerospace Engineering,Seoul,South Korea,08826"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Seoul National University,Department of Aerospace Engineering,Seoul,South Korea,08826","institution_ids":["https://openalex.org/I139264467"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I139264467"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"5032","last_page":"5039"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9817000031471252,"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"}},"topics":[{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.9817000031471252,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.6321666240692139},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.5453897714614868},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5419360995292664},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.44594940543174744},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.4410881996154785},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.41018813848495483},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.39476341009140015},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3613055646419525},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.3559882640838623},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.35303428769111633},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.08218085765838623},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.07025587558746338}],"concepts":[{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.6321666240692139},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5453897714614868},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5419360995292664},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.44594940543174744},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.4410881996154785},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.41018813848495483},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.39476341009140015},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3613055646419525},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3559882640838623},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35303428769111633},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.08218085765838623},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.07025587558746338},{"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc56724.2024.10886505","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc56724.2024.10886505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2024 IEEE 63rd Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W241118364","https://openalex.org/W1544738626","https://openalex.org/W1990970199","https://openalex.org/W2036216368","https://openalex.org/W2071814733","https://openalex.org/W2115520718","https://openalex.org/W2291537719","https://openalex.org/W2920846412","https://openalex.org/W2963114352","https://openalex.org/W3155291786","https://openalex.org/W3205832376","https://openalex.org/W4382935691","https://openalex.org/W4389609965","https://openalex.org/W4390204405","https://openalex.org/W4390591081","https://openalex.org/W4402510237","https://openalex.org/W6767277667","https://openalex.org/W6797726607","https://openalex.org/W6852545735","https://openalex.org/W6868909234"],"related_works":["https://openalex.org/W2807251790","https://openalex.org/W2799406489","https://openalex.org/W2391251536","https://openalex.org/W2362198218","https://openalex.org/W2049792449","https://openalex.org/W2019521278","https://openalex.org/W1984922432","https://openalex.org/W2375008505","https://openalex.org/W1982750869","https://openalex.org/W2349580982"],"abstract_inverted_index":{"Constraint":[0],"admissible":[1],"positively":[2],"invariant":[3,103],"(CAPI)":[4],"sets":[5,38],"play":[6],"a":[7,58,62,71,127,161,174,191],"pivotal":[8],"role":[9],"in":[10,13,83,155,213],"ensuring":[11],"safety":[12],"control":[14,69,157],"and":[15,28,70,218],"planning":[16],"applications,":[17],"such":[18],"as":[19],"the":[20,55,106,114,117,131,139,145,166,170,196,207,214],"recursive":[21],"feasibility":[22],"guarantee":[23],"of":[24,74,116,119],"explicit":[25,215],"reference":[26,67,137,216],"governor":[27,217],"model":[29],"predictive":[30],"control.":[31,224],"However,":[32],"existing":[33],"methods":[34,85],"for":[35,39,57,65,135,201,222],"finding":[36],"CAPI":[37,63,133,171,193,209],"nonlinear":[40],"systems":[41],"are":[42],"often":[43],"limited":[44],"to":[45,60,86,100,129,152,164,185],"single":[46],"equilibria":[47],"or":[48],"specific":[49],"system":[50],"dynamics.":[51],"This":[52],"limitation":[53],"underscores":[54],"necessity":[56],"method":[59,212],"construct":[61],"set":[64,104,134,172,194,210],"general":[66],"tracking":[68],"broader":[72],"range":[73],"systems.":[75],"In":[76],"this":[77],"work,":[78],"we":[79,159],"leverage":[80],"recent":[81],"advancements":[82],"learning-based":[84,162],"derive":[87],"Lyapunov":[88,109,141,199],"functions,":[89],"particularly":[90],"focusing":[91],"on":[92,113],"those":[93],"with":[94,105,121,138,182,195],"piecewise-affine":[95,107],"activation":[96],"functions.":[97],"Previous":[98],"attempts":[99],"find":[101],"an":[102],"neural":[108,140,198],"function":[110,142],"have":[111],"focused":[112],"estimation":[115,211],"region":[118],"attraction":[120],"mixed":[122],"integer":[123],"programs.":[124,150],"We":[125,204],"propose":[126],"methodology":[128],"determine":[130],"maximal":[132],"any":[136,202],"by":[143],"transforming":[144],"problem":[146],"into":[147],"multiple":[148,183],"linear":[149],"Additionally,":[151],"enhance":[153],"applicability":[154],"real-time":[156],"scenarios,":[158],"introduce":[160],"approach":[163,179],"train":[165],"estimator,":[167],"which":[168],"infers":[169],"from":[173],"given":[175,197],"reference.":[176,203],"The":[177],"proposed":[178,208],"is":[180],"validated":[181],"simulations":[184],"show":[186],"that":[187],"it":[188],"can":[189],"generate":[190],"valid":[192],"functions":[200],"also":[205],"employ":[206],"demonstrate":[219],"its":[220],"effectiveness":[221],"constrained":[223]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}