{"id":"https://openalex.org/W1505327227","doi":"https://doi.org/10.1007/978-3-642-19237-1_10","title":"Reasoning about Finite-State Switched Systems","display_name":"Reasoning about Finite-State Switched Systems","publication_year":2011,"publication_date":"2011-01-01","ids":{"openalex":"https://openalex.org/W1505327227","doi":"https://doi.org/10.1007/978-3-642-19237-1_10","mag":"1505327227"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-19237-1_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-19237-1_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5003817717","display_name":"Dana Fisman","orcid":"https://orcid.org/0000-0002-6015-4170"},"institutions":[{"id":"https://openalex.org/I4210167297","display_name":"IBM Research - Haifa","ror":"https://ror.org/05rw9t746","country_code":"IL","type":"facility","lineage":["https://openalex.org/I1341412227","https://openalex.org/I4210114115","https://openalex.org/I4210167297"]},{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":true,"raw_author_name":"Dana Fisman","raw_affiliation_strings":["IBM Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel","School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel and IBM Haifa Research Lab, Haifa University Campus, Haifa, Israel#TAB#"],"affiliations":[{"raw_affiliation_string":"IBM Haifa Research Lab, Haifa University Campus, Haifa, 31905, Israel","institution_ids":["https://openalex.org/I4210167297"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel and IBM Haifa Research Lab, Haifa University Campus, Haifa, Israel#TAB#","institution_ids":["https://openalex.org/I197251160"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077429082","display_name":"Orna Kupferman","orcid":"https://orcid.org/0000-0003-4699-6117"},"institutions":[{"id":"https://openalex.org/I197251160","display_name":"Hebrew University of Jerusalem","ror":"https://ror.org/03qxff017","country_code":"IL","type":"education","lineage":["https://openalex.org/I197251160"]}],"countries":["IL"],"is_corresponding":false,"raw_author_name":"Orna Kupferman","raw_affiliation_strings":["School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel ("],"affiliations":[{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, 91904, Israel","institution_ids":["https://openalex.org/I197251160"]},{"raw_affiliation_string":"School of Computer Science and Engineering, Hebrew University, Jerusalem, Israel (","institution_ids":["https://openalex.org/I197251160"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5003817717"],"corresponding_institution_ids":["https://openalex.org/I197251160","https://openalex.org/I4210167297"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7706,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.72400942,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":95},"biblio":{"volume":null,"issue":null,"first_page":"71","last_page":"86"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9979000091552734,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9969000220298767,"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/computer-science","display_name":"Computer science","score":0.7938538789749146},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6952078938484192},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.6772654056549072},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.629418134689331},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6199890971183777},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.6157140135765076},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5326882004737854},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.5271743535995483},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.483549565076828},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.47291287779808044},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.4130280911922455},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3859013319015503},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34026315808296204},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2845088243484497},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16629692912101746}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7938538789749146},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6952078938484192},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.6772654056549072},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.629418134689331},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6199890971183777},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.6157140135765076},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5326882004737854},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.5271743535995483},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.483549565076828},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.47291287779808044},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.4130280911922455},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3859013319015503},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34026315808296204},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2845088243484497},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16629692912101746},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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":2,"locations":[{"id":"doi:10.1007/978-3-642-19237-1_10","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-19237-1_10","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.157.2518","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.2518","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.huji.ac.il/~ornak/publications/hvc09.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":29,"referenced_works":["https://openalex.org/W17866615","https://openalex.org/W42134522","https://openalex.org/W105220891","https://openalex.org/W117768600","https://openalex.org/W138455648","https://openalex.org/W268478568","https://openalex.org/W1485823765","https://openalex.org/W1500726385","https://openalex.org/W1522448884","https://openalex.org/W1536934246","https://openalex.org/W1552094772","https://openalex.org/W1583325710","https://openalex.org/W1589194756","https://openalex.org/W1783469492","https://openalex.org/W1828993462","https://openalex.org/W1971657878","https://openalex.org/W1988383139","https://openalex.org/W1990609140","https://openalex.org/W2016206563","https://openalex.org/W2031592188","https://openalex.org/W2039529128","https://openalex.org/W2051621669","https://openalex.org/W2055960145","https://openalex.org/W2061488881","https://openalex.org/W2064427240","https://openalex.org/W2130025446","https://openalex.org/W2138722122","https://openalex.org/W2162583406","https://openalex.org/W4229976411"],"related_works":["https://openalex.org/W2972379433","https://openalex.org/W1501430220","https://openalex.org/W2989332944","https://openalex.org/W2021891065","https://openalex.org/W2583549044","https://openalex.org/W2119045600","https://openalex.org/W2584984136","https://openalex.org/W2962928105","https://openalex.org/W2170336571","https://openalex.org/W2020140696"],"abstract_inverted_index":null,"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}