{"id":"https://openalex.org/W2099490078","doi":"https://doi.org/10.1145/1774088.1774609","title":"Reachability analysis of GSPDIs","display_name":"Reachability analysis of GSPDIs","publication_year":2010,"publication_date":"2010-03-22","ids":{"openalex":"https://openalex.org/W2099490078","doi":"https://doi.org/10.1145/1774088.1774609","mag":"2099490078"},"language":"en","primary_location":{"id":"doi:10.1145/1774088.1774609","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1774088.1774609","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 ACM Symposium on Applied Computing","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/A5019358311","display_name":"Hallstein Asheim Hansen","orcid":null},"institutions":[{"id":"https://openalex.org/I134430530","display_name":"Buskerud University College","ror":"https://ror.org/04k0yqc48","country_code":"NO","type":"education","lineage":["https://openalex.org/I134430530","https://openalex.org/I2801380234"]},{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Hallstein A. Hansen","raw_affiliation_strings":["Buskerud University College, Norway, University of Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"Buskerud University College, Norway, University of Oslo, Norway","institution_ids":["https://openalex.org/I134430530","https://openalex.org/I184942183"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5051084250","display_name":"Gerardo Schneider","orcid":"https://orcid.org/0000-0003-0629-6853"},"institutions":[{"id":"https://openalex.org/I184942183","display_name":"University of Oslo","ror":"https://ror.org/01xtthb56","country_code":"NO","type":"education","lineage":["https://openalex.org/I184942183"]},{"id":"https://openalex.org/I881427289","display_name":"University of Gothenburg","ror":"https://ror.org/01tm6cn81","country_code":"SE","type":"education","lineage":["https://openalex.org/I881427289"]}],"countries":["NO","SE"],"is_corresponding":false,"raw_author_name":"Gerardo Schneider","raw_affiliation_strings":["University of Gothenburg, Sweden, University of Oslo, Norway"],"affiliations":[{"raw_affiliation_string":"University of Gothenburg, Sweden, University of Oslo, Norway","institution_ids":["https://openalex.org/I881427289","https://openalex.org/I184942183"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5019358311"],"corresponding_institution_ids":["https://openalex.org/I134430530","https://openalex.org/I184942183"],"apc_list":null,"apc_paid":null,"fwci":0.3345,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.63040954,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"2511","last_page":"2516"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":1.0,"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":1.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/reachability","display_name":"Reachability","score":0.9516996145248413},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.91172856092453},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.9087085723876953},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.7993904948234558},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.648134708404541},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6417146921157837},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.6283257007598877},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6167595386505127},{"id":"https://openalex.org/keywords/dimension","display_name":"Dimension (graph theory)","score":0.5452260971069336},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4487239718437195},{"id":"https://openalex.org/keywords/planar","display_name":"Planar","score":0.44256851077079773},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3882455825805664},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3316395580768585},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.3270689845085144},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.2635192275047302},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.10555163025856018},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.10253962874412537}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9516996145248413},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.91172856092453},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.9087085723876953},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.7993904948234558},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.648134708404541},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6417146921157837},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.6283257007598877},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6167595386505127},{"id":"https://openalex.org/C33676613","wikidata":"https://www.wikidata.org/wiki/Q13415176","display_name":"Dimension (graph theory)","level":2,"score":0.5452260971069336},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4487239718437195},{"id":"https://openalex.org/C134786449","wikidata":"https://www.wikidata.org/wiki/Q3391255","display_name":"Planar","level":2,"score":0.44256851077079773},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3882455825805664},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3316395580768585},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.3270689845085144},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.2635192275047302},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.10555163025856018},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.10253962874412537},{"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/C121684516","wikidata":"https://www.wikidata.org/wiki/Q7600677","display_name":"Computer graphics (images)","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1774088.1774609","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1774088.1774609","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2010 ACM Symposium on Applied Computing","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1501687287","https://openalex.org/W1546536933","https://openalex.org/W1577414942","https://openalex.org/W1836267891","https://openalex.org/W2155815558","https://openalex.org/W2281218127"],"related_works":["https://openalex.org/W2020140696","https://openalex.org/W2591956186","https://openalex.org/W1553002193","https://openalex.org/W1805200712","https://openalex.org/W1563786920","https://openalex.org/W1993478572","https://openalex.org/W2489809986","https://openalex.org/W2119045600","https://openalex.org/W2962928105","https://openalex.org/W2584984136"],"abstract_inverted_index":{"Analysis":[0],"of":[1,53,60,90],"systems":[2,63],"containing":[3],"both":[4],"discrete":[5],"and":[6,25],"continuous":[7],"dynamics,":[8],"hybrid":[9,62],"systems,":[10],"is":[11,40],"a":[12,58,77],"difficult":[13],"issue.":[14],"Most":[15],"problems":[16],"have":[17],"been":[18],"shown":[19],"to":[20,75],"be":[21],"undecidable":[22],"in":[23],"general,":[24],"decidability":[26,52],"holds":[27],"only":[28],"for":[29,57],"few":[30],"classes":[31],"where":[32],"the":[33,38,51,54,82,88,91,94],"dynamics":[34],"are":[35],"restricted":[36],"and/or":[37],"dimension":[39],"low.":[41],"In":[42],"this":[43],"paper":[44],"we":[45],"present":[46],"some":[47],"theoretical":[48],"results":[49,72],"concerning":[50],"reachability":[55,79],"problem":[56],"class":[59],"planar":[61],"called":[64],"Generalized":[65],"Polygonal":[66],"Hybrid":[67],"Systems":[68],"(GSPDI).":[69],"These":[70],"new":[71],"provide":[73],"means":[74],"optimize":[76],"previous":[78],"algorithm,":[80],"making":[81],"implementation":[83,89],"feasible.":[84],"We":[85],"also":[86],"discuss":[87],"algorithm":[92],"into":[93],"tool":[95],"GSPeeDI.":[96]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}