{"id":"https://openalex.org/W2810743894","doi":"https://doi.org/10.1109/lcsys.2018.2851195","title":"Output Feedback Control via Bisimulation of Stochastic Linear Systems","display_name":"Output Feedback Control via Bisimulation of Stochastic Linear Systems","publication_year":2018,"publication_date":"2018-06-27","ids":{"openalex":"https://openalex.org/W2810743894","doi":"https://doi.org/10.1109/lcsys.2018.2851195","mag":"2810743894"},"language":"en","primary_location":{"id":"doi:10.1109/lcsys.2018.2851195","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2018.2851195","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/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, Computer Science and Mathematics, University of L\u2019Aquila, L\u2019Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics, University of L\u2019Aquila, L\u2019Aquila, 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, Computer Science and Mathematics, University of L\u2019Aquila, L\u2019Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics, University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]},{"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, Computer Science and Mathematics, University of L\u2019Aquila, L\u2019Aquila, Italy"],"affiliations":[{"raw_affiliation_string":"Department of Information Engineering, Computer Science and Mathematics, University of L\u2019Aquila, L\u2019Aquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084720300"],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":0.2019,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.52733132,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3","issue":"1","first_page":"25","last_page":"30"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9998000264167786,"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.9955999851226807,"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/T10142","display_name":"Formal Methods in Verification","score":0.9940000176429749,"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/bisimulation","display_name":"Bisimulation","score":0.8667571544647217},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.6778354644775391},{"id":"https://openalex.org/keywords/interconnection","display_name":"Interconnection","score":0.6554951667785645},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.5765789747238159},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.5529789328575134},{"id":"https://openalex.org/keywords/discrete-time-and-continuous-time","display_name":"Discrete time and continuous time","score":0.5395779609680176},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.5153181552886963},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4954341650009155},{"id":"https://openalex.org/keywords/discrete-time-stochastic-process","display_name":"Discrete-time stochastic process","score":0.4529033601284027},{"id":"https://openalex.org/keywords/stochastic-process","display_name":"Stochastic process","score":0.43379148840904236},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.42387181520462036},{"id":"https://openalex.org/keywords/stochastic-control","display_name":"Stochastic control","score":0.4219379127025604},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3683739900588989},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.3474324643611908},{"id":"https://openalex.org/keywords/continuous-time-stochastic-process","display_name":"Continuous-time stochastic process","score":0.32184433937072754},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.22757980227470398},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.178830087184906},{"id":"https://openalex.org/keywords/optimal-control","display_name":"Optimal control","score":0.13118678331375122},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.09544861316680908}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.8667571544647217},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.6778354644775391},{"id":"https://openalex.org/C123745756","wikidata":"https://www.wikidata.org/wiki/Q1665949","display_name":"Interconnection","level":2,"score":0.6554951667785645},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.5765789747238159},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.5529789328575134},{"id":"https://openalex.org/C55689738","wikidata":"https://www.wikidata.org/wiki/Q15963867","display_name":"Discrete time and continuous time","level":2,"score":0.5395779609680176},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.5153181552886963},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4954341650009155},{"id":"https://openalex.org/C92703954","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Discrete-time stochastic process","level":4,"score":0.4529033601284027},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.43379148840904236},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.42387181520462036},{"id":"https://openalex.org/C170131372","wikidata":"https://www.wikidata.org/wiki/Q7617811","display_name":"Stochastic control","level":3,"score":0.4219379127025604},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3683739900588989},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.3474324643611908},{"id":"https://openalex.org/C158535547","wikidata":"https://www.wikidata.org/wiki/Q5165437","display_name":"Continuous-time stochastic process","level":3,"score":0.32184433937072754},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.22757980227470398},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.178830087184906},{"id":"https://openalex.org/C91575142","wikidata":"https://www.wikidata.org/wiki/Q1971426","display_name":"Optimal control","level":2,"score":0.13118678331375122},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.09544861316680908},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C6557445","wikidata":"https://www.wikidata.org/wiki/Q173113","display_name":"Agronomy","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/lcsys.2018.2851195","is_oa":false,"landing_page_url":"https://doi.org/10.1109/lcsys.2018.2851195","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W83533993","https://openalex.org/W1984471762","https://openalex.org/W2006337895","https://openalex.org/W2109080678","https://openalex.org/W2134588629","https://openalex.org/W2142124345","https://openalex.org/W2148187625","https://openalex.org/W2150161350","https://openalex.org/W2154578219","https://openalex.org/W2162924551","https://openalex.org/W2167400512","https://openalex.org/W2568911038","https://openalex.org/W2570349895","https://openalex.org/W2648655468","https://openalex.org/W2760958540","https://openalex.org/W2782997598","https://openalex.org/W2964186632","https://openalex.org/W2993369091","https://openalex.org/W4242398744","https://openalex.org/W4251892696","https://openalex.org/W4297744580","https://openalex.org/W6679851055"],"related_works":["https://openalex.org/W17285278","https://openalex.org/W1600122642","https://openalex.org/W1515213997","https://openalex.org/W4299533968","https://openalex.org/W2963556112","https://openalex.org/W1508522294","https://openalex.org/W4302305711","https://openalex.org/W2126102075","https://openalex.org/W2065120053","https://openalex.org/W2111048679"],"abstract_inverted_index":{"The":[0],"characterization":[1],"of":[2,37,82],"the":[3],"behavior":[4],"that":[5],"can":[6],"be":[7],"achieved":[8],"by":[9],"a":[10,15,18],"plant":[11],"when":[12],"interconnected":[13],"with":[14,95],"controller":[16,98],"is":[17,50],"topic":[19],"widely":[20],"investigated":[21],"in":[22,53,80],"mathematical":[23],"systems":[24,90],"theory.":[25],"In":[26,56],"this":[27,57,64],"regard,":[28],"many":[29],"results":[30],"have":[31],"been":[32],"obtained":[33],"for":[34,42,75],"several":[35],"classes":[36],"continuous":[38],"systems,":[39],"and":[40,44,66,70],"also":[41],"discrete-event":[43],"hybrid":[45],"systems.":[46,99],"However,":[47],"current":[48],"literature":[49],"rather":[51],"scant":[52],"stochastic":[54,78,83,88],"settings.":[55],"letter":[58],"we":[59],"aim":[60],"to":[61],"start":[62],"filling":[63],"gap":[65],"provide":[67],"some":[68,71],"necessary":[69],"sufficient":[72],"checkable":[73],"conditions":[74],"enforcing":[76],"desired":[77],"behavior,":[79],"terms":[81],"bisimulation":[84],"equivalence,":[85],"on":[86],"discrete-time":[87],"linear":[89,97],"through":[91],"output":[92],"feedback":[93],"interconnection":[94],"deterministic":[96]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}