{"id":"https://openalex.org/W3046124661","doi":"https://doi.org/10.23919/acc45564.2020.9147564","title":"Towards nominal stability certification of deep learning-based controllers","display_name":"Towards nominal stability certification of deep learning-based controllers","publication_year":2020,"publication_date":"2020-07-01","ids":{"openalex":"https://openalex.org/W3046124661","doi":"https://doi.org/10.23919/acc45564.2020.9147564","mag":"3046124661"},"language":"en","primary_location":{"id":"doi:10.23919/acc45564.2020.9147564","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147564","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","raw_type":"proceedings-article"},"type":"article","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/A5107592594","display_name":"Hoang Hai Nguyen","orcid":"https://orcid.org/0000-0002-5576-7116"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Hoang Hai Nguyen","raw_affiliation_strings":["Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056206872","display_name":"Janine Matschek","orcid":"https://orcid.org/0000-0003-0998-1020"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Janine Matschek","raw_affiliation_strings":["Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030611813","display_name":"Tim Zieger","orcid":null},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tim Zieger","raw_affiliation_strings":["Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5030657612","display_name":"Anton Savchenko","orcid":"https://orcid.org/0000-0002-6684-2812"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Anton Savchenko","raw_affiliation_strings":["Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5032077951","display_name":"Navid Noroozi","orcid":"https://orcid.org/0000-0002-9399-9938"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Navid Noroozi","raw_affiliation_strings":["Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040485515","display_name":"Rolf Findeisen","orcid":"https://orcid.org/0000-0002-9112-5946"},"institutions":[{"id":"https://openalex.org/I95793202","display_name":"Otto-von-Guericke University Magdeburg","ror":"https://ror.org/00ggpsq73","country_code":"DE","type":"education","lineage":["https://openalex.org/I95793202"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Rolf Findeisen","raw_affiliation_strings":["Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany"],"affiliations":[{"raw_affiliation_string":"Laboratory for Systems Theory and Automatic Control, Otto-von-Guericke University, Magdeburg, Magdeburg, Germany","institution_ids":["https://openalex.org/I95793202"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5107592594"],"corresponding_institution_ids":["https://openalex.org/I95793202"],"apc_list":null,"apc_paid":null,"fwci":1.0298,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.76228406,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"3886","last_page":"3891"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10876","display_name":"Fault Detection and Control Systems","score":0.9998000264167786,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9998000264167786,"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.9993000030517578,"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.9965999722480774,"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/stability","display_name":"Stability (learning theory)","score":0.741187334060669},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.7113322019577026},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6915296912193298},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.6822436451911926},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5857274532318115},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5687330365180969},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.5168371796607971},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.507543683052063},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.49148499965667725},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4895976185798645},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.475776344537735},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.42082923650741577},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.41777291893959045},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.25845372676849365},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1726798415184021},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.10713666677474976}],"concepts":[{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.741187334060669},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.7113322019577026},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6915296912193298},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.6822436451911926},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5857274532318115},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5687330365180969},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.5168371796607971},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.507543683052063},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.49148499965667725},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4895976185798645},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.475776344537735},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.42082923650741577},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.41777291893959045},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.25845372676849365},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1726798415184021},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.10713666677474976},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.23919/acc45564.2020.9147564","is_oa":false,"landing_page_url":"https://doi.org/10.23919/acc45564.2020.9147564","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 American Control Conference (ACC)","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":39,"referenced_works":["https://openalex.org/W6908809","https://openalex.org/W81137451","https://openalex.org/W241118364","https://openalex.org/W1923344279","https://openalex.org/W1978956894","https://openalex.org/W1985813210","https://openalex.org/W2004175622","https://openalex.org/W2006859604","https://openalex.org/W2017493230","https://openalex.org/W2082248361","https://openalex.org/W2087884651","https://openalex.org/W2094120554","https://openalex.org/W2281096776","https://openalex.org/W2298163601","https://openalex.org/W2302808317","https://openalex.org/W2468321057","https://openalex.org/W2743365471","https://openalex.org/W2765311358","https://openalex.org/W2797333460","https://openalex.org/W2807706315","https://openalex.org/W2887532679","https://openalex.org/W2897661175","https://openalex.org/W2899168325","https://openalex.org/W2900995681","https://openalex.org/W2901618432","https://openalex.org/W2969049373","https://openalex.org/W3098713169","https://openalex.org/W3101479673","https://openalex.org/W4252760031","https://openalex.org/W4292078458","https://openalex.org/W4294555834","https://openalex.org/W6600284362","https://openalex.org/W6603433805","https://openalex.org/W6719477708","https://openalex.org/W6738483526","https://openalex.org/W6745802315","https://openalex.org/W6750257723","https://openalex.org/W6756098032","https://openalex.org/W6766636041"],"related_works":["https://openalex.org/W2066052364","https://openalex.org/W2023743128","https://openalex.org/W2224296908","https://openalex.org/W3109981693","https://openalex.org/W2381980429","https://openalex.org/W2384206113","https://openalex.org/W645983410","https://openalex.org/W2401692867","https://openalex.org/W2057053421","https://openalex.org/W2272054949"],"abstract_inverted_index":{"Certifying":[0],"or":[1],"enforcing":[2],"performance":[3],"and":[4],"stability":[5,24],"guarantees":[6],"for":[7,83],"controllers":[8],"based":[9,33],"on":[10,37],"deep":[11,31,49],"learning":[12,32],"is":[13,53,98],"challenging.":[14],"This":[15],"paper":[16],"aims":[17],"to":[18,21,65],"provide":[19,79],"conditions":[20],"verify":[22],"nominal":[23],"of":[25,41,85,88,122],"a":[26,30,38,58,73,117,123],"system":[27,97],"controlled":[28],"by":[29,116],"controller.":[34],"We":[35,78,100],"focus":[36],"special":[39],"form":[40],"neural":[42],"network":[43],"as":[44],"the":[45,76,86,93,110],"controller,":[46,60],"called":[47],"non-autonomous":[48],"networks.":[50],"The":[51,112],"training":[52],"performed":[54],"using":[55],"data":[56],"from":[57],"baseline":[59],"which":[61],"does":[62],"not":[63],"need":[64],"be":[66,72,107],"known":[67],"mathematically,":[68],"e.g.":[69],"it":[70],"may":[71],"human":[74],"operating":[75],"system.":[77],"an":[80],"explicit":[81],"formula":[82],"computation":[84],"number":[87],"hidden":[89],"layers":[90],"such":[91],"that":[92],"resulting":[94],"learning-based":[95],"closed-loop":[96],"stable.":[99],"furthermore":[101],"outline":[102],"how":[103],"this":[104],"condition":[105],"can":[106],"integrated":[108],"in":[109],"learning.":[111],"results":[113],"are":[114],"illustrated":[115],"simulation":[118],"study":[119],"considering":[120],"control":[121],"continuously":[124],"stirred":[125],"tank":[126],"reactor.":[127]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}