{"id":"https://openalex.org/W2604445226","doi":"https://doi.org/10.1007/978-3-319-57288-8_14","title":"Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants","display_name":"Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2604445226","doi":"https://doi.org/10.1007/978-3-319-57288-8_14","mag":"2604445226"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-57288-8_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57288-8_14","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":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/dd20bb11-4986-44f6-89c4-4e0b19c997eb","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084578641","display_name":"Andrew Sogokon","orcid":"https://orcid.org/0000-0002-5849-7991"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andrew Sogokon","raw_affiliation_strings":["Institute for Software Integrated Systems, Vanderbilt University, Nashville, Tennessee, USA"],"raw_orcid":"https://orcid.org/0000-0002-5849-7991","affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, Tennessee, USA","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101598519","display_name":"Paul B. Jackson","orcid":"https://orcid.org/0000-0003-3863-8336"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Paul B. Jackson","raw_affiliation_strings":["Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, Scotland, UK"],"raw_orcid":"https://orcid.org/0000-0003-3863-8336","affiliations":[{"raw_affiliation_string":"Laboratory for Foundations of Computer Science, University of Edinburgh, Edinburgh, Scotland, UK","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067901159","display_name":"Taylor T. Johnson","orcid":"https://orcid.org/0000-0001-8021-9923"},"institutions":[{"id":"https://openalex.org/I200719446","display_name":"Vanderbilt University","ror":"https://ror.org/02vm5rt34","country_code":"US","type":"education","lineage":["https://openalex.org/I200719446"]},{"id":"https://openalex.org/I4210160740","display_name":"Integrated Software (United States)","ror":"https://ror.org/05dp7m259","country_code":"US","type":"company","lineage":["https://openalex.org/I4210160740"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["Institute for Software Integrated Systems, Vanderbilt University, Nashville, Tennessee, USA"],"raw_orcid":"https://orcid.org/0000-0001-8021-9923","affiliations":[{"raw_affiliation_string":"Institute for Software Integrated Systems, Vanderbilt University, Nashville, Tennessee, USA","institution_ids":["https://openalex.org/I4210160740","https://openalex.org/I200719446"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084578641"],"corresponding_institution_ids":["https://openalex.org/I200719446","https://openalex.org/I4210160740"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5313,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.61740122,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"194","last_page":"211"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9970999956130981,"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.9970999956130981,"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/T10791","display_name":"Advanced Control Systems Optimization","score":0.9959999918937683,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9609000086784363,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6925885677337646},{"id":"https://openalex.org/keywords/nonlinear-system","display_name":"Nonlinear system","score":0.5798379778862},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.5043691396713257},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4969837963581085},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.47375303506851196},{"id":"https://openalex.org/keywords/invariant","display_name":"Invariant (physics)","score":0.44973862171173096},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.43522489070892334},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4114600121974945},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.39692622423171997},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.318214476108551},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2222341001033783},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.11097878217697144}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6925885677337646},{"id":"https://openalex.org/C158622935","wikidata":"https://www.wikidata.org/wiki/Q660848","display_name":"Nonlinear system","level":2,"score":0.5798379778862},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.5043691396713257},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4969837963581085},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.47375303506851196},{"id":"https://openalex.org/C190470478","wikidata":"https://www.wikidata.org/wiki/Q2370229","display_name":"Invariant (physics)","level":2,"score":0.44973862171173096},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.43522489070892334},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4114600121974945},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.39692622423171997},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.318214476108551},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2222341001033783},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.11097878217697144},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","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/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-319-57288-8_14","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-57288-8_14","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:pure.ed.ac.uk:openaire/dd20bb11-4986-44f6-89c4-4e0b19c997eb","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/dd20bb11-4986-44f6-89c4-4e0b19c997eb","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sogokon, A, Jackson, P B & Johnson, T T 2017, Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. in NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10227, pp. 194-211, 9th NASA Formal Methods Symposium , Moffett Field, California, United States, 16/05/17. https://doi.org/10.1007/978-3-319-57288-8_14","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/dd20bb11-4986-44f6-89c4-4e0b19c997eb","is_oa":false,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/verifying-safety-and-persistence-properties-of-hybrid-systems-using-flowpipes-and-continuous-invariants(dd20bb11-4986-44f6-89c4-4e0b19c997eb).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/dd20bb11-4986-44f6-89c4-4e0b19c997eb","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/dd20bb11-4986-44f6-89c4-4e0b19c997eb","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Sogokon, A, Jackson, P B & Johnson, T T 2017, Verifying Safety and Persistence Properties of Hybrid Systems Using Flowpipes and Continuous Invariants. in NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Lecture Notes in Computer Science, vol. 10227, pp. 194-211, 9th NASA Formal Methods Symposium , Moffett Field, California, United States, 16/05/17. https://doi.org/10.1007/978-3-319-57288-8_14","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1598339071","display_name":null,"funder_award_id":"EP/I011005/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G274222189","display_name":null,"funder_award_id":"EP/N014758/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G3829497515","display_name":null,"funder_award_id":"EP/J001058/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G636258275","display_name":null,"funder_award_id":"EP/I010335/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":65,"referenced_works":["https://openalex.org/W17954992","https://openalex.org/W152729695","https://openalex.org/W172589331","https://openalex.org/W183350788","https://openalex.org/W197679583","https://openalex.org/W306903215","https://openalex.org/W622938260","https://openalex.org/W634869298","https://openalex.org/W856973001","https://openalex.org/W979541187","https://openalex.org/W1482912566","https://openalex.org/W1520660718","https://openalex.org/W1523211942","https://openalex.org/W1531018690","https://openalex.org/W1535116423","https://openalex.org/W1538215585","https://openalex.org/W1558296274","https://openalex.org/W1579164394","https://openalex.org/W1585927874","https://openalex.org/W1590463358","https://openalex.org/W1602659747","https://openalex.org/W1605350484","https://openalex.org/W1607353007","https://openalex.org/W1869606479","https://openalex.org/W1974537499","https://openalex.org/W1977444293","https://openalex.org/W1979646426","https://openalex.org/W1994348879","https://openalex.org/W1995691455","https://openalex.org/W1998661762","https://openalex.org/W2003777434","https://openalex.org/W2008288068","https://openalex.org/W2015314684","https://openalex.org/W2024171867","https://openalex.org/W2025604257","https://openalex.org/W2026629052","https://openalex.org/W2063402394","https://openalex.org/W2066057891","https://openalex.org/W2083862837","https://openalex.org/W2085138905","https://openalex.org/W2087749124","https://openalex.org/W2099719845","https://openalex.org/W2109789469","https://openalex.org/W2122321090","https://openalex.org/W2129231075","https://openalex.org/W2130705439","https://openalex.org/W2131332110","https://openalex.org/W2133317894","https://openalex.org/W2137258051","https://openalex.org/W2147340401","https://openalex.org/W2168048876","https://openalex.org/W2171505650","https://openalex.org/W2176215692","https://openalex.org/W2182451272","https://openalex.org/W2185991397","https://openalex.org/W2295906355","https://openalex.org/W2407773024","https://openalex.org/W2470330431","https://openalex.org/W2528933731","https://openalex.org/W2891214311","https://openalex.org/W3021664313","https://openalex.org/W3149233563","https://openalex.org/W3217399827","https://openalex.org/W4229917934","https://openalex.org/W6636294236"],"related_works":["https://openalex.org/W2057750988","https://openalex.org/W2889493128","https://openalex.org/W1968618289","https://openalex.org/W2083008816","https://openalex.org/W198981881","https://openalex.org/W2351040536","https://openalex.org/W2894436316","https://openalex.org/W1693001741","https://openalex.org/W2382280574","https://openalex.org/W3177376018"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}