{"id":"https://openalex.org/W4248876337","doi":"https://doi.org/10.29007/rjwn","title":"ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics","display_name":"ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics","publication_year":2019,"publication_date":"2019-06-05","ids":{"openalex":"https://openalex.org/W4248876337","doi":"https://doi.org/10.29007/rjwn"},"language":"en","primary_location":{"id":"doi:10.29007/rjwn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/rjwn","pdf_url":"https://easychair.org/publications/open/MTXh","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/MTXh","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039488370","display_name":"Goran Frehse","orcid":"https://orcid.org/0000-0002-5441-0481"},"institutions":[{"id":"https://openalex.org/I201181511","display_name":"\u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es","ror":"https://ror.org/0309cs235","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4405258625","display_name":"\u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es Paris","ror":"https://ror.org/0106ccb15","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4405258625"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Goran Frehse","raw_affiliation_strings":["ENSTA ParisTech, Palaiseau, France","U2IS - Unit\u00e9 d'Informatique et d'Ing\u00e9nierie des Syst\u00e8mes (828, boulevard des Mar\u00e9chaux, 91762 Palaiseau CEDEX - France)","ENSTA Paris - \u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es (828, boulevard des Mar\u00e9chaux 91120 Palaiseau - France)","IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)"],"affiliations":[{"raw_affiliation_string":"ENSTA ParisTech, Palaiseau, France","institution_ids":["https://openalex.org/I201181511","https://openalex.org/I4405258625"]},{"raw_affiliation_string":"U2IS - Unit\u00e9 d'Informatique et d'Ing\u00e9nierie des Syst\u00e8mes (828, boulevard des Mar\u00e9chaux, 91762 Palaiseau CEDEX - France)","institution_ids":[]},{"raw_affiliation_string":"ENSTA Paris - \u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es (828, boulevard des Mar\u00e9chaux 91120 Palaiseau - France)","institution_ids":["https://openalex.org/I201181511","https://openalex.org/I4405258625"]},{"raw_affiliation_string":"IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","institution_ids":["https://openalex.org/I4210145102"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091718585","display_name":"Alessandro Abate","orcid":"https://orcid.org/0000-0002-5627-9093"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Alessandro Abate","raw_affiliation_strings":["University of Oxford, Oxford, U.K","University of Oxford (Wellington Square, Oxford OX1 2JD - United Kingdom)"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, U.K","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford (Wellington Square, Oxford OX1 2JD - United Kingdom)","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015282142","display_name":"Dieky Adzkiya","orcid":"https://orcid.org/0000-0002-4718-2871"},"institutions":[{"id":"https://openalex.org/I166843116","display_name":"Sepuluh Nopember Institute of Technology","ror":"https://ror.org/05kbmmt89","country_code":"ID","type":"education","lineage":["https://openalex.org/I166843116"]}],"countries":["ID"],"is_corresponding":false,"raw_author_name":"Dieky Adzkiya","raw_affiliation_strings":["Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia","ITS - Institut Teknologi Sepuluh Nopember [Surabaya] (Indonesia)"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Institut Teknologi Sepuluh Nopember, Indonesia","institution_ids":["https://openalex.org/I166843116"]},{"raw_affiliation_string":"ITS - Institut Teknologi Sepuluh Nopember [Surabaya] (Indonesia)","institution_ids":["https://openalex.org/I166843116"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055335078","display_name":"Anna Becchi","orcid":"https://orcid.org/0000-0002-2831-9529"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]},{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Anna Becchi","raw_affiliation_strings":["Department of Mathematics, Computer Science, and Physics University of Udine, Italy","FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Computer Science, and Physics University of Udine, Italy","institution_ids":["https://openalex.org/I129043915"]},{"raw_affiliation_string":"FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5029676029","display_name":"Lei Bu","orcid":"https://orcid.org/0000-0003-0517-7801"},"institutions":[{"id":"https://openalex.org/I4210128818","display_name":"Institute of Software","ror":"https://ror.org/033dfsn42","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210128818"]},{"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":["State Key Laboratory of Novel Software Techniques, Nanjing University, Nanjing, Jiangsu, P.R. China","State Key Laboratory of Novel Software Technology [Nanjing University] (State Key Lab for Novel Software Technology  - China)"],"affiliations":[{"raw_affiliation_string":"State Key Laboratory of Novel Software Techniques, Nanjing University, Nanjing, Jiangsu, P.R. China","institution_ids":["https://openalex.org/I881766915"]},{"raw_affiliation_string":"State Key Laboratory of Novel Software Technology [Nanjing University] (State Key Lab for Novel Software Technology  - China)","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I881766915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017426974","display_name":"Alessandro Cimatti","orcid":"https://orcid.org/0000-0002-1315-6990"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alessandro Cimatti","raw_affiliation_strings":["Fondazione Bruno Kessler, Italy","FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Italy","institution_ids":["https://openalex.org/I2277624104"]},{"raw_affiliation_string":"FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058973098","display_name":"Mirco Giacobbe","orcid":"https://orcid.org/0000-0001-8180-0904"},"institutions":[{"id":"https://openalex.org/I157556583","display_name":"Institute of Science and Technology Austria","ror":"https://ror.org/03gnh5541","country_code":"AT","type":"education","lineage":["https://openalex.org/I157556583"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mirco Giacobbe","raw_affiliation_strings":["IST Austria, Klosterneuburg, Austria","IST Austria - Institute of Science and Technology [Klosterneuburg, Austria] (IST Austria Am Campus 1 3400 Klosterneuburg Austria - Austria)"],"affiliations":[{"raw_affiliation_string":"IST Austria, Klosterneuburg, Austria","institution_ids":["https://openalex.org/I157556583"]},{"raw_affiliation_string":"IST Austria - Institute of Science and Technology [Klosterneuburg, Austria] (IST Austria Am Campus 1 3400 Klosterneuburg Austria - Austria)","institution_ids":["https://openalex.org/I157556583"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038636493","display_name":"Alberto Griggio","orcid":"https://orcid.org/0000-0002-3311-0893"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Alberto Griggio","raw_affiliation_strings":["Fondazione Bruno Kessler, Italy","FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Italy","institution_ids":["https://openalex.org/I2277624104"]},{"raw_affiliation_string":"FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023894417","display_name":"Sergio Mover","orcid":"https://orcid.org/0000-0003-1029-9547"},"institutions":[{"id":"https://openalex.org/I142476485","display_name":"\u00c9cole Polytechnique","ror":"https://ror.org/05hy3tk52","country_code":"FR","type":"education","lineage":["https://openalex.org/I142476485","https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210139461","display_name":"Laboratoire d'Informatique de l'\u00c9cole Polytechnique","ror":"https://ror.org/04afed728","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I142476485","https://openalex.org/I4210139461","https://openalex.org/I4210145102","https://openalex.org/I4210159245"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Sergio Mover","raw_affiliation_strings":["LIX, Ecole Polytechnique, Palaiseau, France","IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","LIX - Laboratoire d'informatique de l'\u00c9cole polytechnique [Palaiseau] (1 Rue Honor\u00e9 d\u2019Estienne d\u2019Orves, B\u00e2timent Alain Turing, 91120 Palaiseau - France)","X - \u00c9cole polytechnique (Route de Saclay, 91128 Palaiseau Cedex - France)"],"affiliations":[{"raw_affiliation_string":"LIX, Ecole Polytechnique, Palaiseau, France","institution_ids":["https://openalex.org/I4210139461","https://openalex.org/I142476485"]},{"raw_affiliation_string":"IP Paris - Institut Polytechnique de Paris (Route de Saclay, 91120 Palaiseau Cedex, France - France)","institution_ids":["https://openalex.org/I4210145102"]},{"raw_affiliation_string":"LIX - Laboratoire d'informatique de l'\u00c9cole polytechnique [Palaiseau] (1 Rue Honor\u00e9 d\u2019Estienne d\u2019Orves, B\u00e2timent Alain Turing, 91120 Palaiseau - France)","institution_ids":["https://openalex.org/I4210139461","https://openalex.org/I142476485"]},{"raw_affiliation_string":"X - \u00c9cole polytechnique (Route de Saclay, 91128 Palaiseau Cedex - France)","institution_ids":["https://openalex.org/I142476485"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024634971","display_name":"Muhammad Syifa\u2019ul Mufid","orcid":"https://orcid.org/0000-0003-0817-1106"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Muhammad Syifa'ul Mufid","raw_affiliation_strings":["University of Oxford, Oxford, U.K","University of Oxford (Wellington Square, Oxford OX1 2JD - United Kingdom)"],"affiliations":[{"raw_affiliation_string":"University of Oxford, Oxford, U.K","institution_ids":["https://openalex.org/I40120149"]},{"raw_affiliation_string":"University of Oxford (Wellington Square, Oxford OX1 2JD - United Kingdom)","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5038740916","display_name":"Idriss Riouak","orcid":"https://orcid.org/0000-0003-3520-2262"},"institutions":[{"id":"https://openalex.org/I129043915","display_name":"University of Udine","ror":"https://ror.org/05ht0mh31","country_code":"IT","type":"education","lineage":["https://openalex.org/I129043915"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Idriss Riouak","raw_affiliation_strings":["Department of Mathematics, Computer Science, and Physics University of Udine, Italy","DIMI - Dipartimento di Matematica e Informatica - Universita Udine (Universita degli studi di Udine via delle Scienze 206 - 33100 UDINE - Italy)"],"affiliations":[{"raw_affiliation_string":"Department of Mathematics, Computer Science, and Physics University of Udine, Italy","institution_ids":["https://openalex.org/I129043915"]},{"raw_affiliation_string":"DIMI - Dipartimento di Matematica e Informatica - Universita Udine (Universita degli studi di Udine via delle Scienze 206 - 33100 UDINE - Italy)","institution_ids":["https://openalex.org/I129043915"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5018618502","display_name":"Stefano Tonetta","orcid":"https://orcid.org/0000-0001-9091-7899"},"institutions":[{"id":"https://openalex.org/I2277624104","display_name":"Fondazione Bruno Kessler","ror":"https://ror.org/01j33xk10","country_code":"IT","type":"facility","lineage":["https://openalex.org/I2277624104"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Stefano Tonetta","raw_affiliation_strings":["Fondazione Bruno Kessler, Italy","FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)"],"affiliations":[{"raw_affiliation_string":"Fondazione Bruno Kessler, Italy","institution_ids":["https://openalex.org/I2277624104"]},{"raw_affiliation_string":"FBK - Fondazione Bruno Kessler [Trento, Italy] (via Santa Croce, 77 - 38122 Trento - Italy)","institution_ids":["https://openalex.org/I2277624104"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065794938","display_name":"Enea Zaffanella","orcid":"https://orcid.org/0000-0001-6388-2053"},"institutions":[{"id":"https://openalex.org/I124601658","display_name":"University of Parma","ror":"https://ror.org/02k7wn190","country_code":"IT","type":"education","lineage":["https://openalex.org/I124601658"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Enea Zaffanella","raw_affiliation_strings":["Department of Mathematical, Physical and Computer Sciences University of Parma, Italy","Dipartimento di Matematica e Informatica [Parma] (viale G. P. Usberti 53/a, Campus 43100 Parma, Italy - Italy)"],"affiliations":[{"raw_affiliation_string":"Department of Mathematical, Physical and Computer Sciences University of Parma, Italy","institution_ids":["https://openalex.org/I124601658"]},{"raw_affiliation_string":"Dipartimento di Matematica e Informatica [Parma] (viale G. P. Usberti 53/a, Campus 43100 Parma, Italy - Italy)","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":6,"institutions_distinct_count":13,"corresponding_author_ids":["https://openalex.org/A5039488370"],"corresponding_institution_ids":["https://openalex.org/I201181511","https://openalex.org/I4210145102","https://openalex.org/I4405258625"],"apc_list":null,"apc_paid":null,"fwci":1.3999,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.84468564,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"61","issue":null,"first_page":"1","last_page":""},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9995999932289124,"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.9995999932289124,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9958999752998352,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.995199978351593,"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/piecewise","display_name":"Piecewise","score":0.8597252368927002},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.7220399379730225},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.6999863386154175},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5745190382003784},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.5471060872077942},{"id":"https://openalex.org/keywords/ranking","display_name":"Ranking (information retrieval)","score":0.5411038398742676},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.322081059217453},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.26102107763290405},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.24410352110862732},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1693440079689026},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.0988670289516449},{"id":"https://openalex.org/keywords/mathematical-analysis","display_name":"Mathematical analysis","score":0.09650060534477234}],"concepts":[{"id":"https://openalex.org/C164660894","wikidata":"https://www.wikidata.org/wiki/Q2037833","display_name":"Piecewise","level":2,"score":0.8597252368927002},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.7220399379730225},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.6999863386154175},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5745190382003784},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.5471060872077942},{"id":"https://openalex.org/C189430467","wikidata":"https://www.wikidata.org/wiki/Q7293293","display_name":"Ranking (information retrieval)","level":2,"score":0.5411038398742676},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.322081059217453},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.26102107763290405},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.24410352110862732},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1693440079689026},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0988670289516449},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.09650060534477234},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/rjwn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/rjwn","pdf_url":"https://easychair.org/publications/open/MTXh","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"},{"id":"pmh:oai:HAL:hal-04465125v1","is_oa":false,"landing_page_url":"https://hal.science/hal-04465125","pdf_url":null,"source":{"id":"https://openalex.org/S4406922461","display_name":"SPIRE - Sciences Po Institutional REpository","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":"ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, Apr 2019, Montreal (Canada), Canada. pp.1--13, ⟨10.29007/RJWN⟩","raw_type":"Conference papers"}],"best_oa_location":{"id":"doi:10.29007/rjwn","is_oa":true,"landing_page_url":"https://doi.org/10.29007/rjwn","pdf_url":"https://easychair.org/publications/open/MTXh","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/G1819731195","display_name":null,"funder_award_id":"64392","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G3322370686","display_name":"Motivic Mellin transforms and exponential sums through non-archimedean geometry","funder_award_id":"615722","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G4359008878","display_name":null,"funder_award_id":"61572249","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G4449215989","display_name":null,"funder_award_id":"643921","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4248876337.pdf","grobid_xml":"https://content.openalex.org/works/W4248876337.grobid-xml"},"referenced_works_count":32,"referenced_works":["https://openalex.org/W213397635","https://openalex.org/W233122475","https://openalex.org/W1481397690","https://openalex.org/W1482233117","https://openalex.org/W1483379332","https://openalex.org/W1490609548","https://openalex.org/W1522694098","https://openalex.org/W1549166962","https://openalex.org/W1815155750","https://openalex.org/W1844911504","https://openalex.org/W1880425383","https://openalex.org/W1974274514","https://openalex.org/W2027649310","https://openalex.org/W2072325940","https://openalex.org/W2088667970","https://openalex.org/W2104258017","https://openalex.org/W2116176955","https://openalex.org/W2152533774","https://openalex.org/W2166071597","https://openalex.org/W2295761269","https://openalex.org/W2515014082","https://openalex.org/W2522207775","https://openalex.org/W2602950602","https://openalex.org/W2739492699","https://openalex.org/W2883956841","https://openalex.org/W2889374234","https://openalex.org/W3138459719","https://openalex.org/W3151610093","https://openalex.org/W4245664566","https://openalex.org/W4248876337","https://openalex.org/W6608530110","https://openalex.org/W6657312968"],"related_works":["https://openalex.org/W1645056428","https://openalex.org/W1454600515","https://openalex.org/W2385263368","https://openalex.org/W2347422947","https://openalex.org/W2368296458","https://openalex.org/W1994636611","https://openalex.org/W2004238570","https://openalex.org/W1996464949","https://openalex.org/W2040445660","https://openalex.org/W4253711148"],"abstract_inverted_index":{"This":[0],"report":[1],"presents":[2],"the":[3,29,57,93,99,110,120,125,132],"results":[4,122],"of":[5,12,28,92,96,101,112,129,135],"a":[6,75,89],"friendly":[7,22],"competition":[8,23],"for":[9,33,59,131],"formal":[10],"verification":[11,134],"continuous":[13,136],"and":[14,35,69,81,98,137],"hybrid":[15,138],"systems":[16,139],"with":[17,140],"piecewise":[18,60,141],"constant":[19,61,142],"dynamics.":[20],"The":[21,86],"took":[24],"place":[25],"as":[26],"part":[27],"workshop":[30],"Applied":[31],"Verification":[32],"Continuous":[34],"Hybrid":[36],"Systems":[37],"(ARCH)":[38],"in":[39,56],"2019.":[40],"In":[41],"this":[42,146],"third":[43],"edition,":[44],"six":[45],"tools":[46,97,130],"have":[47],"been":[48],"applied":[49],"to":[50,72,109,145],"solve":[51],"five":[52],"different":[53],"benchmark":[54],"problems":[55],"category":[58],"dynamics:":[62],"BACH,":[63],"Lyse,":[64],"Hy-":[65],"COMP,":[66],"PHAVer/SX,":[67],"PHAVerLite,":[68],"VeriSiMPL.":[70],"Compared":[71],"last":[73],"year,":[74],"new":[76],"tool":[77],"has":[78,83],"participated":[79],"(HyCOMP)":[80],"PHAVerLite":[82],"replaced":[84],"PHAVer-lite.":[85],"result":[87],"is":[88],"snap-":[90],"shot":[91],"current":[94],"landscape":[95],"types":[100],"benchmarks":[102],"they":[103],"are":[104,115],"particularly":[105],"suited":[106],"for.":[107],"Due":[108],"diversity":[111],"problems,":[113],"we":[114],"not":[116],"ranking":[117],"tools,":[118],"yet":[119],"presented":[121],"probably":[123],"provide":[124],"most":[126],"complete":[127],"assessment":[128],"safety":[133],"dynamics":[143],"up":[144],"date.":[147]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":5},{"year":2019,"cited_by_count":1}],"updated_date":"2026-04-22T08:38:42.863108","created_date":"2025-10-10T00:00:00"}