{"id":"https://openalex.org/W4206009728","doi":"https://doi.org/10.1109/tr.2021.3139616","title":"Approximate Safety Properties in Metric Transition Systems","display_name":"Approximate Safety Properties in Metric Transition Systems","publication_year":2022,"publication_date":"2022-01-20","ids":{"openalex":"https://openalex.org/W4206009728","doi":"https://doi.org/10.1109/tr.2021.3139616"},"language":"en","primary_location":{"id":"doi:10.1109/tr.2021.3139616","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2021.3139616","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"},"type":"article","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/A5039734214","display_name":"Junyan Qian","orcid":"https://orcid.org/0000-0002-1325-6975"},"institutions":[{"id":"https://openalex.org/I29739308","display_name":"Guangxi Normal University","ror":"https://ror.org/02frt9q65","country_code":"CN","type":"education","lineage":["https://openalex.org/I29739308"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Junyan Qian","raw_affiliation_strings":["Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China"],"raw_orcid":"https://orcid.org/0000-0002-1325-6975","affiliations":[{"raw_affiliation_string":"Guangxi Key Laboratory of Multi-Source Information Mining and Security, Guangxi Normal University, Guilin, China","institution_ids":["https://openalex.org/I29739308"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102749595","display_name":"Fan Shi","orcid":"https://orcid.org/0000-0002-9387-6153"},"institutions":[{"id":"https://openalex.org/I9842412","display_name":"Nanjing University of Aeronautics and Astronautics","ror":"https://ror.org/01scyh794","country_code":"CN","type":"education","lineage":["https://openalex.org/I9842412"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Fan Shi","raw_affiliation_strings":["Nanjing University of Aeronautics and Astronautics, Nanjing, China"],"raw_orcid":"https://orcid.org/0000-0002-9387-6153","affiliations":[{"raw_affiliation_string":"Nanjing University of Aeronautics and Astronautics, Nanjing, China","institution_ids":["https://openalex.org/I9842412"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100760623","display_name":"Yong Cai","orcid":"https://orcid.org/0000-0003-1009-5720"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Yong Cai","raw_affiliation_strings":["Guangxi Road and Bridge Engineering Group Company, Ltd., Nanning, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Guangxi Road and Bridge Engineering Group Company, Ltd., Nanning, China","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5080712914","display_name":"Haiyu Pan","orcid":"https://orcid.org/0000-0002-2496-837X"},"institutions":[{"id":"https://openalex.org/I5343935","display_name":"Guilin University of Electronic Technology","ror":"https://ror.org/05arjae42","country_code":"CN","type":"education","lineage":["https://openalex.org/I5343935"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Haiyu Pan","raw_affiliation_strings":["Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China"],"raw_orcid":"https://orcid.org/0000-0002-2496-837X","affiliations":[{"raw_affiliation_string":"Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology, Guilin, China","institution_ids":["https://openalex.org/I5343935"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5039734214"],"corresponding_institution_ids":["https://openalex.org/I29739308"],"apc_list":null,"apc_paid":null,"fwci":1.6574,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.81989496,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"71","issue":"1","first_page":"221","last_page":"234"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9993000030517578,"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/T10142","display_name":"Formal Methods in Verification","score":0.9991999864578247,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9915000200271606,"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/notation","display_name":"Notation","score":0.681596577167511},{"id":"https://openalex.org/keywords/metric","display_name":"Metric (unit)","score":0.6579160690307617},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.4331860840320587},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4200068414211273},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.3815282881259918},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.3668116331100464},{"id":"https://openalex.org/keywords/arithmetic","display_name":"Arithmetic","score":0.1501944363117218},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1202462911605835}],"concepts":[{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.681596577167511},{"id":"https://openalex.org/C176217482","wikidata":"https://www.wikidata.org/wiki/Q860554","display_name":"Metric (unit)","level":2,"score":0.6579160690307617},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.4331860840320587},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4200068414211273},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.3815282881259918},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.3668116331100464},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.1501944363117218},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1202462911605835},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tr.2021.3139616","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tr.2021.3139616","pdf_url":null,"source":{"id":"https://openalex.org/S87725633","display_name":"IEEE Transactions on Reliability","issn_l":"0018-9529","issn":["0018-9529","1558-1721"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Reliability","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7577846079","display_name":null,"funder_award_id":"62162014","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W853395036","https://openalex.org/W1498432697","https://openalex.org/W1506588809","https://openalex.org/W1538440743","https://openalex.org/W1540883472","https://openalex.org/W1604021722","https://openalex.org/W1823282488","https://openalex.org/W1874458658","https://openalex.org/W1980535239","https://openalex.org/W1984478483","https://openalex.org/W1994802992","https://openalex.org/W1997070622","https://openalex.org/W2011979623","https://openalex.org/W2015011216","https://openalex.org/W2034102118","https://openalex.org/W2035098582","https://openalex.org/W2035309264","https://openalex.org/W2043907610","https://openalex.org/W2063972032","https://openalex.org/W2088189255","https://openalex.org/W2090349619","https://openalex.org/W2090847457","https://openalex.org/W2094017389","https://openalex.org/W2097415784","https://openalex.org/W2107940210","https://openalex.org/W2109187338","https://openalex.org/W2111335664","https://openalex.org/W2113597446","https://openalex.org/W2125422788","https://openalex.org/W2131064738","https://openalex.org/W2132170793","https://openalex.org/W2132334337","https://openalex.org/W2191419605","https://openalex.org/W2291637985","https://openalex.org/W2293024501","https://openalex.org/W2495188503","https://openalex.org/W2581706563","https://openalex.org/W2587846955","https://openalex.org/W2606511843","https://openalex.org/W2740240835","https://openalex.org/W2786652058","https://openalex.org/W2913012649","https://openalex.org/W2913545290","https://openalex.org/W2914206182","https://openalex.org/W2963259237","https://openalex.org/W3022137235","https://openalex.org/W3100857140","https://openalex.org/W4230653810","https://openalex.org/W4231998491","https://openalex.org/W4236251966","https://openalex.org/W4293923418","https://openalex.org/W4302339081","https://openalex.org/W6685657486","https://openalex.org/W6733834094"],"related_works":["https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W4245490552","https://openalex.org/W4225152035","https://openalex.org/W2504004674","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W1587224694","https://openalex.org/W2042127053"],"abstract_inverted_index":{"Metric":[0],"transition":[1],"systems":[2,24],"(MTSs)":[3],"are":[4,13],"proposed":[5],"for":[6,120],"quantitative":[7,86],"verification":[8],"of":[9,17,23,51,88,104,113,128],"reactive":[10],"systems.":[11],"There":[12],"already":[14],"a":[15,58,77,85,123,126,143],"number":[16],"papers":[18],"on":[19,26],"quantitatively":[20],"analyzing":[21],"behaviors":[22],"based":[25],"MTSs.":[27,54],"In":[28,116],"this":[29,36],"article,":[30],"we":[31,56,83,99,161],"make":[32],"further":[33],"progress":[34],"along":[35],"research":[37],"line":[38],"by":[39,111],"lifting":[40],"safety":[41,89],"properties,":[42,90],"which":[43,69],"assert":[44],"that":[45,138],"nothing":[46],"\u201cbad\u201d":[47],"happens":[48],"during":[49],"execution":[50],"systems,":[52],"to":[53,72,74,141,151,165],"First,":[55],"introduce":[57],"distance":[59],"threshold":[60],"<inline-formula":[61,92,105,129,145],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[62,93,106,130,146],"xmlns:xlink=\"http://www.w3.org/1999/xlink\"><tex-math":[63,94,107,131,147],"notation=\"LaTeX\">$\\alpha":[64],"\\":[65],"\\text{taken":[66],"from":[67],"[0,1],}$</tex-math></inline-formula>":[68],"is":[70,135],"used":[71],"analyze":[73],"what":[75],"extent":[76],"system":[78,124],"satisfies":[79,125],"its":[80],"specification.":[81],"Then,":[82],"present":[84,162],"extension":[87],"called":[91],"notation=\"LaTeX\">$\\alpha$</tex-math></inline-formula>":[95,108,132,148],"-safety":[96,109,133,149],"properties.":[97],"Furthermore,":[98],"give":[100],"an":[101,118,152,163],"alternative":[102],"characterization":[103],"properties":[110,134],"means":[112],"their":[114],"closure.":[115],"addition,":[117],"algorithm":[119],"verifying":[121],"whether":[122],"subclass":[127],"developed,":[136],"assuming":[137],"the":[139],"method":[140],"convert":[142],"regular":[144],"property":[150],"equivalent":[153],"metric":[154],"finite":[155],"automaton":[156],"has":[157],"been":[158],"given.":[159],"Finally,":[160],"example":[164],"illustrate":[166],"our":[167],"approaches.":[168]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}