{"id":"https://openalex.org/W7155074061","doi":"https://doi.org/10.1109/icara69401.2026.11480346","title":"Validation of Neural Network-Based Controllers in Closed Loop Systems with UPPAAL SMC","display_name":"Validation of Neural Network-Based Controllers in Closed Loop Systems with UPPAAL SMC","publication_year":2026,"publication_date":"2026-02-05","ids":{"openalex":"https://openalex.org/W7155074061","doi":"https://doi.org/10.1109/icara69401.2026.11480346"},"language":"en","primary_location":{"id":"doi:10.1109/icara69401.2026.11480346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icara69401.2026.11480346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 12th International Conference on Automation, Robotics and Applications (ICARA)","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/A5065265267","display_name":"Cinzia Bernardeschi","orcid":"https://orcid.org/0000-0003-1604-4465"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cinzia Bernardeschi","raw_affiliation_strings":["University of Pisa,Department of Information Engineering,Pisa,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pisa,Department of Information Engineering,Pisa,Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080905811","display_name":"Marco Cococcioni","orcid":"https://orcid.org/0000-0002-7020-1524"},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Marco Cococcioni","raw_affiliation_strings":["University of Pisa,Department of Information Engineering,Pisa,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pisa,Department of Information Engineering,Pisa,Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5120013780","display_name":"Dario Pagani","orcid":null},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Dario Pagani","raw_affiliation_strings":["University of Pisa,Department of Information Engineering,Pisa,Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Pisa,Department of Information Engineering,Pisa,Italy","institution_ids":["https://openalex.org/I108290504"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I108290504"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.35724466,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"494","last_page":"498"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11081","display_name":"Advanced Control Systems Design","score":0.1023000031709671,"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/T11081","display_name":"Advanced Control Systems Design","score":0.1023000031709671,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.09690000116825104,"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/T10040","display_name":"Adaptive Control of Nonlinear Systems","score":0.04340000078082085,"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/control-theory","display_name":"Control theory (sociology)","score":0.6237999796867371},{"id":"https://openalex.org/keywords/closed-loop","display_name":"Closed loop","score":0.6223000288009644},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.39079999923706055},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3366999924182892},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.30309998989105225}],"concepts":[{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.6237999796867371},{"id":"https://openalex.org/C3019251811","wikidata":"https://www.wikidata.org/wiki/Q5135346","display_name":"Closed loop","level":2,"score":0.6223000288009644},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5849999785423279},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.4302999973297119},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.39079999923706055},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3366999924182892},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.30309998989105225},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.29829999804496765},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.2919999957084656},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.2476000040769577}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/icara69401.2026.11480346","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icara69401.2026.11480346","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2026 12th International Conference on Automation, Robotics and Applications (ICARA)","raw_type":"proceedings-article"},{"id":"pmh:oai:arpi.unipi.it:11568/1357727","is_oa":false,"landing_page_url":"https://hdl.handle.net/11568/1357727","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W1631091010","https://openalex.org/W1962072139","https://openalex.org/W2118553088","https://openalex.org/W2553561438","https://openalex.org/W2594877703","https://openalex.org/W2963054787","https://openalex.org/W2970900401","https://openalex.org/W3198517808","https://openalex.org/W3200288111","https://openalex.org/W4242741415","https://openalex.org/W4280581922","https://openalex.org/W4379177005","https://openalex.org/W4390732569","https://openalex.org/W4399032596","https://openalex.org/W4402185278","https://openalex.org/W4407749976"],"related_works":[],"abstract_inverted_index":{"The":[0,76],"analysis":[1],"of":[2,59,68,91],"a":[3,8,61,66,80,89],"neural":[4,36],"network":[5,90],"controller":[6,26],"in":[7,15],"closed":[9,62],"loop":[10,63],"system":[11,64],"is":[12],"fundamental,":[13],"especially":[14],"safety-critical":[16],"domains":[17],"such":[18,60],"as":[19],"autonomous":[20],"transportation":[21],"and":[22,46],"industrial":[23],"automation,":[24],"where":[25],"reliability":[27],"directly":[28],"impacts":[29],"operational":[30],"safety.":[31],"For":[32],"controllers":[33],"implemented":[34],"via":[35],"networks,":[37],"traditional":[38],"control":[39],"theory":[40],"fails":[41],"to":[42,54],"accommodate":[43],"theirs":[44],"complex":[45],"black-box":[47],"nature.":[48],"This":[49],"paper":[50],"introduces":[51],"an":[52],"approach":[53,78],"statistically":[55],"validate":[56],"the":[57],"behavior":[58],"under":[65],"variety":[67],"operation":[69],"scenarios":[70],"based":[71],"on":[72,85],"statistical":[73],"model":[74],"checking.":[75],"proposed":[77],"establishes":[79],"Python-UPPAAL":[81],"interface,":[82],"enabling":[83],"inference":[84],"PyTorch":[86],"models":[87],"from":[88],"stochastic":[92],"timed":[93],"automata.":[94]},"counts_by_year":[],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2026-04-22T00:00:00"}