{"id":"https://openalex.org/W2072325940","doi":"https://doi.org/10.1007/s10703-014-0210-3","title":"SAT\u2013LP\u2013IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata","display_name":"SAT\u2013LP\u2013IIS joint-directed path-oriented bounded reachability analysis of linear hybrid automata","publication_year":2014,"publication_date":"2014-05-15","ids":{"openalex":"https://openalex.org/W2072325940","doi":"https://doi.org/10.1007/s10703-014-0210-3","mag":"2072325940"},"language":"en","primary_location":{"id":"doi:10.1007/s10703-014-0210-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-014-0210-3","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-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/A5102260367","display_name":"Dingbao Xie","orcid":null},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Dingbao Xie","raw_affiliation_strings":["State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lei Bu","raw_affiliation_strings":["State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103295231","display_name":"Jianhua Zhao","orcid":"https://orcid.org/0009-0004-3869-5108"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Jianhua Zhao","raw_affiliation_strings":["State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5090810072","display_name":"Xuandong Li","orcid":"https://orcid.org/0000-0003-3090-9568"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, The Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5029676029","https://openalex.org/A5090810072","https://openalex.org/A5102260367","https://openalex.org/A5103295231"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":{"value":3490,"currency":"USD","value_usd":3490},"apc_paid":null,"fwci":1.0473,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.7823204,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"45","issue":"1","first_page":"42","last_page":"62"},"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.9990000128746033,"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.9988999962806702,"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.6786000728607178},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5744094848632812},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.5716391205787659},{"id":"https://openalex.org/keywords/solver","display_name":"Solver","score":0.5497756600379944},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5091518759727478},{"id":"https://openalex.org/keywords/linear-programming","display_name":"Linear programming","score":0.4939175248146057},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.47717753052711487},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41572582721710205},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.389085590839386},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3663599193096161},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3443390429019928},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.32330793142318726}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6786000728607178},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5744094848632812},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.5716391205787659},{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.5497756600379944},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5091518759727478},{"id":"https://openalex.org/C41045048","wikidata":"https://www.wikidata.org/wiki/Q202843","display_name":"Linear programming","level":2,"score":0.4939175248146057},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.47717753052711487},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41572582721710205},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.389085590839386},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3663599193096161},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3443390429019928},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.32330793142318726},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10703-014-0210-3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10703-014-0210-3","pdf_url":null,"source":{"id":"https://openalex.org/S3845260","display_name":"Formal Methods in System Design","issn_l":"0925-9856","issn":["0925-9856","1572-8102"],"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":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Methods in System Design","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.41999998688697815,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1480909796","https://openalex.org/W1495266209","https://openalex.org/W1518705996","https://openalex.org/W1522694098","https://openalex.org/W1571054242","https://openalex.org/W1583869287","https://openalex.org/W1787074469","https://openalex.org/W1844911504","https://openalex.org/W1854239758","https://openalex.org/W1965965053","https://openalex.org/W2004463571","https://openalex.org/W2025886420","https://openalex.org/W2040637657","https://openalex.org/W2085838366","https://openalex.org/W2086163366","https://openalex.org/W2091968063","https://openalex.org/W2094530979","https://openalex.org/W2104258017","https://openalex.org/W2144010346","https://openalex.org/W2147340401","https://openalex.org/W2158395308","https://openalex.org/W2160089068","https://openalex.org/W2165214723","https://openalex.org/W2165276844","https://openalex.org/W2176215692","https://openalex.org/W2210642749","https://openalex.org/W2913459036","https://openalex.org/W4236306094"],"related_works":["https://openalex.org/W2368796975","https://openalex.org/W4214960932","https://openalex.org/W4213466388","https://openalex.org/W2263658107","https://openalex.org/W4226327271","https://openalex.org/W3101539253","https://openalex.org/W2538603995","https://openalex.org/W1809981151","https://openalex.org/W1486144438","https://openalex.org/W1517759046"],"abstract_inverted_index":null,"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":7},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}