{"id":"https://openalex.org/W2010923515","doi":"https://doi.org/10.1109/cdc.2011.6161148","title":"Approximate abstractions of stochastic systems: A randomized method","display_name":"Approximate abstractions of stochastic systems: A randomized method","publication_year":2011,"publication_date":"2011-12-01","ids":{"openalex":"https://openalex.org/W2010923515","doi":"https://doi.org/10.1109/cdc.2011.6161148","mag":"2010923515"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2011.6161148","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2011.6161148","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Conference on Decision and Control and European Control Conference","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://zenodo.org/record/3444310","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"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":"Alessandro Abate","raw_affiliation_strings":["Delft Center for Systems and Control, Technical University Delft, Delft, Netherlands","Delft Center for Systems and Control, TU Delft, Mekelweg 2, 2628 CD, The Netherlands"],"affiliations":[{"raw_affiliation_string":"Delft Center for Systems and Control, Technical University Delft, Delft, Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"Delft Center for Systems and Control, TU Delft, Mekelweg 2, 2628 CD, The Netherlands","institution_ids":["https://openalex.org/I98358874"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060251698","display_name":"Maria Prandini","orcid":"https://orcid.org/0000-0001-7443-4117"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Prandini","raw_affiliation_strings":["Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","Dipartimento di Elettronica e Informazione - Politecnico di Milano, piazza Leonardo da Vinci 32, 20133, Italy"],"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione, Politecnico di Milano, Milano, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"Dipartimento di Elettronica e Informazione - Politecnico di Milano, piazza Leonardo da Vinci 32, 20133, Italy","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5091718585"],"corresponding_institution_ids":["https://openalex.org/I98358874"],"apc_list":null,"apc_paid":null,"fwci":4.2576,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.94882131,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"4861","last_page":"4866"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9994000196456909,"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"}},"topics":[{"id":"https://openalex.org/T10928","display_name":"Probabilistic and Robust Engineering Design","score":0.9994000196456909,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9908000230789185,"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/T11357","display_name":"Risk and Safety Analysis","score":0.984499990940094,"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/abstraction","display_name":"Abstraction","score":0.8034427165985107},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7654093503952026},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6540659666061401},{"id":"https://openalex.org/keywords/randomized-algorithm","display_name":"Randomized algorithm","score":0.5306801795959473},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.5002048015594482},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4794308543205261},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.35414204001426697},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17927080392837524},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16397854685783386}],"concepts":[{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.8034427165985107},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7654093503952026},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6540659666061401},{"id":"https://openalex.org/C128669082","wikidata":"https://www.wikidata.org/wiki/Q583461","display_name":"Randomized algorithm","level":2,"score":0.5306801795959473},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.5002048015594482},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4794308543205261},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35414204001426697},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17927080392837524},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16397854685783386},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/cdc.2011.6161148","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2011.6161148","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Conference on Decision and Control and European Control Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:zenodo.org:3444310","is_oa":true,"landing_page_url":"https://zenodo.org/record/3444310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":{"id":"pmh:oai:zenodo.org:3444310","is_oa":true,"landing_page_url":"https://zenodo.org/record/3444310","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferencePaper"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1505615026","display_name":"A Novel Mathematical Framework for the Modelling and the Analysis of Transportation Networks (MANTRAS)","funder_award_id":"249295","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G1549908751","display_name":null,"funder_award_id":"MANTRAS 249295","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2599789822","display_name":null,"funder_award_id":"MANTRAS 249295","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G2689612763","display_name":null,"funder_award_id":"Marie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2776021349","display_name":null,"funder_award_id":"016.103.020","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G4681381370","display_name":null,"funder_award_id":"Marie Curie","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4891973958","display_name":null,"funder_award_id":"016.103.020","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5478881007","display_name":null,"funder_award_id":"257005","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5483342299","display_name":null,"funder_award_id":"FP7-ICT","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G5941350101","display_name":null,"funder_award_id":"257005","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G7971839084","display_name":null,"funder_award_id":"FP7-ICT-2009-257005","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321012","display_name":"Technische Universiteit Delft","ror":"https://ror.org/02e2c7k09"},{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320338370","display_name":"FP7 Information and Communication Technologies","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1498432697","https://openalex.org/W1882576690","https://openalex.org/W1976268573","https://openalex.org/W2011979623","https://openalex.org/W2066778083","https://openalex.org/W2079042739","https://openalex.org/W2100893927","https://openalex.org/W2104371886","https://openalex.org/W2117218135","https://openalex.org/W2117781171","https://openalex.org/W2126147754","https://openalex.org/W2152339932","https://openalex.org/W2153452731","https://openalex.org/W2158974070","https://openalex.org/W2165748475","https://openalex.org/W2167978186","https://openalex.org/W4250913065"],"related_works":["https://openalex.org/W1497573972","https://openalex.org/W3046847091","https://openalex.org/W4388675521","https://openalex.org/W4362564212","https://openalex.org/W2108135022","https://openalex.org/W3148810651","https://openalex.org/W2071659383","https://openalex.org/W2789077243","https://openalex.org/W1846253165","https://openalex.org/W2898772359"],"abstract_inverted_index":{"This":[0],"work":[1],"introduces":[2],"a":[3,14,34,89,105],"randomized":[4],"method":[5,46],"for":[6,96],"the":[7,18,28,31,63,69,80,93],"design":[8],"of":[9,13,20,30,62,68,79,82,88,92],"an":[10],"approximate":[11,94],"abstraction":[12,95],"stochastic":[15],"system":[16,71],"and":[17,39,67,72],"assessment":[19],"its":[21,41],"quality.":[22],"The":[23,45,100],"proposed":[24],"approach":[25,101],"relies":[26],"on":[27,40,104],"formulation":[29],"problem":[32],"as":[33],"semi-infinite":[35],"chance-constrained":[36],"optimization":[37],"program":[38],"solution":[42],"via":[43],"randomization.":[44],"has":[47],"quite":[48],"general":[49],"applicability,":[50],"since":[51],"it":[52],"only":[53],"requires":[54],"to":[55,58,73],"be":[56],"able":[57],"run":[59],"multiple":[60],"executions":[61],"candidate":[64],"abstract":[65],"model":[66],"original":[70],"compute":[74],"their":[75],"distance.":[76],"Two":[77],"variants":[78],"notion":[81],"distance":[83],"are":[84],"considered":[85],"in":[86],"view":[87],"possible":[90],"use":[91],"probabilistic":[97],"safety":[98],"verification.":[99],"is":[102],"tested":[103],"numerical":[106],"example.":[107]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":8},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-03-12T08:34:05.389933","created_date":"2016-06-24T00:00:00"}