{"id":"https://openalex.org/W1948638402","doi":"https://doi.org/10.1109/tac.2016.2619419","title":"Approximations of Stochastic Hybrid Systems: A Compositional Approach","display_name":"Approximations of Stochastic Hybrid Systems: A Compositional Approach","publication_year":2016,"publication_date":"2016-10-19","ids":{"openalex":"https://openalex.org/W1948638402","doi":"https://doi.org/10.1109/tac.2016.2619419","mag":"1948638402"},"language":"en","primary_location":{"id":"doi:10.1109/tac.2016.2619419","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2016.2619419","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1508.06496","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5030109984","display_name":"Majid Zamani","orcid":"https://orcid.org/0000-0001-6608-3708"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Majid Zamani","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany","[Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany]"],"raw_orcid":"https://orcid.org/0000-0001-6608-3708","affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"[Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany]","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5020018687","display_name":"Matthias Rungger","orcid":"https://orcid.org/0000-0002-6623-4569"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Matthias Rungger","raw_affiliation_strings":["Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany","[Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]},{"raw_affiliation_string":"[Department of Electrical and Computer Engineering, Technical University of Munich, Munich, Germany]","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034611919","display_name":"Peyman Mohajerin Esfahani","orcid":"https://orcid.org/0000-0003-1286-8782"},"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":"Peyman Mohajerin Esfahani","raw_affiliation_strings":["Delft Center for Systems and Control, Delft University of Technology, Delft, CD, The Netherlands","[Delft Center for Systems and Control, Delft University of Technology, Delft, CD, the Netherlands]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Delft Center for Systems and Control, Delft University of Technology, Delft, CD, The Netherlands","institution_ids":["https://openalex.org/I98358874"]},{"raw_affiliation_string":"[Delft Center for Systems and Control, Delft University of Technology, Delft, CD, the Netherlands]","institution_ids":["https://openalex.org/I98358874"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.326,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.63501969,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"62","issue":"6","first_page":"2838","last_page":"2853"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9847000241279602,"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/continuous-time-stochastic-process","display_name":"Continuous-time stochastic process","score":0.6981021761894226},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.583045482635498},{"id":"https://openalex.org/keywords/stochastic-approximation","display_name":"Stochastic approximation","score":0.5359490513801575},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5254101753234863},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5251597762107849},{"id":"https://openalex.org/keywords/stochastic-modelling","display_name":"Stochastic modelling","score":0.5105448961257935},{"id":"https://openalex.org/keywords/stochastic-neural-network","display_name":"Stochastic neural network","score":0.44760861992836},{"id":"https://openalex.org/keywords/interconnection","display_name":"Interconnection","score":0.4472360610961914},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.4438685476779938},{"id":"https://openalex.org/keywords/jump-process","display_name":"Jump process","score":0.43416863679885864},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.4227224588394165},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.41273656487464905},{"id":"https://openalex.org/keywords/stochastic-optimization","display_name":"Stochastic optimization","score":0.4063355326652527},{"id":"https://openalex.org/keywords/jump","display_name":"Jump","score":0.40266117453575134},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3660464882850647},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.12341028451919556}],"concepts":[{"id":"https://openalex.org/C158535547","wikidata":"https://www.wikidata.org/wiki/Q5165437","display_name":"Continuous-time stochastic process","level":3,"score":0.6981021761894226},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.583045482635498},{"id":"https://openalex.org/C55479107","wikidata":"https://www.wikidata.org/wiki/Q97663916","display_name":"Stochastic approximation","level":3,"score":0.5359490513801575},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5254101753234863},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5251597762107849},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.5105448961257935},{"id":"https://openalex.org/C86582703","wikidata":"https://www.wikidata.org/wiki/Q7617824","display_name":"Stochastic neural network","level":4,"score":0.44760861992836},{"id":"https://openalex.org/C123745756","wikidata":"https://www.wikidata.org/wiki/Q1665949","display_name":"Interconnection","level":2,"score":0.4472360610961914},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.4438685476779938},{"id":"https://openalex.org/C2776825372","wikidata":"https://www.wikidata.org/wiki/Q3922411","display_name":"Jump process","level":3,"score":0.43416863679885864},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4227224588394165},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.41273656487464905},{"id":"https://openalex.org/C194387892","wikidata":"https://www.wikidata.org/wiki/Q1747770","display_name":"Stochastic optimization","level":2,"score":0.4063355326652527},{"id":"https://openalex.org/C2780695682","wikidata":"https://www.wikidata.org/wiki/Q4005959","display_name":"Jump","level":2,"score":0.40266117453575134},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3660464882850647},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.12341028451919556},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C147168706","wikidata":"https://www.wikidata.org/wiki/Q1457734","display_name":"Recurrent neural network","level":3,"score":0.0},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","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/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1109/tac.2016.2619419","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tac.2016.2619419","pdf_url":null,"source":{"id":"https://openalex.org/S184954342","display_name":"IEEE Transactions on Automatic Control","issn_l":"0018-9286","issn":["0018-9286","1558-2523","2334-3303"],"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 Transactions on Automatic Control","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1508.06496","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1508.06496","pdf_url":"https://arxiv.org/pdf/1508.06496","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:arXiv.org:1508.06496","is_oa":true,"landing_page_url":"https://arxiv.org/abs/1508.06496","pdf_url":"https://arxiv.org/pdf/1508.06496","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"mag:1948638402","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/1508.06496.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:mediatum.ub.tum.de:node/1430802","is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1430802","pdf_url":null,"source":{"id":"https://openalex.org/S4377196330","display_name":"mediaTUM  (Technical University of Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"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":"article"},{"id":"pmh:oai:tudelft.nl:uuid:919e233c-d42d-4c23-8767-cdd3877d4035","is_oa":false,"landing_page_url":"http://resolver.tudelft.nl/uuid:919e233c-d42d-4c23-8767-cdd3877d4035","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"},{"id":"doi:10.48550/arxiv.1508.06496","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1508.06496","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":"Preprint"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1508.06496","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1508.06496","pdf_url":"https://arxiv.org/pdf/1508.06496","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W19346916","https://openalex.org/W1480828958","https://openalex.org/W1489726963","https://openalex.org/W1489872560","https://openalex.org/W1498432697","https://openalex.org/W1507624518","https://openalex.org/W1524886571","https://openalex.org/W1827189078","https://openalex.org/W1887806484","https://openalex.org/W1972811417","https://openalex.org/W1973013779","https://openalex.org/W1985124715","https://openalex.org/W2047671935","https://openalex.org/W2049652417","https://openalex.org/W2094599695","https://openalex.org/W2126147754","https://openalex.org/W2134032706","https://openalex.org/W2144965436","https://openalex.org/W2147556100","https://openalex.org/W2150141562","https://openalex.org/W2151136609","https://openalex.org/W2152339932","https://openalex.org/W2153821488","https://openalex.org/W2170316986","https://openalex.org/W2228126549","https://openalex.org/W2296319761","https://openalex.org/W2571307628","https://openalex.org/W6628714409","https://openalex.org/W6631546732","https://openalex.org/W6639429317","https://openalex.org/W6679954133","https://openalex.org/W6681401544","https://openalex.org/W6682252058"],"related_works":["https://openalex.org/W2319253270","https://openalex.org/W144566684","https://openalex.org/W2095546018","https://openalex.org/W2094440670","https://openalex.org/W2104808581","https://openalex.org/W3046169439","https://openalex.org/W1985011190","https://openalex.org/W1585451655","https://openalex.org/W171134486","https://openalex.org/W1491793555","https://openalex.org/W1978998112","https://openalex.org/W1538436743","https://openalex.org/W2543866389","https://openalex.org/W2085634778","https://openalex.org/W2133841948","https://openalex.org/W2952167521","https://openalex.org/W2142322795","https://openalex.org/W2963355499","https://openalex.org/W150666700","https://openalex.org/W2608291582"],"abstract_inverted_index":{"In":[0,41,91,135,163],"this":[1,26,200],"paper":[2],"we":[3,98,137,170,205],"propose":[4,186],"a":[5,17,49,58,67,73,173,187,227],"compositional":[6,105,228],"framework":[7],"for":[8,145,157,199],"the":[9,14,42,61,82,85,88,92,96,104,108,111,123,127,153,158,164,168,207,210,218],"construction":[10],"of":[11,13,16,19,28,60,75,95,107,113,119,147,160,167,176,202,209,217,220],"approximations":[12,121,146,192],"interconnection":[15,112,219],"class":[18,27,175,201],"stochastic":[20,34,38,50,63,77,114,128,142,149,154,177,183,196,224],"hybrid":[21,39,51,64,115,129,150,178],"systems.":[22,203],"As":[23],"special":[24],"cases,":[25],"systems":[29,35,151],"includes":[30],"both":[31],"jump":[32,181,222],"linear":[33,37,182,223],"and":[36,87,117,131,185],"automata.":[40],"proposed":[43,211],"framework,":[44],"an":[45,215],"approximation":[46,86,159,216],"is":[47],"itself":[48],"system,":[52],"which":[53,102],"can":[54],"be":[55],"used":[56],"as":[57],"replacement":[59],"original":[62,89],"system":[65],"in":[66,226],"controller":[68],"design":[69],"process.":[70],"We":[71],"employ":[72],"notion":[74],"so-called":[76],"simulation":[78,143,155,197],"function":[79,156],"to":[80,140,190],"quantify":[81],"error":[83,109,125],"between":[84,110,126],"system.":[90],"first":[93],"part":[94,166],"paper,":[97,169],"derive":[99],"sufficient":[100],"conditions":[101],"facilitate":[103],"quantification":[106],"subsystems":[116,130,225],"that":[118],"their":[120,132,195],"using":[122,152],"quantified":[124],"corresponding":[133],"approximations.":[134],"particular,":[136],"show":[138],"how":[139],"construct":[141],"functions":[144,198],"interconnected":[148],"each":[161],"component.":[162],"second":[165],"focus":[171],"on":[172],"specific":[174],"systems,":[179,184],"namely,":[180],"constructive":[188],"scheme":[189],"determine":[191],"together":[193],"with":[194],"Finally,":[204],"illustrate":[206],"effectiveness":[208],"results":[212],"by":[213],"constructing":[214],"four":[221],"way.":[229]},"counts_by_year":[{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}