{"id":"https://openalex.org/W2148187625","doi":"https://doi.org/10.1109/cdc.2005.1582376","title":"Achievable Bisimilar Behaviour of Abstract State Systems","display_name":"Achievable Bisimilar Behaviour of Abstract State Systems","publication_year":2006,"publication_date":"2006-10-04","ids":{"openalex":"https://openalex.org/W2148187625","doi":"https://doi.org/10.1109/cdc.2005.1582376","mag":"2148187625"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2005.1582376","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582376","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.rug.nl/en/publications/9d35c7d1-e5bd-459b-8e43-78f411639cb4","any_repository_has_fulltext":true},"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":false,"raw_author_name":"G. Pola","raw_affiliation_strings":["Department of Electrical Engineering, Center of Excellence DEWS, University of L'' Aquila, Laquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Center of Excellence DEWS, University of L'' Aquila, Laquila, 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"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"A.J. van der Schaft","raw_affiliation_strings":["Department of Applied Mathematics, University of Twente, Enschede, Netherlands","Institute for Mathematics and Computer Science, University of Groningam, Groningen, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, University of Twente, Enschede, Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Institute for Mathematics and Computer Science, University of Groningam, Groningen, 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":"M.D. Di Benedetto","raw_affiliation_strings":["Department of Electrical Engineering, Center of Excellence DEWS, University of L'' Aquila, Laquila, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, Center of Excellence DEWS, University of L'' Aquila, Laquila, Italy","institution_ids":["https://openalex.org/I26415053"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8827,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.71007371,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"1535","last_page":"1540"},"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.9975000023841858,"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.9975000023841858,"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/state","display_name":"State (computer science)","score":0.7122341394424438},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5242274403572083},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4867396354675293},{"id":"https://openalex.org/keywords/control-theory","display_name":"Control theory (sociology)","score":0.45809513330459595},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4542243778705597},{"id":"https://openalex.org/keywords/controller","display_name":"Controller (irrigation)","score":0.44434577226638794},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34678947925567627},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.17995122075080872},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.11817315220832825},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.09258297085762024},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.07609781622886658},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.06876924633979797}],"concepts":[{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.7122341394424438},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5242274403572083},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4867396354675293},{"id":"https://openalex.org/C47446073","wikidata":"https://www.wikidata.org/wiki/Q5165890","display_name":"Control theory (sociology)","level":3,"score":0.45809513330459595},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4542243778705597},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.44434577226638794},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34678947925567627},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.17995122075080872},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.11817315220832825},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.09258297085762024},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.07609781622886658},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.06876924633979797},{"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/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}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/cdc.2005.1582376","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2005.1582376","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 44th IEEE Conference on Decision and Control","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.rug.nl:openaire/9d35c7d1-e5bd-459b-8e43-78f411639cb4","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/9d35c7d1-e5bd-459b-8e43-78f411639cb4","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Pola, G, Schaft, A J V D & Benedetto, M D D 2005, Achievable Bisimilar Behaviour of Abstract State Systems. in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:ris.utwente.nl:publications/48693795-5b6c-4ce6-9926-518fc5abcec9","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/48693795-5b6c-4ce6-9926-518fc5abcec9","pdf_url":"https://ris.utwente.nl/ws/files/5344978/IEEEXplore.pdf","source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"Pola, G, van der Schaft, A & Di Benedetto, M D 2005, Achievable bisimilar behaviour of abstract state systems. in Proceedings of the 44th IEEE Conference on Decision and Control and the 2005 European Control Conference (CDC-ECC '05)., 10.1109/CDC.2005.1582376, IEEE, Seville, pp. 1535-1540, 44th Conference on Decision and Control, and 2005 European Control Conference, CDC-ECC 2005, Seville, Spain, 12/12/05. https://doi.org/10.1109/CDC.2005.1582376","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.112.2108","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.112.2108","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.rutgers.edu/~sontag/FTP_DIR/05cdc-papers-refs-eds/2139.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.134.9525","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.134.9525","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.ee.ucla.edu/~pola/publications/CDC-ECC_2005.pdf","raw_type":"text"},{"id":"pmh:oai:ris.utwente.nl:publications/48693795-5b6c-4ce6-9926-518fc5abcec9","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","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":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.rug.nl:openaire/9d35c7d1-e5bd-459b-8e43-78f411639cb4","is_oa":true,"landing_page_url":"https://research.rug.nl/en/publications/9d35c7d1-e5bd-459b-8e43-78f411639cb4","pdf_url":null,"source":{"id":"https://openalex.org/S4306400420","display_name":"University of Groningen research database (University of Groningen / Centre for Information Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I169381384","host_organization_name":"University of Groningen","host_organization_lineage":["https://openalex.org/I169381384"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Pola, G, Schaft, A J V D & Benedetto, M D D 2005, Achievable Bisimilar Behaviour of Abstract State Systems. in Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference. University of Groningen, Johann Bernoulli Institute for Mathematics and Computer Science.","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W9012611","https://openalex.org/W1484739396","https://openalex.org/W1503973138","https://openalex.org/W1509586029","https://openalex.org/W1547562281","https://openalex.org/W1977878416","https://openalex.org/W1979349468","https://openalex.org/W2029018540","https://openalex.org/W2059057465","https://openalex.org/W2096603442","https://openalex.org/W2109080678","https://openalex.org/W2120552118","https://openalex.org/W2131926924","https://openalex.org/W2139817557","https://openalex.org/W2140907939","https://openalex.org/W2142124345","https://openalex.org/W2150161350","https://openalex.org/W2167400512","https://openalex.org/W2171837338","https://openalex.org/W2738635245","https://openalex.org/W2913459036","https://openalex.org/W4242398744"],"related_works":["https://openalex.org/W1982160337","https://openalex.org/W1971380437","https://openalex.org/W1983548084","https://openalex.org/W2141691317","https://openalex.org/W2110846987","https://openalex.org/W2160609742","https://openalex.org/W2979526210","https://openalex.org/W1997414638","https://openalex.org/W2031091109","https://openalex.org/W1514662352"],"abstract_inverted_index":{"Given":[0],"a":[1,5,15,23],"plant":[2],"system":[3,24],"and":[4,34,49,67],"desired":[6,30],"system,":[7],"we":[8],"study":[9],"conditions":[10,37],"for":[11,54],"which":[12],"there":[13],"exists":[14],"controller":[16],"that":[17,25],"interconnected":[18],"with":[19],"the":[20,29,41,55],"plant,":[21],"yields":[22],"is":[26],"bisimilar":[27],"to":[28],"system.":[31],"Some":[32],"sufficient":[33],"some":[35],"necessary":[36],"are":[38,52],"provided":[39],"in":[40],"general":[42],"case":[43],"of":[44,58],"(non-deterministic)":[45],"abstract":[46,60,64],"state":[47,61,65],"systems":[48],"stronger":[50],"results":[51],"obtained":[53],"special":[56],"classes":[57],"autonomous":[59],"systems,":[62,66],"finite":[63],"non-deterministic":[68],"linear":[69],"dynamical":[70],"systems.":[71]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-08-01T09:00:35.917206","created_date":"2025-10-10T00:00:00"}