{"id":"https://openalex.org/W2057596990","doi":"https://doi.org/10.1109/cdc.2002.1184190","title":"Bisimilar control affine systems","display_name":"Bisimilar control affine systems","publication_year":2003,"publication_date":"2003-08-27","ids":{"openalex":"https://openalex.org/W2057596990","doi":"https://doi.org/10.1109/cdc.2002.1184190","mag":"2057596990"},"language":"en","primary_location":{"id":"doi:10.1109/cdc.2002.1184190","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2002.1184190","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st IEEE Conference on Decision and Control, 2002.","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repository.upenn.edu/bitstreams/5ac25183-9f01-496e-89e8-617f8231a7f1/download","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047674203","display_name":"Paulo Tabuada","orcid":"https://orcid.org/0000-0002-3417-0951"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"P. Tabuada","raw_affiliation_strings":["Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","Dept. of Electr. & Syst. Eng., Pennsylvania Univ., Philadelphia, PA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Dept. of Electr. & Syst. Eng., Pennsylvania Univ., Philadelphia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029243115","display_name":"George J. Pappas","orcid":"https://orcid.org/0000-0001-9081-0637"},"institutions":[{"id":"https://openalex.org/I79576946","display_name":"University of Pennsylvania","ror":"https://ror.org/00b30xv10","country_code":"US","type":"education","lineage":["https://openalex.org/I79576946"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"G.J. Pappas","raw_affiliation_strings":["Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","Dept. of Electr. & Syst. Eng., Pennsylvania Univ., Philadelphia, PA, USA#TAB#"],"affiliations":[{"raw_affiliation_string":"Department of Electrical and Systems Engineering, University of Pennsylvania, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I79576946"]},{"raw_affiliation_string":"Dept. of Electr. & Syst. Eng., Pennsylvania Univ., Philadelphia, PA, USA#TAB#","institution_ids":["https://openalex.org/I79576946"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5047674203"],"corresponding_institution_ids":["https://openalex.org/I79576946"],"apc_list":null,"apc_paid":null,"fwci":1.4547,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.8202583,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"3","issue":null,"first_page":"2373","last_page":"2378"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9988999962806702,"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/T11178","display_name":"Receptor Mechanisms and Signaling","score":0.9657999873161316,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12772","display_name":"Control and Stability of Dynamical Systems","score":0.9632999897003174,"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/bisimulation","display_name":"Bisimulation","score":0.9198265075683594},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6041250228881836},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.5252918004989624},{"id":"https://openalex.org/keywords/factoring","display_name":"Factoring","score":0.48029372096061707},{"id":"https://openalex.org/keywords/affine-transformation","display_name":"Affine transformation","score":0.47774046659469604},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.46776220202445984},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.4372543692588806},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.4286084473133087},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.428326815366745},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.4150208830833435},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3633439540863037},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.3374764323234558},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3343049883842468},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2947767376899719},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18333804607391357},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09430420398712158}],"concepts":[{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.9198265075683594},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6041250228881836},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.5252918004989624},{"id":"https://openalex.org/C177225278","wikidata":"https://www.wikidata.org/wiki/Q192674","display_name":"Factoring","level":2,"score":0.48029372096061707},{"id":"https://openalex.org/C92757383","wikidata":"https://www.wikidata.org/wiki/Q382497","display_name":"Affine transformation","level":2,"score":0.47774046659469604},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.46776220202445984},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.4372543692588806},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.4286084473133087},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.428326815366745},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.4150208830833435},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3633439540863037},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.3374764323234558},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3343049883842468},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2947767376899719},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18333804607391357},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09430420398712158},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1109/cdc.2002.1184190","is_oa":false,"landing_page_url":"https://doi.org/10.1109/cdc.2002.1184190","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st IEEE Conference on Decision and Control, 2002.","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/33348","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/33348","pdf_url":null,"source":{"id":"https://openalex.org/S4306402083","display_name":"ScholarlyCommons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"published","raw_type":"Article"},{"id":"pmh:oai:repository.upenn.edu:ese_papers-1112","is_oa":true,"landing_page_url":"https://repository.upenn.edu/ese_papers/115","pdf_url":"https://repository.upenn.edu/bitstreams/5ac25183-9f01-496e-89e8-617f8231a7f1/download","source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (ESE)","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:ese_papers-1177","is_oa":false,"landing_page_url":"https://repository.upenn.edu/ese_papers/164","pdf_url":null,"source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (ESE)","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.19.8284","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.19.8284","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.seas.upenn.edu/~pappasg/papers/CDC02-REG0278.pdf","raw_type":"text"},{"id":"pmh:oai:repository.upenn.edu:20.500.14332/33294","is_oa":false,"landing_page_url":"https://repository.upenn.edu/handle/20.500.14332/33294","pdf_url":null,"source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"published","raw_type":"Presentation"}],"best_oa_location":{"id":"pmh:oai:repository.upenn.edu:ese_papers-1112","is_oa":true,"landing_page_url":"https://repository.upenn.edu/ese_papers/115","pdf_url":"https://repository.upenn.edu/bitstreams/5ac25183-9f01-496e-89e8-617f8231a7f1/download","source":{"id":"https://openalex.org/S4377196331","display_name":"Scholarly Commons (University of Pennsylvania)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I79576946","host_organization_name":"University of Pennsylvania","host_organization_lineage":["https://openalex.org/I79576946"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Departmental Papers (ESE)","raw_type":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W2057596990.pdf"},"referenced_works_count":26,"referenced_works":["https://openalex.org/W160955151","https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1516750454","https://openalex.org/W1525610771","https://openalex.org/W1964373008","https://openalex.org/W1965167254","https://openalex.org/W1991332019","https://openalex.org/W1994246733","https://openalex.org/W1998112257","https://openalex.org/W2007454285","https://openalex.org/W2027389642","https://openalex.org/W2041961320","https://openalex.org/W2057596990","https://openalex.org/W2067478268","https://openalex.org/W2073808262","https://openalex.org/W2090771707","https://openalex.org/W2092405825","https://openalex.org/W2118100616","https://openalex.org/W2132673710","https://openalex.org/W2565969279","https://openalex.org/W3207781852","https://openalex.org/W4239328886","https://openalex.org/W6606529298","https://openalex.org/W6630799486","https://openalex.org/W6802135958"],"related_works":["https://openalex.org/W2377710379","https://openalex.org/W2947911821","https://openalex.org/W2393473966","https://openalex.org/W1586382855","https://openalex.org/W2008781243","https://openalex.org/W2790309851","https://openalex.org/W1569743961","https://openalex.org/W2984861660","https://openalex.org/W2115698108","https://openalex.org/W4300186027"],"abstract_inverted_index":{"The":[0],"notion":[1,43],"of":[2,18,22,46,68,78,86,105,109],"bisimulation":[3,69],"plays":[4],"a":[5,41,75],"very":[6],"important":[7],"role":[8],"in":[9,27,48],"theoretical":[10],"computer":[11],"science":[12],"where":[13],"it":[14],"provides":[15],"several":[16],"notions":[17,67,80],"equivalence":[19],"between":[20],"models":[21],"computation.":[23],"These":[24],"equivalences":[25],"are":[26,89,108],"turn":[28],"used":[29],"to":[30,50],"simplify":[31],"analysis":[32,53],"and":[33,54,81],"synthesis":[34],"for":[35,57,70],"these":[36,79],"models.":[37],"In":[38],"system":[39],"theory,":[40],"similar":[42],"is":[44],"also":[45,99],"interest":[47],"order":[49],"develop":[51],"modular":[52],"design":[55],"tools":[56],"purely":[58],"continuous":[59],"or":[60],"hybrid":[61],"control":[62],"systems.":[63,72],"We":[64,73],"introduce":[65],"two":[66],"nonlinear":[71],"present":[74],"differential-algebraic":[76],"characterization":[77],"show":[82,100],"that":[83,101],"bisimilar":[84,103],"systems":[85,104],"different":[87,106],"dimensions":[88],"obtained":[90],"by":[91],"factoring":[92],"out":[93],"certain":[94],"invariant":[95],"distributions.":[96],"Furthermore,":[97],"we":[98],"all":[102],"dimension":[107],"this":[110],"form.":[111]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}