{"id":"https://openalex.org/W2612820597","doi":"https://doi.org/10.29007/w94n","title":"Non-linear Continuous Systems for Safety Verification","display_name":"Non-linear Continuous Systems for Safety Verification","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2612820597","doi":"https://doi.org/10.29007/w94n","mag":"2612820597"},"language":"en","primary_location":{"id":"doi:10.29007/w94n","is_oa":true,"landing_page_url":"https://doi.org/10.29007/w94n","pdf_url":"https://easychair.org/publications/open/zr5C","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/zr5C","any_repository_has_fulltext":false},"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/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Andrew Sogokon","raw_affiliation_strings":["University of Texas at Arlington, Arlington, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071004982","display_name":"Khalil Ghorbal","orcid":"https://orcid.org/0000-0003-4941-6632"},"institutions":[{"id":"https://openalex.org/I1326498283","display_name":"Institut national de recherche en sciences et technologies du num\u00e9rique","ror":"https://ror.org/02kvxyf05","country_code":"FR","type":"government","lineage":["https://openalex.org/I1326498283"]},{"id":"https://openalex.org/I4210133778","display_name":"Centre Inria de l'Universit\u00e9 de Rennes","ror":"https://ror.org/04040yw90","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1326498283","https://openalex.org/I4210133778"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Khalil Ghorbal","raw_affiliation_strings":["INRIA, Rennes, Brittany, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INRIA, Rennes, Brittany, France","institution_ids":["https://openalex.org/I4210133778","https://openalex.org/I1326498283"]}]},{"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/I189196454","display_name":"The University of Texas at Arlington","ror":"https://ror.org/019kgqr73","country_code":"US","type":"education","lineage":["https://openalex.org/I189196454"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Taylor T Johnson","raw_affiliation_strings":["University of Texas at Arlington, Arlington, TX, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Texas at Arlington, Arlington, TX, USA","institution_ids":["https://openalex.org/I189196454"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5084578641"],"corresponding_institution_ids":["https://openalex.org/I189196454"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.02053303,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"43","issue":null,"first_page":"42","last_page":"31"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9984999895095825,"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.9984999895095825,"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.9962999820709229,"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.9925000071525574,"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/ordinary-differential-equation","display_name":"Ordinary differential equation","score":0.6519930362701416},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6507861614227295},{"id":"https://openalex.org/keywords/ode","display_name":"Ode","score":0.6339929103851318},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5191256403923035},{"id":"https://openalex.org/keywords/linear-system","display_name":"Linear system","score":0.4860101640224457},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.47866687178611755},{"id":"https://openalex.org/keywords/automated-theorem-proving","display_name":"Automated theorem proving","score":0.4657849371433258},{"id":"https://openalex.org/keywords/dynamical-systems-theory","display_name":"Dynamical systems theory","score":0.45953842997550964},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.4588836133480072},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4543347954750061},{"id":"https://openalex.org/keywords/differential-equation","display_name":"Differential equation","score":0.3954141139984131},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3806251883506775},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3649676442146301},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.33064740896224976},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27832767367362976},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17219629883766174}],"concepts":[{"id":"https://openalex.org/C51544822","wikidata":"https://www.wikidata.org/wiki/Q465274","display_name":"Ordinary differential equation","level":3,"score":0.6519930362701416},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6507861614227295},{"id":"https://openalex.org/C34862557","wikidata":"https://www.wikidata.org/wiki/Q178985","display_name":"Ode","level":2,"score":0.6339929103851318},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5191256403923035},{"id":"https://openalex.org/C6802819","wikidata":"https://www.wikidata.org/wiki/Q1072174","display_name":"Linear system","level":2,"score":0.4860101640224457},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.47866687178611755},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.4657849371433258},{"id":"https://openalex.org/C79379906","wikidata":"https://www.wikidata.org/wiki/Q3174497","display_name":"Dynamical systems theory","level":2,"score":0.45953842997550964},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.4588836133480072},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4543347954750061},{"id":"https://openalex.org/C78045399","wikidata":"https://www.wikidata.org/wiki/Q11214","display_name":"Differential equation","level":2,"score":0.3954141139984131},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3806251883506775},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3649676442146301},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.33064740896224976},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27832767367362976},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17219629883766174},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"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/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},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.29007/w94n","is_oa":true,"landing_page_url":"https://doi.org/10.29007/w94n","pdf_url":"https://easychair.org/publications/open/zr5C","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.29007/w94n","is_oa":true,"landing_page_url":"https://doi.org/10.29007/w94n","pdf_url":"https://easychair.org/publications/open/zr5C","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"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/G1523888516","display_name":null,"funder_award_id":"FA9550-","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"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/G2097133798","display_name":"CRII: CPS: Safe Cyber-Physical Systems Upgrades","funder_award_id":"1464311","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3693044891","display_name":"SHF: Small: Automating Improvement of Development Environments for Cyber-Physical Systems (AIDE-CPS)","funder_award_id":"1527398","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4308778893","display_name":null,"funder_award_id":"CNS 1464311","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"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/G5809100787","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338279","funder_display_name":"Air Force Office of Scientific Research"},{"id":"https://openalex.org/G8289759875","display_name":null,"funder_award_id":"FA9550","funder_id":"https://openalex.org/F4320338294","funder_display_name":"Air Force Research Laboratory"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"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":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2612820597.pdf","grobid_xml":"https://content.openalex.org/works/W2612820597.grobid-xml"},"referenced_works_count":35,"referenced_works":["https://openalex.org/W151313883","https://openalex.org/W152729695","https://openalex.org/W172589331","https://openalex.org/W213397635","https://openalex.org/W622938260","https://openalex.org/W1515307033","https://openalex.org/W1522694098","https://openalex.org/W1541976352","https://openalex.org/W1575739325","https://openalex.org/W1581387743","https://openalex.org/W1585927874","https://openalex.org/W1590463358","https://openalex.org/W1607353007","https://openalex.org/W1869606479","https://openalex.org/W1960944592","https://openalex.org/W1968881397","https://openalex.org/W1979646426","https://openalex.org/W1994475353","https://openalex.org/W1999629321","https://openalex.org/W2004421225","https://openalex.org/W2046413510","https://openalex.org/W2075133940","https://openalex.org/W2096326343","https://openalex.org/W2106606898","https://openalex.org/W2130705439","https://openalex.org/W2137258051","https://openalex.org/W2176215692","https://openalex.org/W2182451272","https://openalex.org/W2263274487","https://openalex.org/W2295906355","https://openalex.org/W2396103282","https://openalex.org/W2539282332","https://openalex.org/W2594023913","https://openalex.org/W2953337990","https://openalex.org/W4253424231"],"related_works":["https://openalex.org/W1968813561","https://openalex.org/W1201114281","https://openalex.org/W2154236742","https://openalex.org/W2104769107","https://openalex.org/W2166178773","https://openalex.org/W2171429234","https://openalex.org/W4240278998","https://openalex.org/W1482140855","https://openalex.org/W2080578447","https://openalex.org/W183350788"],"abstract_inverted_index":{"Safety":[0],"verification":[1,60,104,119,157,182],"of":[2,16,26,41,55,63,74,101,118,154,169],"hybrid":[3],"dynamical":[4],"systems":[5,18,54,76],"relies":[6],"crucially":[7],"on":[8],"the":[9,98,102,144,173,179],"ability":[10],"to":[11,36,79,85,96,114],"reason":[12],"about":[13],"reachable":[14],"sets":[15],"continuous":[17,42],"whose":[19],"evolution":[20],"is":[21,77,111],"governed":[22],"by":[23],"a":[24,38,116,152],"system":[25],"ordinary":[27],"differential":[28,47,67],"equations":[29,48,68],"(ODEs).":[30],"Verification":[31],"tools":[32,61,105,145,183],"are":[33,89],"often":[34],"restricted":[35],"handling":[37],"particular":[39],"class":[40],"systems,":[43],"such":[44,129],"as":[45,130],"e.g.":[46],"with":[49,65,107,177],"constant":[50],"right-hand":[51],"sides,":[52],"or":[53],"affine":[56],"ODEs.":[57],"More":[58],"recently,":[59],"capable":[62],"working":[64,106],"non-linear":[66,75,108,160],"have":[69,123,140,167],"been":[70,124],"developed.":[71],"The":[72],"behavior":[73],"known":[78],"be":[80],"in":[81,92,126,143],"general":[82],"extremely":[83],"difficult":[84],"analyze":[86],"because":[87],"solutions":[88],"rarely":[90],"available":[91,181],"closed-form.":[93],"In":[94],"order":[95],"assess":[97],"practical":[99],"utility":[100],"various":[103,174],"ODEs":[109,162],"it":[110],"very":[112],"useful":[113],"maintain":[115],"set":[117,153],"problems.":[120,186],"Similar":[121],"efforts":[122],"successful":[125],"other":[127],"communities,":[128],"automated":[131],"theorem":[132],"proving,":[133],"SAT":[134],"solving":[135],"and":[136,139,146,163],"numerical":[137],"analysis,":[138],"accelerated":[141],"improvements":[142],"their":[147],"underlying":[148],"algorithms.":[149],"We":[150,171],"present":[151],"65":[155],"safety":[156],"problems":[158],"featuring":[159],"polynomial":[161],"for":[164],"which":[165],"we":[166],"proofs":[168],"safety.":[170],"discuss":[172],"issues":[175],"associated":[176],"benchmarking":[178],"currently":[180],"using":[184],"these":[185]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}