{"id":"https://openalex.org/W2288395719","doi":"https://doi.org/10.1109/cdc.2015.7402371","title":"On equivalence notions for discrete-time stochastic control systems","display_name":"On equivalence notions for discrete-time stochastic control systems","publication_year":2015,"publication_date":"2015-12-01","ids":{"openalex":"https://openalex.org/W2288395719","doi":"https://doi.org/10.1109/cdc.2015.7402371","mag":"2288395719"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2015.7402371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2015.7402371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 54th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-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/A5084720300","display_name":"Giordano Pola","orcid":"https://orcid.org/0000-0002-2213-6051"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Giordano Pola","raw_affiliation_strings":["Department of Information Engineering, University of L'Aquila, L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031215647","display_name":"Costanzo Manes","orcid":"https://orcid.org/0000-0002-0771-7413"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Costanzo Manes","raw_affiliation_strings":["Department of Information Engineering, University of L'Aquila, L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005018540","display_name":"Arjan van der Schaft","orcid":"https://orcid.org/0000-0002-2383-9234"},"institutions":[{"id":"https://openalex.org/I169381384","display_name":"University of Groningen","ror":"https://ror.org/012p63287","country_code":"NL","type":"education","lineage":["https://openalex.org/I169381384"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arjan J. van der Schaft","raw_affiliation_strings":["The Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen, Groningen, AK, The Netherlands"],"affiliations":[{"raw_affiliation_string":"The Johann Bernoulli Institute for Mathematics and Computer Science, University of Groningen, Groningen, AK, The Netherlands","institution_ids":["https://openalex.org/I169381384"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5061994256","display_name":"Maria Domenica Di Benedetto","orcid":"https://orcid.org/0000-0001-5703-7822"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Maria Domenica Di Benedetto","raw_affiliation_strings":["Department of Information Engineering, University of L'Aquila, L'Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, University of L'Aquila, L'Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5084720300"],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":1.4553,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.84162395,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"124","issue":null,"first_page":"1180","last_page":"1185"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9854999780654907,"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.9854999780654907,"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/T10046","display_name":"Stability and Control of Uncertain Systems","score":0.9775999784469604,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9700999855995178,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.7492839694023132},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.7013213038444519},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6390552520751953},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6044474840164185},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.5710320472717285},{"id":"https://openalex.org/keywords/continuous-time-stochastic-process","display_name":"Continuous-time stochastic process","score":0.5356025099754333},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5222926139831543},{"id":"https://openalex.org/keywords/degenerate-energy-levels","display_name":"Degenerate energy levels","score":0.5080142021179199},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.4982583522796631},{"id":"https://openalex.org/keywords/discrete-time-stochastic-process","display_name":"Discrete-time stochastic process","score":0.44434648752212524},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.43907642364501953},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.428178071975708},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3439862132072449},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.33849191665649414},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.33359333872795105},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.2680494785308838},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.13186195492744446},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.12938475608825684}],"concepts":[{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.7492839694023132},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.7013213038444519},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6390552520751953},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6044474840164185},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.5710320472717285},{"id":"https://openalex.org/C158535547","wikidata":"https://www.wikidata.org/wiki/Q5165437","display_name":"Continuous-time stochastic process","level":3,"score":0.5356025099754333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5222926139831543},{"id":"https://openalex.org/C72319582","wikidata":"https://www.wikidata.org/wiki/Q584304","display_name":"Degenerate energy levels","level":2,"score":0.5080142021179199},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.4982583522796631},{"id":"https://openalex.org/C92703954","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Discrete-time stochastic process","level":4,"score":0.44434648752212524},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.43907642364501953},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.428178071975708},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3439862132072449},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.33849191665649414},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.33359333872795105},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.2680494785308838},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.13186195492744446},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.12938475608825684},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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":2,"locations":[{"id":"doi:10.1109/cdc.2015.7402371","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2015.7402371","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 54th IEEE Conference on Decision and Control (CDC)","raw_type":"proceedings-article"},{"id":"pmh:rug:oai:pure.rug.nl:publications/45b7058b-0d13-4abc-ad58-610a88868008","is_oa":false,"landing_page_url":"https://research.rug.nl/en/publications/45b7058b-0d13-4abc-ad58-610a88868008","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"STARTPAGE=1180;ENDPAGE=1185;TITLE=54th IEEE Conference on Decision and Control (CDC)","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":43,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1483893502","https://openalex.org/W1503973138","https://openalex.org/W1546768510","https://openalex.org/W1547562281","https://openalex.org/W1565007974","https://openalex.org/W1597655219","https://openalex.org/W1882576690","https://openalex.org/W1976268573","https://openalex.org/W1983175210","https://openalex.org/W1997070622","https://openalex.org/W2011979623","https://openalex.org/W2015172530","https://openalex.org/W2029018540","https://openalex.org/W2030088558","https://openalex.org/W2041961320","https://openalex.org/W2047671935","https://openalex.org/W2080813827","https://openalex.org/W2088271437","https://openalex.org/W2098981343","https://openalex.org/W2100893927","https://openalex.org/W2103931555","https://openalex.org/W2108670836","https://openalex.org/W2109080678","https://openalex.org/W2112446565","https://openalex.org/W2117218135","https://openalex.org/W2119697935","https://openalex.org/W2125422788","https://openalex.org/W2126147754","https://openalex.org/W2143095681","https://openalex.org/W2150141562","https://openalex.org/W2151745809","https://openalex.org/W2153452731","https://openalex.org/W2155622893","https://openalex.org/W2158345050","https://openalex.org/W2158974070","https://openalex.org/W2164957184","https://openalex.org/W2487779201","https://openalex.org/W2738635245","https://openalex.org/W3110256801","https://openalex.org/W4233323875","https://openalex.org/W4233863062","https://openalex.org/W4239721096"],"related_works":["https://openalex.org/W4238487991","https://openalex.org/W1515213997","https://openalex.org/W4302305711","https://openalex.org/W2121345901","https://openalex.org/W4299533968","https://openalex.org/W2963556112","https://openalex.org/W2126102075","https://openalex.org/W2065120053","https://openalex.org/W2111048679","https://openalex.org/W1963731672"],"abstract_inverted_index":{"In":[0],"this":[1],"paper":[2],"we":[3],"propose":[4],"definitions":[5],"of":[6,12,14,21,65,102,107],"equivalence":[7,13,87,92,104,106],"via":[8],"stochastic":[9,15,23,58,67,85,89,117],"bisimulation":[10,86,103],"and":[11,45,55,80,88,105],"external":[16,90,108],"behavior":[17,91,109],"for":[18,42,46,83,111],"the":[19,37,52,63,100],"class":[20],"discrete-time":[22,66],"nonlinear":[24],"control":[25,69,113],"systems":[26,70,114],"with":[27,57,71],"possibly":[28,73],"degenerate":[29,74],"distributed":[30,76],"disturbances.":[31],"The":[32,95],"notions":[33,39,54],"are":[34,60,93],"inspired":[35],"by":[36],"analogue":[38],"that":[40],"exist":[41],"probabilistic":[43],"chains":[44],"behavioral":[47],"systems,":[48],"respectively.":[49],"Connections":[50],"between":[51],"two":[53],"also":[56],"reachability":[59],"discussed.":[61],"For":[62],"subclass":[64],"linear":[68],"multivariate":[72],"normal":[75],"disturbances,":[77],"geometric":[78],"necessary":[79],"sufficient":[81],"conditions":[82],"checking":[84],"derived.":[94],"proposed":[96],"results":[97],"nicely":[98],"extend":[99],"theory":[101],"known":[110],"non-deterministic":[112],"to":[115],"a":[116],"setting.":[118]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3}],"updated_date":"2026-03-10T16:38:18.471706","created_date":"2025-10-10T00:00:00"}