{"id":"https://openalex.org/W4375852219","doi":"https://doi.org/10.1145/3575870.3587123","title":"SySCoRe: Synthesis via Stochastic Coupling Relations","display_name":"SySCoRe: Synthesis via Stochastic Coupling Relations","publication_year":2023,"publication_date":"2023-05-08","ids":{"openalex":"https://openalex.org/W4375852219","doi":"https://doi.org/10.1145/3575870.3587123"},"language":"en","primary_location":{"id":"doi:10.1145/3575870.3587123","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3575870.3587123","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3575870.3587123","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3575870.3587123","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5011200486","display_name":"B.C. van Huijgevoort","orcid":"https://orcid.org/0000-0003-1164-0508"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Birgit Van Huijgevoort","raw_affiliation_strings":["Electrical Engineering, Eindhoven University of Technology, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-1164-0508","affiliations":[{"raw_affiliation_string":"Electrical Engineering, Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055179190","display_name":"Oliver Sch\u00f6n","orcid":"https://orcid.org/0000-0002-0214-6455"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Oliver Sch\u00f6n","raw_affiliation_strings":["Newcastle University, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0002-0214-6455","affiliations":[{"raw_affiliation_string":"Newcastle University, United Kingdom","institution_ids":["https://openalex.org/I84884186"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017334634","display_name":"Sadegh Soudjani","orcid":"https://orcid.org/0000-0003-1922-6678"},"institutions":[{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]},{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["DE","GB"],"is_corresponding":false,"raw_author_name":"Sadegh Soudjani","raw_affiliation_strings":["Newcastle University, United Kingdom and Max Planck institute for software systems, Germany"],"raw_orcid":"https://orcid.org/0000-0003-1922-6678","affiliations":[{"raw_affiliation_string":"Newcastle University, United Kingdom and Max Planck institute for software systems, Germany","institution_ids":["https://openalex.org/I4210121786","https://openalex.org/I84884186"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025184822","display_name":"Sofie Haesaert","orcid":"https://orcid.org/0000-0003-4749-4688"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Sofie Haesaert","raw_affiliation_strings":["Electrical Engineering, Eindhoven University of Technology, Netherlands"],"raw_orcid":"https://orcid.org/0000-0003-4749-4688","affiliations":[{"raw_affiliation_string":"Electrical Engineering, Eindhoven University of Technology, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"11"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9919999837875366,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12810","display_name":"Real-time simulation and control systems","score":0.9919999837875366,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.689963698387146},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.668129563331604},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6502642631530762},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.6379312872886658},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4536750018596649},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4433777630329132},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.41927894949913025},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3746640086174011},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.12615805864334106}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.689963698387146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.668129563331604},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6502642631530762},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.6379312872886658},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4536750018596649},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4433777630329132},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.41927894949913025},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3746640086174011},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.12615805864334106},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3575870.3587123","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3575870.3587123","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3575870.3587123","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:publications/7324d364-8d2f-48cc-af16-53575d481b28","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/7324d364-8d2f-48cc-af16-53575d481b28","pdf_url":"https://pure.tue.nl/ws/files/300015267/3575870.3587123.pdf","source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"van Huijgevoort, B, Sch\u00f6n, O, Soudjani, S & Haesaert, S 2023, SySCoRe : Synthesis via Stochastic Coupling Relations. in HSCC '23 : Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control., 13, Association for Computing Machinery, Inc., pp. 1-11, HSCC '23: 26th ACM International Conference on Hybrid Systems: Computation and Control, San Antonio, Texas, United States, 9/05/23. https://doi.org/10.1145/3575870.3587123","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:tue:oai:pure.tue.nl:publications/7324d364-8d2f-48cc-af16-53575d481b28","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/7324d364-8d2f-48cc-af16-53575d481b28","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc","license_id":"https://openalex.org/licenses/cc-by-nc","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"HSCC '23: Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 1 - 11","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"doi:10.1145/3575870.3587123","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3575870.3587123","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3575870.3587123","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G140620781","display_name":null,"funder_award_id":"101070802","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G3413121104","display_name":null,"funder_award_id":"EP/V043676/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5227039771","display_name":"CodeCPS: Correct-by-Design Estimation and Control of Cyber-Physical Systems","funder_award_id":"EP/V043676/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G74215481","display_name":null,"funder_award_id":"18244","funder_id":"https://openalex.org/F4320321800","funder_display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek"},{"id":"https://openalex.org/G8643590403","display_name":"Symbolic logic framework for situational awareness in mixed autonomy","funder_award_id":"101070802","funder_id":"https://openalex.org/F4320338448","funder_display_name":"HORIZON EUROPE European Innovation Council"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320334322","display_name":"HORIZON EUROPE Framework Programme","ror":null},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338448","display_name":"HORIZON EUROPE European Innovation Council","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4375852219.pdf","grobid_xml":"https://content.openalex.org/works/W4375852219.grobid-xml"},"referenced_works_count":27,"referenced_works":["https://openalex.org/W1483893502","https://openalex.org/W1493070044","https://openalex.org/W1498432697","https://openalex.org/W1549644356","https://openalex.org/W2017676950","https://openalex.org/W2052701972","https://openalex.org/W2066856775","https://openalex.org/W2089003125","https://openalex.org/W2134991157","https://openalex.org/W2187041056","https://openalex.org/W2337661843","https://openalex.org/W2536620281","https://openalex.org/W2745094767","https://openalex.org/W2806880272","https://openalex.org/W2808428915","https://openalex.org/W2886220633","https://openalex.org/W2899246838","https://openalex.org/W2939750219","https://openalex.org/W2944522148","https://openalex.org/W2982084088","https://openalex.org/W3046763300","https://openalex.org/W3047979427","https://openalex.org/W3095197092","https://openalex.org/W3125855560","https://openalex.org/W3158914004","https://openalex.org/W4285585399","https://openalex.org/W4313461223"],"related_works":["https://openalex.org/W1551070491","https://openalex.org/W2034301573","https://openalex.org/W2103740034","https://openalex.org/W2350953867","https://openalex.org/W1592102986","https://openalex.org/W2166027622","https://openalex.org/W2612218842","https://openalex.org/W1513903619","https://openalex.org/W2203774400","https://openalex.org/W2157373800"],"abstract_inverted_index":{"We":[0,152],"present":[1],"SySCoRe,":[2],"a":[3,20,24,36,73,88,105,141],"MATLAB":[4],"toolbox":[5],"that":[6],"synthesizes":[7],"controllers":[8],"for":[9,34,119],"stochastic":[10,94],"continuous-state":[11],"systems":[12],"to":[13,91,144],"satisfy":[14],"temporal":[15,26,59],"logic":[16,27,60],"specifications.":[17],"Starting":[18],"from":[19,49],"system":[21,95],"description":[22],"and":[23,39,65,80,122,159],"co-safe":[25,58],"specification,":[28],"SySCoRe":[29,71,114],"provides":[30,115],"all":[31],"necessary":[32],"functions":[33],"synthesizing":[35],"robust":[37],"controller":[38],"quantifying":[40],"the":[41,77,92,109,134,137,146,161,164],"associated":[42],"formal":[43],"robustness":[44],"guarantees.":[45],"It":[46,139],"distinguishes":[47],"itself":[48],"other":[50],"available":[51],"tools":[52],"by":[53],"supporting":[54],"nonlinear":[55],"dynamics,":[56],"complex":[57],"specifications":[61],"over":[62],"infinite":[63],"horizons":[64],"model-order":[66],"reduction.":[67],"To":[68],"achieve":[69],"this,":[70],"generates":[72],"finite-state":[74],"abstraction":[75],"of":[76,136,149,163],"provided":[78],"model":[79,83],"performs":[81],"probabilistic":[82,89],"checking.":[84],"Then,":[85],"it":[86],"establishes":[87],"coupling":[90],"original":[93],"encoded":[96],"in":[97,133],"an":[98],"approximate":[99],"simulation":[100],"relation,":[101],"based":[102],"on":[103,108,156],"which":[104],"lower":[106,117],"bound":[107],"satisfaction":[110],"probability":[111],"is":[112],"computed.":[113],"non-trivial":[116],"bounds":[118],"infinite-horizon":[120],"properties":[121],"unbounded":[123],"disturbances":[124],"since":[125],"its":[126],"computed":[127],"error":[128],"does":[129],"not":[130],"grow":[131],"linearly":[132],"horizon":[135],"specification.":[138],"exploits":[140],"tensor":[142],"representation":[143],"facilitate":[145],"efficient":[147],"computation":[148],"transition":[150],"probabilities.":[151],"showcase":[153],"these":[154],"features":[155],"several":[157],"benchmarks":[158],"compare":[160],"performance":[162],"tool":[165],"with":[166],"existing":[167],"tools.":[168]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":6},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}