{"id":"https://openalex.org/W7123354863","doi":"https://doi.org/10.1109/cdc57313.2025.11312310","title":"Runtime Assurance with Stability Regulation <sup>\u2020</sup>","display_name":"Runtime Assurance with Stability Regulation <sup>\u2020</sup>","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123354863","doi":"https://doi.org/10.1109/cdc57313.2025.11312310"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312310","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312310","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th 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/A5022300726","display_name":"Deniz Kurtoglu","orcid":"https://orcid.org/0000-0002-1629-4846"},"institutions":[{"id":"https://openalex.org/I2613432","display_name":"University of South Florida","ror":"https://ror.org/032db5x82","country_code":"US","type":"education","lineage":["https://openalex.org/I2613432"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Deniz Kurtoglu","raw_affiliation_strings":["University of South Florida,Department of Mechanical Engineering and a Member of the Laboratory for Autonomy, Control, Information, and Systems,Tampa,United States of America,FL 33620"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of South Florida,Department of Mechanical Engineering and a Member of the Laboratory for Autonomy, Control, Information, and Systems,Tampa,United States of America,FL 33620","institution_ids":["https://openalex.org/I2613432"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004807234","display_name":"Tansel Yucelen","orcid":"https://orcid.org/0000-0003-1156-1877"},"institutions":[{"id":"https://openalex.org/I2613432","display_name":"University of South Florida","ror":"https://ror.org/032db5x82","country_code":"US","type":"education","lineage":["https://openalex.org/I2613432"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tansel Yucelen","raw_affiliation_strings":["University of South Florida,Department of Mechanical Engineering and the Director of the Laboratory for Autonomy, Control, Information and Systems,Tampa,United States of America,FL 33620"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of South Florida,Department of Mechanical Engineering and the Director of the Laboratory for Autonomy, Control, Information and Systems,Tampa,United States of America,FL 33620","institution_ids":["https://openalex.org/I2613432"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5078403360","display_name":"Dzung Tran","orcid":"https://orcid.org/0000-0002-9524-9540"},"institutions":[{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Dzung Tran","raw_affiliation_strings":["Air Force Research Laboratory, Control Science Center, Wright-Patterson Air Force Base,Ohio,United States of America,45433"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Air Force Research Laboratory, Control Science Center, Wright-Patterson Air Force Base,Ohio,United States of America,45433","institution_ids":["https://openalex.org/I2799950915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029454978","display_name":"David W. Casbeer","orcid":"https://orcid.org/0000-0002-7065-7337"},"institutions":[{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David W. Casbeer","raw_affiliation_strings":["Air Force Research Laboratory, Control Science Center, Wright-Patterson Air Force Base,Ohio,United States of America,45433"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Air Force Research Laboratory, Control Science Center, Wright-Patterson Air Force Base,Ohio,United States of America,45433","institution_ids":["https://openalex.org/I2799950915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5122843896","display_name":"Eloy Garcia","orcid":null},"institutions":[{"id":"https://openalex.org/I2799950915","display_name":"Wright-Patterson Air Force Base","ror":"https://ror.org/0097e1k27","country_code":"US","type":"other","lineage":["https://openalex.org/I1330347796","https://openalex.org/I2799950915","https://openalex.org/I4210089612","https://openalex.org/I4210102105"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Eloy Garcia","raw_affiliation_strings":["Air Force Research Laboratory, Control Science Center, Wright-Patterson Air Force Base,Ohio,United States of America,45433"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Air Force Research Laboratory, Control Science Center, Wright-Patterson Air Force Base,Ohio,United States of America,45433","institution_ids":["https://openalex.org/I2799950915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.64623388,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"4639","last_page":"4643"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.32499998807907104,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.32499998807907104,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.1290999948978424,"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/T10917","display_name":"Smart Grid Security and Resilience","score":0.12710000574588776,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.7391999959945679},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.635200023651123},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.6179999709129333},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5839999914169312},{"id":"https://openalex.org/keywords/exponential-stability","display_name":"Exponential stability","score":0.5666000247001648},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.47589999437332153},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.4659000039100647},{"id":"https://openalex.org/keywords/feature","display_name":"Feature (linguistics)","score":0.4544000029563904}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.7391999959945679},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.635200023651123},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.6179999709129333},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5839999914169312},{"id":"https://openalex.org/C167964875","wikidata":"https://www.wikidata.org/wiki/Q17011487","display_name":"Exponential stability","level":3,"score":0.5666000247001648},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5406000018119812},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.47589999437332153},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.4659000039100647},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.4544000029563904},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.4399000108242035},{"id":"https://openalex.org/C2776829284","wikidata":"https://www.wikidata.org/wiki/Q1341651","display_name":"Lyapunov stability","level":3,"score":0.4293999969959259},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.39899998903274536},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.3781999945640564},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3765000104904175},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.3043000102043152},{"id":"https://openalex.org/C33962884","wikidata":"https://www.wikidata.org/wiki/Q378637","display_name":"Dynamical system (definition)","level":3,"score":0.2838999927043915},{"id":"https://openalex.org/C13662910","wikidata":"https://www.wikidata.org/wiki/Q193139","display_name":"Trajectory","level":2,"score":0.2786000072956085},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.26989999413490295},{"id":"https://openalex.org/C176321772","wikidata":"https://www.wikidata.org/wiki/Q1430640","display_name":"Numerical stability","level":3,"score":0.26930001378059387},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.25029999017715454}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312310","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312310","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 IEEE 64th Conference on Decision and Control (CDC)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7846295833587646,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"This":[0],"paper":[1],"introduces":[2],"a":[3,33,45,59,70],"novel":[4],"runtime":[5,35],"assurance":[6,36],"approach":[7],"that":[8,73],"departs":[9],"from":[10,20],"existing":[11],"methods,":[12],"which":[13,44,93],"typically":[14],"monitor":[15],"system":[16,57,107],"trajectories":[17],"and":[18],"switch":[19],"complex":[21,46],"or":[22,47,104],"nondeterministic":[23,48],"control":[24,49,66],"laws":[25],"to":[26,53,69,116],"safe":[27,71],"ones":[28],"when":[29,58],"necessary.":[30],"In":[31],"particular,":[32],"general":[34],"with":[37],"stability":[38,61,91],"regulation":[39],"framework":[40,84],"is":[41,51,63,67,85],"proposed,":[42],"in":[43,88],"law":[50,72],"permitted":[52],"drive":[54],"the":[55,82,90,118,121],"dynamical":[56],"predefined":[60],"metric":[62],"satisfied;":[64],"otherwise,":[65],"transferred":[68],"inherently":[74],"guarantees":[75],"this":[76],"metric.":[77],"The":[78],"key":[79],"feature":[80],"of":[81,106,120],"proposed":[83,122],"its":[86],"flexibility":[87],"selecting":[89],"metric,":[92],"can":[94],"be":[95],"based":[96],"on":[97],"Lyapunov":[98],"stability,":[99,101,103],"asymptotic":[100],"exponential":[102],"boundedness":[105],"trajectories.":[108],"Two":[109],"illustrative":[110],"numerical":[111],"examples":[112],"are":[113],"further":[114],"provided":[115],"demonstrate":[117],"efficacy":[119],"framework.":[123]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-01-14T00:00:00"}