{"id":"https://openalex.org/W2891214311","doi":"https://doi.org/10.1007/s10817-018-9497-x","title":"Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants","display_name":"Verifying Safety and Persistence in Hybrid Systems Using Flowpipes and Continuous Invariants","publication_year":2018,"publication_date":"2018-11-24","ids":{"openalex":"https://openalex.org/W2891214311","doi":"https://doi.org/10.1007/s10817-018-9497-x","mag":"2891214311"},"language":"en","primary_location":{"id":"doi:10.1007/s10817-018-9497-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-018-9497-x","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/3f322913-778d-40e7-bd65-6d689c089b50","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/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andrew Sogokon","raw_affiliation_strings":["Carnegie Mellon University, GHC 9116, 5000 Forbes Ave., Pittsburgh, PA, 15213, USA"],"raw_orcid":"https://orcid.org/0000-0002-5849-7991","affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, GHC 9116, 5000 Forbes Ave., Pittsburgh, PA, 15213, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"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":["University of Edinburgh, 2.12 Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, UK"],"raw_orcid":"https://orcid.org/0000-0003-3863-8336","affiliations":[{"raw_affiliation_string":"University of Edinburgh, 2.12 Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, 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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T. Johnson","raw_affiliation_strings":["Vanderbilt University, Room 300, 1025 16th Ave. S., Nashville, TN, 37212, USA"],"raw_orcid":"https://orcid.org/0000-0001-8021-9923","affiliations":[{"raw_affiliation_string":"Vanderbilt University, Room 300, 1025 16th Ave. S., Nashville, TN, 37212, USA","institution_ids":["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/I74973139"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.4275,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.66153961,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"63","issue":"4","first_page":"1005","last_page":"1029"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9988999962806702,"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.9988999962806702,"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.9975000023841858,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.978600025177002,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.6881772875785828},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5588701963424683},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5234110951423645},{"id":"https://openalex.org/keywords/persistence","display_name":"Persistence (discontinuity)","score":0.5178142189979553},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5155925154685974},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.4880346357822418},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.4860225319862366},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.42916208505630493},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41220661997795105},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3709300756454468},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.33459538221359253},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.33448776602745056},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20345517992973328},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.10668322443962097},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08752736449241638}],"concepts":[{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.6881772875785828},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5588701963424683},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5234110951423645},{"id":"https://openalex.org/C2781009140","wikidata":"https://www.wikidata.org/wiki/Q7170389","display_name":"Persistence (discontinuity)","level":2,"score":0.5178142189979553},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5155925154685974},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.4880346357822418},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.4860225319862366},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.42916208505630493},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41220661997795105},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3709300756454468},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.33459538221359253},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.33448776602745056},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20345517992973328},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.10668322443962097},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08752736449241638},{"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},{"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/C187320778","wikidata":"https://www.wikidata.org/wiki/Q1349130","display_name":"Geotechnical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/s10817-018-9497-x","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10817-018-9497-x","pdf_url":null,"source":{"id":"https://openalex.org/S99781599","display_name":"Journal of Automated Reasoning","issn_l":"0168-7433","issn":["0168-7433","1573-0670"],"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":"Journal of Automated Reasoning","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/3f322913-778d-40e7-bd65-6d689c089b50","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/3f322913-778d-40e7-bd65-6d689c089b50","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sogokon, A, Jackson, P & Johnson, T T 2019, 'Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants', Journal of Automated Reasoning, vol. 63, pp. 1005. https://doi.org/10.1007/s10817-018-9497-x","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:eprints.soton.ac.uk:439288","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306401019","display_name":"ePrints Soton (University of Southampton)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I43439940","host_organization_name":"University of Southampton","host_organization_lineage":["https://openalex.org/I43439940"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Article"},{"id":"pmh:oai:pure.ed.ac.uk:publications/3f322913-778d-40e7-bd65-6d689c089b50","is_oa":false,"landing_page_url":"https://www.research.ed.ac.uk/portal/en/publications/verifying-safety-and-persistence-in-hybrid-systems-using-flowpipes-and-continuous-invariants(3f322913-778d-40e7-bd65-6d689c089b50).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/3f322913-778d-40e7-bd65-6d689c089b50","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/3f322913-778d-40e7-bd65-6d689c089b50","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Sogokon, A, Jackson, P & Johnson, T T 2019, 'Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants', Journal of Automated Reasoning, vol. 63, pp. 1005. https://doi.org/10.1007/s10817-018-9497-x","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1522347985","display_name":null,"funder_award_id":"FA9550-15-1-0258","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"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/G1794985474","display_name":null,"funder_award_id":"FA8750-15-1-0105","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"},{"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/G4512095220","display_name":"Automatic Proof Procedures for Polynomials and Special Functions","funder_award_id":"EP/I010335/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5341004285","display_name":null,"funder_award_id":"CCF 1527398","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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"},{"id":"https://openalex.org/G6700650468","display_name":"The Integration and Interaction of Multiple Mathematical Reasoning Processes","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/G8697352172","display_name":null,"funder_award_id":"CNS 1464311","funder_id":"https://openalex.org/F4320332169","funder_display_name":"Directorate for Computer and Information Science and Engineering"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320332169","display_name":"Directorate for Computer and Information Science and Engineering","ror":"https://ror.org/025kzpk63"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320338279","display_name":"Air Force Office of Scientific Research","ror":"https://ror.org/011e9bt93"},{"id":"https://openalex.org/F4320338294","display_name":"Air Force Research Laboratory","ror":"https://ror.org/02e2egq70"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":79,"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/W575850752","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/W1535116423","https://openalex.org/W1538215585","https://openalex.org/W1554063378","https://openalex.org/W1556566737","https://openalex.org/W1558198085","https://openalex.org/W1558296274","https://openalex.org/W1579164394","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/W1994348879","https://openalex.org/W1995691455","https://openalex.org/W1998661762","https://openalex.org/W2003777434","https://openalex.org/W2008288068","https://openalex.org/W2013840602","https://openalex.org/W2015314684","https://openalex.org/W2021313930","https://openalex.org/W2022441937","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/W2091208171","https://openalex.org/W2099719845","https://openalex.org/W2106606898","https://openalex.org/W2107737920","https://openalex.org/W2109789469","https://openalex.org/W2122321090","https://openalex.org/W2129231075","https://openalex.org/W2131332110","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/W2217989345","https://openalex.org/W2295906355","https://openalex.org/W2407773024","https://openalex.org/W2470330431","https://openalex.org/W2479757541","https://openalex.org/W2484233465","https://openalex.org/W2490640467","https://openalex.org/W2496764087","https://openalex.org/W2509505087","https://openalex.org/W2528933731","https://openalex.org/W2565924041","https://openalex.org/W2606692557","https://openalex.org/W2761407096","https://openalex.org/W2774589618","https://openalex.org/W2951434005","https://openalex.org/W3021664313","https://openalex.org/W3033789872","https://openalex.org/W3149233563","https://openalex.org/W4229917934"],"related_works":["https://openalex.org/W2371448224","https://openalex.org/W3134495997","https://openalex.org/W2363680170","https://openalex.org/W2376428685","https://openalex.org/W4256082577","https://openalex.org/W625783435","https://openalex.org/W2048742619","https://openalex.org/W2384641672","https://openalex.org/W2742179975","https://openalex.org/W2032841357"],"abstract_inverted_index":null,"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}