{"id":"https://openalex.org/W2085086411","doi":"https://doi.org/10.1145/2728606.2728609","title":"Computing bisimulation functions using SOS optimization and <i>\u03b4</i> -decidability over the reals","display_name":"Computing bisimulation functions using SOS optimization and <i>\u03b4</i> -decidability over the reals","publication_year":2015,"publication_date":"2015-04-14","ids":{"openalex":"https://openalex.org/W2085086411","doi":"https://doi.org/10.1145/2728606.2728609","mag":"2085086411"},"language":"en","primary_location":{"id":"doi:10.1145/2728606.2728609","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728609","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control","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/A5111213917","display_name":"Abhishek Murthy","orcid":"https://orcid.org/0009-0007-7174-8816"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Abhishek Murthy","raw_affiliation_strings":["Stony Brook University, Stony Brook, NY"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, Stony Brook, NY","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100781410","display_name":"Md. Ariful Islam","orcid":"https://orcid.org/0009-0006-7622-8863"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Md. Ariful Islam","raw_affiliation_strings":["Stony Brook University, Stony Brook, NY"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, Stony Brook, NY","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039202410","display_name":"Scott A. Smolka","orcid":"https://orcid.org/0000-0002-7348-630X"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Scott A. Smolka","raw_affiliation_strings":["Stony Brook University, Stony Brook, NY"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, Stony Brook, NY","institution_ids":["https://openalex.org/I59553526"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034362557","display_name":"Radu Grosu","orcid":"https://orcid.org/0000-0001-5715-2142"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Radu Grosu","raw_affiliation_strings":["Vienna Univ. of Technology, Vienna, Austria","Vienna University of technology, Vienna, Austria"],"affiliations":[{"raw_affiliation_string":"Vienna Univ. of Technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"Vienna University of technology, Vienna, Austria","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5111213917"],"corresponding_institution_ids":["https://openalex.org/I59553526"],"apc_list":null,"apc_paid":null,"fwci":2.4536,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.89518255,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"78","last_page":"87"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9958999752998352,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9908999800682068,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/decidability","display_name":"Decidability","score":0.9075847864151001},{"id":"https://openalex.org/keywords/bisimulation","display_name":"Bisimulation","score":0.870089054107666},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.6100029945373535},{"id":"https://openalex.org/keywords/lyapunov-function","display_name":"Lyapunov function","score":0.5496611595153809},{"id":"https://openalex.org/keywords/stability","display_name":"Stability (learning theory)","score":0.49938130378723145},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4845813512802124},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.4716686010360718},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4093501567840576},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3591018319129944},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.3343973159790039},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11673027276992798}],"concepts":[{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.9075847864151001},{"id":"https://openalex.org/C135315306","wikidata":"https://www.wikidata.org/wiki/Q866364","display_name":"Bisimulation","level":2,"score":0.870089054107666},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.6100029945373535},{"id":"https://openalex.org/C60640748","wikidata":"https://www.wikidata.org/wiki/Q2337858","display_name":"Lyapunov function","level":3,"score":0.5496611595153809},{"id":"https://openalex.org/C112972136","wikidata":"https://www.wikidata.org/wiki/Q7595718","display_name":"Stability (learning theory)","level":2,"score":0.49938130378723145},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4845813512802124},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.4716686010360718},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4093501567840576},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3591018319129944},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.3343973159790039},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11673027276992798},{"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/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2728606.2728609","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2728606.2728609","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W55814457","https://openalex.org/W197505684","https://openalex.org/W589398117","https://openalex.org/W1496681274","https://openalex.org/W1503973138","https://openalex.org/W1540935623","https://openalex.org/W1552094772","https://openalex.org/W1599871786","https://openalex.org/W1607353007","https://openalex.org/W1878949075","https://openalex.org/W1973013779","https://openalex.org/W1974668957","https://openalex.org/W1978884939","https://openalex.org/W1986385081","https://openalex.org/W2011199136","https://openalex.org/W2011979623","https://openalex.org/W2017493230","https://openalex.org/W2033118636","https://openalex.org/W2034691810","https://openalex.org/W2046402929","https://openalex.org/W2062834906","https://openalex.org/W2074027094","https://openalex.org/W2078162013","https://openalex.org/W2098989671","https://openalex.org/W2113256684","https://openalex.org/W2124611339","https://openalex.org/W2128612513","https://openalex.org/W2134403574","https://openalex.org/W2158712198","https://openalex.org/W2160766917","https://openalex.org/W2165626406","https://openalex.org/W2166280160","https://openalex.org/W2485242274","https://openalex.org/W2600130231","https://openalex.org/W6630104300","https://openalex.org/W6632501336","https://openalex.org/W6635898184"],"related_works":["https://openalex.org/W2107608134","https://openalex.org/W2136485937","https://openalex.org/W1554045856","https://openalex.org/W1598641851","https://openalex.org/W1601172863","https://openalex.org/W1965551437","https://openalex.org/W1514211561","https://openalex.org/W1869644701","https://openalex.org/W1550244413","https://openalex.org/W2125768798"],"abstract_inverted_index":{"We":[0],"present":[1],"BFComp,":[2],"an":[3],"automated":[4],"framework":[5],"based":[6],"on":[7],"Sum-Of-Squares":[8],"(SOS)":[9],"optimization":[10],"and":[11,44],"\u03b4-decidability":[12],"over":[13],"the":[14,36,50,53],"reals,":[15],"to":[16,48,57],"compute":[17],"Bisimulation":[18],"Functions":[19],"(BFs)":[20],"that":[21,33],"characterize":[22],"Input-to-Output":[23],"Stability":[24],"(IOS)":[25],"of":[26,38,42,52],"dynamical":[27],"systems.":[28],"BFs":[29],"are":[30],"Lyapunov-like":[31],"functions":[32],"decay":[34],"along":[35],"trajectories":[37],"a":[39],"given":[40],"pair":[41],"systems,":[43],"can":[45],"be":[46],"used":[47],"establish":[49],"stability":[51],"outputs":[54],"with":[55],"respect":[56],"bounded":[58],"input":[59],"deviations.":[60]},"counts_by_year":[{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}