{"id":"https://openalex.org/W1558964573","doi":"https://doi.org/10.1007/978-3-642-11319-2_9","title":"Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming","display_name":"Path-Oriented Reachability Verification of a Class of Nonlinear Hybrid Automata Using Convex Programming","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1558964573","doi":"https://doi.org/10.1007/978-3-642-11319-2_9","mag":"1558964573"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-642-11319-2_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11319-2_9","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/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"]},{"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"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lei Bu","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, P.R.China","Department of Computer Science and Technology, Nanjing University, Nanjing, P.R.China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, P.R.China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, P.R.China","institution_ids":["https://openalex.org/I36399199"]}]},{"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/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":"Jianhua Zhao","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, P.R.China","Department of Computer Science and Technology, Nanjing University, Nanjing, P.R.China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, P.R.China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, P.R.China","institution_ids":["https://openalex.org/I36399199"]}]},{"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":false,"raw_author_name":"Xuandong Li","raw_affiliation_strings":["Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, P.R.China","Department of Computer Science and Technology, Nanjing University, Nanjing, P.R.China"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","institution_ids":["https://openalex.org/I36399199"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, Jiangsu, P.R.China, 210093","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, P.R.China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"Department of Computer Science and Technology, Nanjing University, Nanjing, P.R.China","institution_ids":["https://openalex.org/I36399199"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5029676029"],"corresponding_institution_ids":["https://openalex.org/I36399199","https://openalex.org/I881766915"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":1.8311,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.84437158,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"78","last_page":"94"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.996999979019165,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9854000210762024,"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.8638935089111328},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6873638033866882},{"id":"https://openalex.org/keywords/hybrid-automaton","display_name":"Hybrid automaton","score":0.570135235786438},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.5643503069877625},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5572630167007446},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.530686616897583},{"id":"https://openalex.org/keywords/reachability-problem","display_name":"Reachability problem","score":0.5046831369400024},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.44475695490837097},{"id":"https://openalex.org/keywords/path","display_name":"Path (computing)","score":0.42629197239875793},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.4229714870452881},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.40529128909111023},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3361148238182068},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.19941410422325134},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10083803534507751}],"concepts":[{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.8638935089111328},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6873638033866882},{"id":"https://openalex.org/C2776028153","wikidata":"https://www.wikidata.org/wiki/Q5953179","display_name":"Hybrid automaton","level":3,"score":0.570135235786438},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.5643503069877625},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5572630167007446},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.530686616897583},{"id":"https://openalex.org/C2777669093","wikidata":"https://www.wikidata.org/wiki/Q17141570","display_name":"Reachability problem","level":3,"score":0.5046831369400024},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.44475695490837097},{"id":"https://openalex.org/C2777735758","wikidata":"https://www.wikidata.org/wiki/Q817765","display_name":"Path (computing)","level":2,"score":0.42629197239875793},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.4229714870452881},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.40529128909111023},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3361148238182068},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.19941410422325134},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10083803534507751},{"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/978-3-642-11319-2_9","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-642-11319-2_9","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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":22,"referenced_works":["https://openalex.org/W78063724","https://openalex.org/W1499853177","https://openalex.org/W1522694098","https://openalex.org/W1583869287","https://openalex.org/W1844911504","https://openalex.org/W1923495615","https://openalex.org/W2004463571","https://openalex.org/W2006574672","https://openalex.org/W2025886420","https://openalex.org/W2094530979","https://openalex.org/W2104258017","https://openalex.org/W2107164313","https://openalex.org/W2147340401","https://openalex.org/W2158395308","https://openalex.org/W2160089068","https://openalex.org/W2165276844","https://openalex.org/W2178935672","https://openalex.org/W2296319761","https://openalex.org/W2401003083","https://openalex.org/W4236306094","https://openalex.org/W4250589301","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W3046249273","https://openalex.org/W2025886420","https://openalex.org/W1520155113","https://openalex.org/W71055736","https://openalex.org/W1995691455","https://openalex.org/W1965590010","https://openalex.org/W2165276844","https://openalex.org/W2147340401","https://openalex.org/W2040637657","https://openalex.org/W856973001","https://openalex.org/W747567354","https://openalex.org/W2099490078","https://openalex.org/W199864007","https://openalex.org/W1546076553","https://openalex.org/W2103488150","https://openalex.org/W1569713214","https://openalex.org/W2165214723","https://openalex.org/W2135888626","https://openalex.org/W1510603033","https://openalex.org/W2052111815"],"abstract_inverted_index":null,"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}