{"id":"https://openalex.org/W2040637657","doi":"https://doi.org/10.1007/s10009-010-0163-9","title":"Path-oriented bounded reachability analysis of composed linear hybrid systems","display_name":"Path-oriented bounded reachability analysis of composed linear hybrid systems","publication_year":2010,"publication_date":"2010-06-17","ids":{"openalex":"https://openalex.org/W2040637657","doi":"https://doi.org/10.1007/s10009-010-0163-9","mag":"2040637657"},"language":"en","primary_location":{"id":"doi:10.1007/s10009-010-0163-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-010-0163-9","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"International Journal on Software Tools for Technology Transfer","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/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"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":false,"raw_author_name":"Lei Bu","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","Nanjing University, State Key Laboratory of Novel Software Technology, 210093, Nanjing, Jiangsu, People\u2019s Republic of China and Nanjing University, Department of Computer Science and Techno ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Nanjing University, State Key Laboratory of Novel Software Technology, 210093, Nanjing, Jiangsu, People\u2019s Republic of China and Nanjing University, Department of Computer Science and Techno ...#TAB#","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/I36399199","display_name":"Nanjing University of Science and Technology","ror":"https://ror.org/00xp9wg62","country_code":"CN","type":"education","lineage":["https://openalex.org/I36399199"]},{"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":["Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","Nanjing Univ., State Key Laboratory of Novel Software Technology, 210093, Nanjing, Jiangsu, People\u2019s Republic of China and Nanjing Univ., Dept. of Comp. Sci. and Technol., Nanjing, Jiangsu, ...#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology, Nanjing University, Nanjing, Jiangsu, 210093, People\u2019s Republic of China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Nanjing Univ., State Key Laboratory of Novel Software Technology, 210093, Nanjing, Jiangsu, People\u2019s Republic of China and Nanjing Univ., Dept. of Comp. Sci. and Technol., Nanjing, Jiangsu, ...#TAB#","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5090810072"],"corresponding_institution_ids":["https://openalex.org/I36399199","https://openalex.org/I881766915"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":2.2264,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.87318312,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":"13","issue":"4","first_page":"307","last_page":"317"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9976000189781189,"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.9406144022941589},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.807675838470459},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.7147544026374817},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7016547918319702},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.5726501941680908},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.503609836101532},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.44084253907203674},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.366062194108963},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30684036016464233},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2807902693748474},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22645685076713562}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.9406144022941589},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.807675838470459},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.7147544026374817},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7016547918319702},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.5726501941680908},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.503609836101532},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.44084253907203674},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.366062194108963},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30684036016464233},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2807902693748474},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22645685076713562},{"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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10009-010-0163-9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10009-010-0163-9","pdf_url":null,"source":{"id":"https://openalex.org/S122567160","display_name":"International Journal on Software Tools for Technology Transfer","issn_l":"1433-2779","issn":["1433-2779","1433-2787"],"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":"International Journal on Software Tools for Technology Transfer","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/13","score":0.5600000023841858,"display_name":"Climate action"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1499407607","https://openalex.org/W1522276539","https://openalex.org/W1522694098","https://openalex.org/W1571054242","https://openalex.org/W1583869287","https://openalex.org/W1923495615","https://openalex.org/W1978113628","https://openalex.org/W2004463571","https://openalex.org/W2025886420","https://openalex.org/W2060095702","https://openalex.org/W2085838366","https://openalex.org/W2094530979","https://openalex.org/W2104258017","https://openalex.org/W2116176955","https://openalex.org/W2144010346","https://openalex.org/W2147340401","https://openalex.org/W2162776653","https://openalex.org/W2163850966","https://openalex.org/W2911583164","https://openalex.org/W4245664566","https://openalex.org/W4253563042"],"related_works":["https://openalex.org/W2357387646","https://openalex.org/W4300463216","https://openalex.org/W4253760428","https://openalex.org/W856973001","https://openalex.org/W2047831585","https://openalex.org/W2952920810","https://openalex.org/W4293477811","https://openalex.org/W2017676950","https://openalex.org/W78063724","https://openalex.org/W197679583"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}