{"id":"https://openalex.org/W4389459361","doi":"https://doi.org/10.1109/lcsys.2023.3340621","title":"Formal Abstraction of General Stochastic Systems via Noise Partitioning","display_name":"Formal Abstraction of General Stochastic Systems via Noise Partitioning","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4389459361","doi":"https://doi.org/10.1109/lcsys.2023.3340621"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2023.3340621","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2023.3340621","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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101936918","display_name":"John Skovbekk","orcid":"https://orcid.org/0000-0002-0470-9055"},"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":true,"raw_author_name":"John Skovbekk","raw_affiliation_strings":["Smead Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"Smead Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009660282","display_name":"Luca Laurenti","orcid":"https://orcid.org/0000-0003-1190-6097"},"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":["Center for Systems and Control, TU Delft, Delft, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Center for Systems and Control, TU Delft, Delft, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021878663","display_name":"Eric W. Frew","orcid":"https://orcid.org/0000-0003-3686-089X"},"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":"Eric Frew","raw_affiliation_strings":["Smead Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"Smead Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]},{"author_position":"last","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":["Smead Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA"],"affiliations":[{"raw_affiliation_string":"Smead Department of Aerospace Engineering Sciences, University of Colorado Boulder, Boulder, CO, USA","institution_ids":["https://openalex.org/I188538660"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5101936918"],"corresponding_institution_ids":["https://openalex.org/I188538660"],"apc_list":null,"apc_paid":null,"fwci":1.1886,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.82767467,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"7","issue":null,"first_page":"3711","last_page":"3716"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9927999973297119,"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/T10142","display_name":"Formal Methods in Verification","score":0.9927999973297119,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9638000130653381,"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/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9473000168800354,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/multiplicative-noise","display_name":"Multiplicative noise","score":0.7225397825241089},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5595110058784485},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5343813896179199},{"id":"https://openalex.org/keywords/noise","display_name":"Noise (video)","score":0.5321639776229858},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4936307668685913},{"id":"https://openalex.org/keywords/multiplicative-function","display_name":"Multiplicative function","score":0.4416464567184448},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.4219130277633667},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.4207685589790344},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.42043042182922363},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.4201197624206543},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38242700695991516},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.35279104113578796},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3341551721096039},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10081154108047485},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.09956479072570801},{"id":"https://openalex.org/keywords/transmission","display_name":"Transmission (telecommunications)","score":0.09479936957359314}],"concepts":[{"id":"https://openalex.org/C18015164","wikidata":"https://www.wikidata.org/wiki/Q6935000","display_name":"Multiplicative noise","level":5,"score":0.7225397825241089},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5595110058784485},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5343813896179199},{"id":"https://openalex.org/C99498987","wikidata":"https://www.wikidata.org/wiki/Q2210247","display_name":"Noise (video)","level":3,"score":0.5321639776229858},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4936307668685913},{"id":"https://openalex.org/C42747912","wikidata":"https://www.wikidata.org/wiki/Q1048447","display_name":"Multiplicative function","level":2,"score":0.4416464567184448},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.4219130277633667},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.4207685589790344},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.42043042182922363},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.4201197624206543},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38242700695991516},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.35279104113578796},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3341551721096039},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10081154108047485},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.09956479072570801},{"id":"https://openalex.org/C761482","wikidata":"https://www.wikidata.org/wiki/Q118093","display_name":"Transmission (telecommunications)","level":2,"score":0.09479936957359314},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C13412647","wikidata":"https://www.wikidata.org/wiki/Q174948","display_name":"Analog signal","level":3,"score":0.0},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.0},{"id":"https://openalex.org/C131021393","wikidata":"https://www.wikidata.org/wiki/Q7512759","display_name":"Signal transfer function","level":4,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","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},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/lcsys.2023.3340621","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2023.3340621","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:ee18af1f-40d2-4df0-91b5-185fa338fb4b","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:ee18af1f-40d2-4df0-91b5-185fa338fb4b","pdf_url":null,"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":null,"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":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W118404227","https://openalex.org/W167756786","https://openalex.org/W172589331","https://openalex.org/W1498432697","https://openalex.org/W1512937499","https://openalex.org/W1975219867","https://openalex.org/W1988217924","https://openalex.org/W2117218135","https://openalex.org/W2171282796","https://openalex.org/W2798862166","https://openalex.org/W2906997088","https://openalex.org/W2919694184","https://openalex.org/W2951334307","https://openalex.org/W3002811560","https://openalex.org/W3124374723","https://openalex.org/W3125855560","https://openalex.org/W3141421587","https://openalex.org/W3184604096","https://openalex.org/W4221161269","https://openalex.org/W4226340769","https://openalex.org/W4232171345","https://openalex.org/W4285162553","https://openalex.org/W4287817734","https://openalex.org/W4288366658","https://openalex.org/W4312744983","https://openalex.org/W4313461223","https://openalex.org/W4317716378","https://openalex.org/W6811024623"],"related_works":["https://openalex.org/W1511249877","https://openalex.org/W2466303427","https://openalex.org/W1578828174","https://openalex.org/W2100121758","https://openalex.org/W3022718941","https://openalex.org/W4287812451","https://openalex.org/W1996414039","https://openalex.org/W2506602630","https://openalex.org/W3097284316","https://openalex.org/W2332961228"],"abstract_inverted_index":{"Verifying":[0],"the":[1,19,44,56,102,115,118,123,128,146,164,169],"performance":[2],"of":[3,22,43,55,69,117,168],"safety-critical,":[4],"stochastic":[5,24,129],"systems":[6,25,95,155],"with":[7,26,99,156],"complex":[8],"noise":[9,32,45],"distributions":[10,33,70],"is":[11],"difficult.":[12],"We":[13],"introduce":[14],"a":[15,40,66,132,140,160],"general":[16,67],"procedure":[17],"for":[18,34,65,88,94,109],"finite":[20,41],"abstraction":[21,54,119],"nonlinear":[23,154],"nonstandard":[27],"(e.g.,":[28],"non-affine,":[29],"non-symmetric,":[30],"non-unimodal)":[31],"verification":[35,121,147],"purposes.":[36],"The":[37,85],"method":[38,170],"uses":[39],"partitioning":[42,63],"domain":[46],"to":[47,101],"construct":[48],"an":[49],"interval":[50],"Markov":[51],"chain":[52],"(IMC)":[53],"system":[57,130],"via":[58],"transition":[59,90],"probability":[60],"intervals.":[61],"Noise":[62],"allows":[64],"class":[68],"and":[71,75,78,82,104,111,153,166],"structures,":[72],"including":[73,159],"multiplicative":[74,112],"mixture":[76],"models,":[77],"admits":[79],"both":[80],"known":[81],"data-driven":[83,161],"systems.":[84],"partitions":[86,106],"required":[87],"optimal":[89],"bounds":[91],"are":[92,97,107],"specified":[93],"that":[96,144],"monotonic":[98],"respect":[100],"noise,":[103,158],"explicit":[105],"provided":[108],"affine":[110],"structures.":[113],"By":[114],"soundness":[116],"procedure,":[120],"on":[122,127,151],"IMC":[124],"provides":[125],"guarantees":[126],"against":[131],"temporal":[133],"logic":[134],"specification.":[135],"In":[136],"addition,":[137],"we":[138],"present":[139],"novel":[141],"refinement-free":[142],"algorithm":[143],"improves":[145],"results.":[148],"Case":[149],"studies":[150],"linear":[152],"non-Gaussian":[157],"example,":[162],"demonstrate":[163],"generality":[165],"effectiveness":[167],"without":[171],"introducing":[172],"excessive":[173],"conservatism.":[174]},"counts_by_year":[{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}