{"id":"https://openalex.org/W4414360702","doi":"https://doi.org/10.24963/ijcai.2025/35","title":"Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates","display_name":"Formal Synthesis of Safe Kolmogorov-Arnold Network Controllers with Barrier Certificates","publication_year":2025,"publication_date":"2025-09-01","ids":{"openalex":"https://openalex.org/W4414360702","doi":"https://doi.org/10.24963/ijcai.2025/35"},"language":"en","primary_location":{"id":"doi:10.24963/ijcai.2025/35","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/35","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","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":null,"display_name":"Xiongqi Zhang","orcid":null},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiongqi Zhang","raw_affiliation_strings":["Zhejiang Sci-Tech University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang Sci-Tech University","institution_ids":["https://openalex.org/I1328775524"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100743212","display_name":"Ning L\u00fc","orcid":"https://orcid.org/0000-0003-3992-0376"},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Ning Lv","raw_affiliation_strings":["Zhejiang Sci-Tech University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang Sci-Tech University","institution_ids":["https://openalex.org/I1328775524"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100403226","display_name":"Lin Wang","orcid":"https://orcid.org/0000-0003-1026-0060"},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Wang Lin","raw_affiliation_strings":["Zhejiang Sci-Tech University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang Sci-Tech University","institution_ids":["https://openalex.org/I1328775524"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077615805","display_name":"Zuohua Ding","orcid":"https://orcid.org/0000-0002-9671-7836"},"institutions":[{"id":"https://openalex.org/I1328775524","display_name":"Zhejiang Sci-Tech University","ror":"https://ror.org/03893we55","country_code":"CN","type":"education","lineage":["https://openalex.org/I1328775524"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zuohua Ding","raw_affiliation_strings":["Zhejiang Sci-Tech University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Zhejiang Sci-Tech University","institution_ids":["https://openalex.org/I1328775524"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I1328775524"],"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":"302","last_page":"310"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9545999765396118,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9545999765396118,"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/T12216","display_name":"Network Time Synchronization Technologies","score":0.946399986743927,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T13935","display_name":"Mathematical Control Systems and Analysis","score":0.9276999831199646,"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/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.7335000038146973},{"id":"https://openalex.org/keywords/pruning","display_name":"Pruning","score":0.6053000092506409},{"id":"https://openalex.org/keywords/certificate","display_name":"Certificate","score":0.5386000275611877},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5304999947547913},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.5235000252723694},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4925999939441681},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.48539999127388},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.46070000529289246}],"concepts":[{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.7335000038146973},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6687999963760376},{"id":"https://openalex.org/C108010975","wikidata":"https://www.wikidata.org/wiki/Q500094","display_name":"Pruning","level":2,"score":0.6053000092506409},{"id":"https://openalex.org/C96865113","wikidata":"https://www.wikidata.org/wiki/Q2946816","display_name":"Certificate","level":2,"score":0.5386000275611877},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5304999947547913},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5235000252723694},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4925999939441681},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.48539999127388},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.46070000529289246},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.42559999227523804},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.38260000944137573},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.364300012588501},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.31200000643730164},{"id":"https://openalex.org/C93636275","wikidata":"https://www.wikidata.org/wiki/Q196776","display_name":"Certificate authority","level":4,"score":0.30820000171661377},{"id":"https://openalex.org/C2776401178","wikidata":"https://www.wikidata.org/wiki/Q12050496","display_name":"Feature (linguistics)","level":2,"score":0.2800999879837036},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.2793999910354614},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.2696000039577484},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.2667999863624573},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.26339998841285706},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.2590999901294708}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/ijcai.2025/35","is_oa":false,"landing_page_url":"https://doi.org/10.24963/ijcai.2025/35","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence","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":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Control":[0],"barrier":[1,27,56,76,121],"certificate":[2],"generation":[3],"is":[4],"an":[5],"efficient":[6,112],"and":[7,29,58,78,98,123,134,157],"powerful":[8],"technique":[9],"for":[10,53,110],"the":[11,38,72,90,96,106,116,131,151],"safe":[12,30],"control":[13,26,55,75,120],"of":[14,74,101,115,141,153],"cyber-physical":[15],"systems.":[16,44],"Feed-forward":[17],"neural":[18],"networks":[19],"(FNNs)":[20],"are":[21],"commonly":[22],"used":[23],"to":[24,35,68],"synthesize":[25],"certificates":[28,57,77,122],"controllers,":[31],"but":[32],"they":[33],"struggle":[34],"effectively":[36],"address":[37],"challenges":[39],"posed":[40],"by":[41],"high-dimensional":[42],"complex":[43],"In":[45],"this":[46],"paper,":[47],"we":[48],"propose":[49],"a":[50,139],"novel":[51],"method":[52,149],"generating":[54],"controllers":[59,124],"using":[60,125],"Kolmogorov-Arnold":[61],"Networks":[62],"(KANs).":[63],"Specifically,":[64],"it":[65,86,94],"utilizes":[66],"KANs":[67],"replace":[69],"FNNs":[70],"as":[71],"template":[73],"contrllers.":[79],"Since":[80],"KAN":[81,119],"has":[82],"learnable":[83],"activation":[84],"functions,":[85],"can":[87],"efficiently":[88],"improve":[89],"representation":[91],"power.":[92],"Then,":[93],"leverages":[95],"pruning":[97],"symbolization":[99],"properties":[100],"KANs,":[102],"which":[103],"significantly":[104],"simplify":[105],"network":[107],"structure,":[108],"allowing":[109],"more":[111],"formal":[113],"verification":[114],"simplified":[117],"candidate":[118],"Satisfiability":[126],"Modulo":[127],"Theories.":[128],"We":[129],"implement":[130],"tool":[132],"KAN4CBC,":[133],"evaluate":[135],"its":[136],"performance":[137],"over":[138],"set":[140],"benchmarks.":[142],"The":[143],"experimental":[144],"results":[145],"demonstrate":[146],"that":[147],"our":[148],"addresses":[150],"issues":[152],"system":[154],"dimension":[155],"expansion":[156],"improved":[158],"solution":[159],"efficiency.":[160]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}