{"id":"https://openalex.org/W7123343122","doi":"https://doi.org/10.1109/cdc57313.2025.11312836","title":"Integral Concurrent Learning Control Barrier Functions for Signal Temporal Logic Tasks under Unknown Dynamics","display_name":"Integral Concurrent Learning Control Barrier Functions for Signal Temporal Logic Tasks under Unknown Dynamics","publication_year":2025,"publication_date":"2025-12-09","ids":{"openalex":"https://openalex.org/W7123343122","doi":"https://doi.org/10.1109/cdc57313.2025.11312836"},"language":null,"primary_location":{"id":"doi:10.1109/cdc57313.2025.11312836","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312836","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/A5122872321","display_name":"Shubham Sanjeev Kolhe","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Shubham Sanjeev Kolhe","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069650953","display_name":"Omkar Sudhir Patil","orcid":"https://orcid.org/0000-0002-3820-2025"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Omkar Sudhir Patil","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032651215","display_name":"Warren E. Dixon","orcid":"https://orcid.org/0000-0002-5091-181X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Warren E. Dixon","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101713884","display_name":"Jie Fu","orcid":"https://orcid.org/0000-0002-4346-4628"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jie Fu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1688","last_page":"1695"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.2816999852657318,"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"}},"topics":[{"id":"https://openalex.org/T10791","display_name":"Advanced Control Systems Optimization","score":0.2816999852657318,"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"}},{"id":"https://openalex.org/T11749","display_name":"Iterative Learning Control Systems","score":0.20280000567436218,"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"}},{"id":"https://openalex.org/T11236","display_name":"Control Systems and Identification","score":0.08820000290870667,"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/temporal-logic","display_name":"Temporal logic","score":0.5498999953269958},{"id":"https://openalex.org/keywords/dynamics","display_name":"Dynamics (music)","score":0.5270000100135803},{"id":"https://openalex.org/keywords/signal","display_name":"SIGNAL (programming language)","score":0.505299985408783},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4690999984741211},{"id":"https://openalex.org/keywords/control-logic","display_name":"Control logic","score":0.382099986076355},{"id":"https://openalex.org/keywords/system-dynamics","display_name":"System dynamics","score":0.35830000042915344},{"id":"https://openalex.org/keywords/control-signal","display_name":"Control signal","score":0.33820000290870667}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7802000045776367},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.5498999953269958},{"id":"https://openalex.org/C145912823","wikidata":"https://www.wikidata.org/wiki/Q113558","display_name":"Dynamics (music)","level":2,"score":0.5270000100135803},{"id":"https://openalex.org/C2779843651","wikidata":"https://www.wikidata.org/wiki/Q7390335","display_name":"SIGNAL (programming language)","level":2,"score":0.505299985408783},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4690999984741211},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.43149998784065247},{"id":"https://openalex.org/C2776350369","wikidata":"https://www.wikidata.org/wiki/Q843479","display_name":"Control logic","level":2,"score":0.382099986076355},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.365200012922287},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.35830000042915344},{"id":"https://openalex.org/C3018134525","wikidata":"https://www.wikidata.org/wiki/Q2501541","display_name":"Control signal","level":3,"score":0.33820000290870667},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.3255999982357025},{"id":"https://openalex.org/C104267543","wikidata":"https://www.wikidata.org/wiki/Q208163","display_name":"Signal processing","level":3,"score":0.31459999084472656},{"id":"https://openalex.org/C107464732","wikidata":"https://www.wikidata.org/wiki/Q235781","display_name":"Adaptive control","level":3,"score":0.31299999356269836},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.31209999322891235},{"id":"https://openalex.org/C4777664","wikidata":"https://www.wikidata.org/wiki/Q1536492","display_name":"Linear temporal logic","level":2,"score":0.3091999888420105},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3046000003814697},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.28360000252723694},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C78382760","wikidata":"https://www.wikidata.org/wiki/Q2288649","display_name":"Concurrent engineering","level":3,"score":0.26330000162124634}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/cdc57313.2025.11312836","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc57313.2025.11312836","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":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320316514","display_name":"Arm","ror":"https://ror.org/04mmhzs81"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Recent":[0],"works":[1],"have":[2],"developed":[3,93],"time-varying":[4],"control":[5],"barrier":[6],"functions":[7],"(TVCBFs)":[8],"to":[9,97],"generate":[10],"optimization-based":[11,85],"controllers":[12],"that":[13],"can":[14],"perform":[15,35,98],"complex":[16],"signal":[17],"temporal":[18],"logic":[19],"(STL)":[20],"tasks.":[21],"However,":[22],"the":[23,66,92,102],"existing":[24],"TVCBF":[25],"formulations":[26],"typically":[27],"assume":[28],"system":[29,60],"model":[30],"knowledge":[31],"and":[32],"may":[33],"not":[34],"effectively":[36],"under":[37,58],"modeling":[38],"errors":[39],"and/or":[40],"changing":[41],"environments.":[42],"In":[43],"this":[44],"paper,":[45],"we":[46],"develop":[47],"an":[48,84],"integral":[49],"concurrent":[50],"learning":[51],"(ICL)-based":[52],"approach":[53],"for":[54,83],"performing":[55],"STL":[56,99],"tasks":[57,100],"unknown":[59,103],"dynamics":[61],"using":[62],"TVCBFs.":[63],"By":[64],"leveraging":[65],"adaptive":[67],"parameter":[68],"estimation":[69],"capabilities":[70],"of":[71],"ICL":[72],"with":[73],"a":[74],"finite-time":[75],"excitation":[76],"condition,":[77],"new":[78],"TVCBF-based":[79],"constraints":[80],"are":[81,89],"formulated":[82],"controller.":[86],"Simulation":[87],"results":[88],"provided":[90],"where":[91],"method":[94],"is":[95],"shown":[96],"despite":[101],"dynamics.":[104]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2026-01-14T00:00:00"}