{"id":"https://openalex.org/W7162119704","doi":"https://doi.org/10.48550/arxiv.2605.21701","title":"DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks","display_name":"DAE-Embedded Neural Control Verification for Shipboard Microgrids under Transient Shocks","publication_year":2026,"publication_date":"2026-05-20","ids":{"openalex":"https://openalex.org/W7162119704","doi":"https://doi.org/10.48550/arxiv.2605.21701"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2605.21701","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.21701","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2605.21701","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100309084","display_name":"Fei Feng","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Feng, Fei","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100666777","display_name":"Lizhi Wang","orcid":"https://orcid.org/0000-0001-6663-0265"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wang, Lizhi","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5101995725","display_name":"Ziqian Liu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Liu, Ziqian","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":3,"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":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.23579999804496765,"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/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.23579999804496765,"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.17509999871253967,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11250","display_name":"Wave and Wind Energy Systems","score":0.11819999665021896,"subfield":{"id":"https://openalex.org/subfields/2212","display_name":"Ocean 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.7202000021934509},{"id":"https://openalex.org/keywords/transient","display_name":"Transient (computer programming)","score":0.6674000024795532},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.5820000171661377},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5436999797821045},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5170000195503235},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.47769999504089355},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.42829999327659607},{"id":"https://openalex.org/keywords/actuator","display_name":"Actuator","score":0.4242999851703644}],"concepts":[{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.7202000021934509},{"id":"https://openalex.org/C2780799671","wikidata":"https://www.wikidata.org/wiki/Q17087362","display_name":"Transient (computer programming)","level":2,"score":0.6674000024795532},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.5820000171661377},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5551000237464905},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5436999797821045},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5170000195503235},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.47769999504089355},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.42829999327659607},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.4242999851703644},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.40139999985694885},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.39399999380111694},{"id":"https://openalex.org/C91581856","wikidata":"https://www.wikidata.org/wiki/Q2707001","display_name":"Nonlinear control","level":3,"score":0.35339999198913574},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.35109999775886536},{"id":"https://openalex.org/C9930424","wikidata":"https://www.wikidata.org/wiki/Q7426587","display_name":"Saturation (graph theory)","level":2,"score":0.31060001254081726},{"id":"https://openalex.org/C85761212","wikidata":"https://www.wikidata.org/wiki/Q1974593","display_name":"Transient response","level":2,"score":0.3068999946117401},{"id":"https://openalex.org/C77405623","wikidata":"https://www.wikidata.org/wiki/Q598451","display_name":"System dynamics","level":2,"score":0.29249998927116394},{"id":"https://openalex.org/C2989121073","wikidata":"https://www.wikidata.org/wiki/Q1309019","display_name":"Transient analysis","level":3,"score":0.2896000146865845},{"id":"https://openalex.org/C2781300812","wikidata":"https://www.wikidata.org/wiki/Q178061","display_name":"Shock (circulatory)","level":2,"score":0.27489998936653137},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.26739999651908875},{"id":"https://openalex.org/C172205157","wikidata":"https://www.wikidata.org/wiki/Q1782962","display_name":"Model predictive control","level":3,"score":0.2556999921798706}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2605.21701","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.21701","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2605.21701","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2605.21701","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Neural":[0],"control":[1,21,74,90],"offers":[2],"strong":[3],"potential":[4],"for":[5,37],"handling":[6],"highly":[7],"nonlinear":[8],"dynamics":[9],"in":[10,86],"shipboard":[11],"microgrids":[12],"(SMGs),":[13],"yet":[14],"its":[15,43],"black-box":[16],"nature":[17],"can":[18],"trigger":[19],"abrupt":[20],"spikes":[22],"and":[23],"actuator":[24],"saturation":[25],"during":[26],"initial":[27],"transient":[28],"shocks.":[29],"This":[30],"letter":[31],"devises":[32],"a":[33,50,61],"formal":[34],"verification":[35],"method":[36,85],"SMG":[38,52,89],"neural":[39,73],"controller":[40],"to":[41,66],"assess":[42],"shock":[44],"responses.":[45],"Our":[46],"contributions":[47],"include:":[48],"1)":[49],"set-based":[51],"differential-algebraic":[53],"equation(DAE)":[54],"model":[55],"compatible":[56],"with":[57],"set":[58],"propagation;":[59],"2)":[60],"DAE-embedded":[62],"bound":[63],"propagation":[64],"approach":[65],"compute":[67],"tight":[68],"envelopes":[69],"of":[70,82],"all":[71],"possible":[72],"output.":[75],"Extensive":[76],"case":[77],"studies":[78],"demonstrate":[79],"the":[80,83],"effectiveness":[81],"devised":[84],"formally":[87],"certifying":[88],"performance":[91],"under":[92],"uncertain":[93],"disturbances.":[94]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2026-05-23T00:00:00"}