{"id":"https://openalex.org/W4226103371","doi":"https://doi.org/10.1109/lcsys.2022.3178143","title":"Formal Control Synthesis for Stochastic Neural Network Dynamic Models","display_name":"Formal Control Synthesis for Stochastic Neural Network Dynamic Models","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4226103371","doi":"https://doi.org/10.1109/lcsys.2022.3178143"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2022.3178143","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2022.3178143","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Control Systems Letters","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.tudelft.nl/file/File_5ff52b80-d77a-4837-9497-60a104dd4568","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060336544","display_name":"Sheree-Ann Adams","orcid":"https://orcid.org/0000-0001-5696-2071"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Steven Adams","raw_affiliation_strings":["Delft Center for Systems and Control, TU Delft, Delft, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Delft Center for Systems and Control, TU Delft, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069564559","display_name":"Morteza Lahijanian","orcid":"https://orcid.org/0000-0001-7549-4365"},"institutions":[{"id":"https://openalex.org/I188538660","display_name":"University of Colorado Boulder","ror":"https://ror.org/02ttsq026","country_code":"US","type":"education","lineage":["https://openalex.org/I188538660"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Morteza Lahijanian","raw_affiliation_strings":["Department of Aerospace Engineering Sciences and Computer Science, University of Colorado Boulder, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"Department of Aerospace Engineering Sciences and Computer Science, University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5030806032","display_name":"Luca Laurenti","orcid":"https://orcid.org/0000-0002-8327-1396"},"institutions":[{"id":"https://openalex.org/I98358874","display_name":"Delft University of Technology","ror":"https://ror.org/02e2c7k09","country_code":"NL","type":"education","lineage":["https://openalex.org/I98358874"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Luca Laurenti","raw_affiliation_strings":["Delft Center for Systems and Control, TU Delft, Delft, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Delft Center for Systems and Control, TU Delft, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5060336544"],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04058114,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"6","issue":null,"first_page":"2858","last_page":"2863"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.39649999141693115,"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"}},"topics":[{"id":"https://openalex.org/T11689","display_name":"Adversarial Robustness in Machine Learning","score":0.39649999141693115,"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"}},{"id":"https://openalex.org/T10462","display_name":"Reinforcement Learning in Robotics","score":0.09189999848604202,"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"}},{"id":"https://openalex.org/T10320","display_name":"Neural Networks and Applications","score":0.06430000066757202,"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/computer-science","display_name":"Computer science","score":0.7207041382789612},{"id":"https://openalex.org/keywords/leverage","display_name":"Leverage (statistics)","score":0.6040347218513489},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5578880906105042},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5573729276657104},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5222797393798828},{"id":"https://openalex.org/keywords/markov-decision-process","display_name":"Markov decision process","score":0.43341583013534546},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4269246459007263},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41124504804611206},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.34042930603027344},{"id":"https://openalex.org/keywords/markov-process","display_name":"Markov process","score":0.3164821267127991},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.26923757791519165},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.25168275833129883},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.1393825113773346}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7207041382789612},{"id":"https://openalex.org/C153083717","wikidata":"https://www.wikidata.org/wiki/Q6535263","display_name":"Leverage (statistics)","level":2,"score":0.6040347218513489},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5578880906105042},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5573729276657104},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5222797393798828},{"id":"https://openalex.org/C106189395","wikidata":"https://www.wikidata.org/wiki/Q176789","display_name":"Markov decision process","level":3,"score":0.43341583013534546},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4269246459007263},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41124504804611206},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.34042930603027344},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.3164821267127991},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.26923757791519165},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25168275833129883},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.1393825113773346},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2022.3178143","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2022.3178143","pdf_url":null,"source":{"id":"https://openalex.org/S4306422535","display_name":"IEEE Control Systems Letters","issn_l":"2475-1456","issn":["2475-1456"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Control Systems Letters","raw_type":"journal-article"},{"id":"pmh:oai:tudelft.nl:uuid:7cdb9191-06f4-4129-87a1-3574dfee535e","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:7cdb9191-06f4-4129-87a1-3574dfee535e","pdf_url":"https://repository.tudelft.nl/file/File_5ff52b80-d77a-4837-9497-60a104dd4568","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"}],"best_oa_location":{"id":"pmh:oai:tudelft.nl:uuid:7cdb9191-06f4-4129-87a1-3574dfee535e","is_oa":true,"landing_page_url":"http://resolver.tudelft.nl/uuid:7cdb9191-06f4-4129-87a1-3574dfee535e","pdf_url":"https://repository.tudelft.nl/file/File_5ff52b80-d77a-4837-9497-60a104dd4568","source":{"id":"https://openalex.org/S4306400906","display_name":"Research Repository (Delft University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98358874","host_organization_name":"Delft University of Technology","host_organization_lineage":["https://openalex.org/I98358874"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"journal article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7650390553","display_name":null,"funder_award_id":"2039062","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4226103371.pdf","grobid_xml":"https://content.openalex.org/works/W4226103371.grobid-xml"},"referenced_works_count":20,"referenced_works":["https://openalex.org/W1700264732","https://openalex.org/W1975219867","https://openalex.org/W1988217924","https://openalex.org/W2487779201","https://openalex.org/W2798862166","https://openalex.org/W2803699674","https://openalex.org/W2899283552","https://openalex.org/W2906997088","https://openalex.org/W2962872206","https://openalex.org/W3088162309","https://openalex.org/W3141421587","https://openalex.org/W3142708584","https://openalex.org/W4210349806","https://openalex.org/W4250589301","https://openalex.org/W4285162553","https://openalex.org/W4292249799","https://openalex.org/W6784459621","https://openalex.org/W6795314844","https://openalex.org/W6802244827","https://openalex.org/W6811024623"],"related_works":["https://openalex.org/W352166","https://openalex.org/W1272897","https://openalex.org/W637774","https://openalex.org/W1189345","https://openalex.org/W1079135","https://openalex.org/W764940","https://openalex.org/W989657","https://openalex.org/W102453","https://openalex.org/W660320","https://openalex.org/W1331764"],"abstract_inverted_index":{"Neural":[0],"networks":[1],"(NNs)":[2],"are":[3,29],"emerging":[4],"as":[5],"powerful":[6],"tools":[7],"to":[8,22,31,88,120,132,135,168,180],"represent":[9],"the":[10,71,105,115,121,127,154],"dynamics":[11],"of":[12,24,86,107,129,138,172,178,186],"control":[13,46],"systems":[14],"with":[15,35,52,176],"complicated":[16],"physics":[17],"or":[18],"black-box":[19],"components.":[20],"Due":[21],"complexity":[23],"NNs,":[25],"however,":[26],"existing":[27],"methods":[28],"unable":[30],"synthesize":[32],"complex":[33],"behaviors":[34],"guarantees":[36,171],"for":[37,49,83,174],"NN":[38],"dynamic":[39],"models":[40],"(NNDMs).":[41],"This":[42],"work":[43],"introduces":[44],"a":[45,91,101,109,136],"synthesis":[47],"framework":[48,155,165],"stochastic":[50],"NNDMs":[51,131,175],"performance":[53],"guarantees.":[54],"The":[55],"focus":[56],"is":[57,73,112,166],"on":[58,75],"specifications":[59],"expressed":[60],"in":[61],"linear":[62],"temporal":[63],"logic":[64],"interpreted":[65],"over":[66,114],"finite":[67,76],"traces":[68],"(LTLf),":[69],"and":[70,117,184],"approach":[72],"based":[74],"abstraction.":[77],"Specifically,":[78],"we":[79,161],"leverage":[80],"recent":[81],"techniques":[82],"convex":[84,139],"relaxation":[85],"NNs":[87],"formally":[89],"abstract":[90],"NNDM":[92],"into":[93],"an":[94,148],"interval":[95],"Markov":[96],"decision":[97],"process":[98,128],"(IMDP).":[99],"Then,":[100],"strategy":[102],"that":[103,126,152,163],"maximizes":[104],"probability":[106],"satisfying":[108],"given":[110],"specification":[111],"synthesized":[113],"IMDP":[116],"mapped":[118],"back":[119],"underlying":[122],"NNDM.":[123],"We":[124,145],"show":[125],"abstracting":[130],"IMDPs":[133],"reduces":[134],"set":[137],"optimization":[140],"problems,":[141],"hence":[142],"guaranteeing":[143],"efficiency.":[144],"also":[146],"present":[147],"adaptive":[149],"refinement":[150],"procedure":[151],"makes":[153],"scalable.":[156],"On":[157],"several":[158],"case":[159],"studies,":[160],"illustrate":[162],"our":[164],"able":[167],"provide":[169],"non-trivial":[170],"correctness":[173],"architectures":[177],"up":[179],"5":[181],"hidden":[182],"layers":[183],"hundreds":[185],"neurons":[187],"per":[188],"layer.":[189]},"counts_by_year":[],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2022-05-05T00:00:00"}