{"id":"https://openalex.org/W4237629093","doi":"https://doi.org/10.1007/978-3-319-48628-4_3","title":"MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems","display_name":"MARS: A Toolchain for Modelling, Analysis and Verification of Hybrid Systems","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W4237629093","doi":"https://doi.org/10.1007/978-3-319-48628-4_3"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-48628-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-48628-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S4210188571","display_name":"NASA monographs in systems and software engineering","issn_l":"1860-0131","issn":["1860-0131","2197-6597"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NASA Monographs in Systems and Software Engineering","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/A5043436285","display_name":"Mingshuai Chen","orcid":"https://orcid.org/0000-0001-9663-7441"},"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/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Mingshuai Chen","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102008241","display_name":"Xiao Han","orcid":"https://orcid.org/0000-0001-8372-3105"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiao Han","raw_affiliation_strings":["State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People\u2019s Republic of China","State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067908158","display_name":"Tao Tang","orcid":"https://orcid.org/0000-0001-7838-8525"},"institutions":[{"id":"https://openalex.org/I21193070","display_name":"Beijing Jiaotong University","ror":"https://ror.org/01yj56c84","country_code":"CN","type":"education","lineage":["https://openalex.org/I21193070"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Tao Tang","raw_affiliation_strings":["State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People\u2019s Republic of China","State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I21193070"]},{"raw_affiliation_string":"State Key Lab. of Rail Traffic Control and Safety, Beijing Jiaotong University, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I21193070"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100683176","display_name":"Shuling Wang","orcid":"https://orcid.org/0000-0002-2798-2660"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Shuling Wang","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100528739","display_name":"Mengfei Yang","orcid":null},"institutions":[{"id":"https://openalex.org/I194716290","display_name":"China Academy of Space Technology","ror":"https://ror.org/025397a59","country_code":"CN","type":"government","lineage":["https://openalex.org/I194716290","https://openalex.org/I2802615301"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mengfei Yang","raw_affiliation_strings":["Chinese Academy of Space Technology, Beijing, People\u2019s Republic of China","Chinese Academy of Space Technology, Beijing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Chinese Academy of Space Technology, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I194716290"]},{"raw_affiliation_string":"Chinese Academy of Space Technology, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I194716290"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026435847","display_name":"Naijun Zhan","orcid":"https://orcid.org/0000-0003-3298-3817"},"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/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Naijun Zhan","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101860123","display_name":"Hengjun Zhao","orcid":"https://orcid.org/0000-0002-9497-7837"},"institutions":[{"id":"https://openalex.org/I142108993","display_name":"Southwest University","ror":"https://ror.org/01kj4z117","country_code":"CN","type":"education","lineage":["https://openalex.org/I142108993"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hengjun Zhao","raw_affiliation_strings":["School of Computer and Information Science, Southwest University, Chongqing, People\u2019s Republic of China","School of Computer and Information Science, Southwest University, Chongqing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computer and Information Science, Southwest University, Chongqing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I142108993"]},{"raw_affiliation_string":"School of Computer and Information Science, Southwest University, Chongqing, People's Republic of China","institution_ids":["https://openalex.org/I142108993"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006184120","display_name":"Liang Zou","orcid":"https://orcid.org/0000-0001-7322-5735"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"funder","lineage":["https://openalex.org/I19820366"]},{"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"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Liang Zou","raw_affiliation_strings":["State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People\u2019s Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]},{"raw_affiliation_string":"State Key Lab. of Computer Science, Institute of Software, Chinese Academy of Sciences, Beijing, People's Republic of China","institution_ids":["https://openalex.org/I4210128818","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5043436285"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210128818"],"apc_list":null,"apc_paid":null,"fwci":2.1249,"has_fulltext":false,"cited_by_count":22,"citation_normalized_percentile":{"value":0.87898936,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"39","last_page":"58"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"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.9998000264167786,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12810","display_name":"Real-time simulation and control systems","score":0.998199999332428,"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/toolchain","display_name":"Toolchain","score":0.9847962856292725},{"id":"https://openalex.org/keywords/stateflow","display_name":"Stateflow","score":0.9732455015182495},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.743329644203186},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.5890396237373352},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5637379884719849},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5133678317070007},{"id":"https://openalex.org/keywords/hybrid-system","display_name":"Hybrid system","score":0.49363434314727783},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.48864132165908813},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37902772426605225},{"id":"https://openalex.org/keywords/matlab","display_name":"MATLAB","score":0.20584771037101746},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12023881077766418}],"concepts":[{"id":"https://openalex.org/C2777062904","wikidata":"https://www.wikidata.org/wiki/Q545406","display_name":"Toolchain","level":3,"score":0.9847962856292725},{"id":"https://openalex.org/C2779752788","wikidata":"https://www.wikidata.org/wiki/Q1266659","display_name":"Stateflow","level":3,"score":0.9732455015182495},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.743329644203186},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5890396237373352},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5637379884719849},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5133678317070007},{"id":"https://openalex.org/C50897621","wikidata":"https://www.wikidata.org/wiki/Q2665508","display_name":"Hybrid system","level":2,"score":0.49363434314727783},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.48864132165908813},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37902772426605225},{"id":"https://openalex.org/C2780365114","wikidata":"https://www.wikidata.org/wiki/Q169478","display_name":"MATLAB","level":2,"score":0.20584771037101746},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12023881077766418},{"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-319-48628-4_3","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-319-48628-4_3","pdf_url":null,"source":{"id":"https://openalex.org/S4210188571","display_name":"NASA monographs in systems and software engineering","issn_l":"1860-0131","issn":["1860-0131","2197-6597"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"NASA Monographs in Systems and Software Engineering","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6899999976158142}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W59350782","https://openalex.org/W107352449","https://openalex.org/W172589331","https://openalex.org/W634869298","https://openalex.org/W1480909796","https://openalex.org/W1507695589","https://openalex.org/W1535116423","https://openalex.org/W1558296274","https://openalex.org/W1585526574","https://openalex.org/W1590463358","https://openalex.org/W1960944592","https://openalex.org/W1967184028","https://openalex.org/W1979646426","https://openalex.org/W1995691455","https://openalex.org/W1999913571","https://openalex.org/W2016056788","https://openalex.org/W2045011769","https://openalex.org/W2066459185","https://openalex.org/W2112322240","https://openalex.org/W2125614702","https://openalex.org/W2129729773","https://openalex.org/W2130705439","https://openalex.org/W2131399618","https://openalex.org/W2153803621","https://openalex.org/W2252600742","https://openalex.org/W2296004247","https://openalex.org/W2407773024","https://openalex.org/W2568324669","https://openalex.org/W2912522929","https://openalex.org/W3021664313","https://openalex.org/W4229917934","https://openalex.org/W4256074395","https://openalex.org/W6675527207"],"related_works":["https://openalex.org/W4237629093","https://openalex.org/W2256611834","https://openalex.org/W3179176387","https://openalex.org/W2384849022","https://openalex.org/W2979369075","https://openalex.org/W4362579395","https://openalex.org/W1543426010","https://openalex.org/W2535094036","https://openalex.org/W2376902526","https://openalex.org/W1844426619"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2}],"updated_date":"2026-05-11T08:15:01.531666","created_date":"2025-10-10T00:00:00"}