{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,19]],"date-time":"2026-05-19T15:03:31Z","timestamp":1779203011593,"version":"3.51.4"},"reference-count":30,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,12,1]],"date-time":"2024-12-01T00:00:00Z","timestamp":1733011200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"Jiangxi Provincial of China Natural Science Foundation","award":["20232BAB202010"],"award-info":[{"award-number":["20232BAB202010"]}]},{"name":"Science and Technology Project of Education Department of Jiangxi Province, China","award":["GJJ210307"],"award-info":[{"award-number":["GJJ210307"]}]},{"name":"Science and Technology Project of Education Department of Jiangxi Province, China","award":["GJJ210334"],"award-info":[{"award-number":["GJJ210334"]}]},{"name":"Science and Technology Project of Education Department of Jiangxi Province, China","award":["GJJ2200302"],"award-info":[{"award-number":["GJJ2200302"]}]},{"name":"Science and Technology Project of Education Department of Jiangxi Province, China","award":["GJJ2200303"],"award-info":[{"award-number":["GJJ2200303"]}]},{"name":"Cultivation Proiect for Academic and Technical Leader in Major Disciplines in Jiangxi Province","award":["20232BCJ22013"],"award-info":[{"award-number":["20232BCJ22013"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Rel."],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1109\/tr.2024.3384702","type":"journal-article","created":{"date-parts":[[2024,4,24]],"date-time":"2024-04-24T17:25:33Z","timestamp":1713979533000},"page":"1849-1862","source":"Crossref","is-referenced-by-count":3,"title":["Modeling and Verification Methods for Spatio-Temporal Consistency of CPS in Uncertain Environments"],"prefix":"10.1109","volume":"73","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-2297-7478","authenticated-orcid":false,"given":"Shuqi","family":"Pan","sequence":"first","affiliation":[{"name":"School of Computer and Information Engineering, Jiangxi Normal University, Nanchang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3601-4979","authenticated-orcid":false,"given":"Changjing","family":"Wang","sequence":"additional","affiliation":[{"name":"School of Computer and Information Engineering, Jiangxi Normal University, Nanchang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3865-2018","authenticated-orcid":false,"given":"Wuping","family":"Xie","sequence":"additional","affiliation":[{"name":"National International Science and Technology Cooperation Base for Networked Supporting Software, Jiangxi Normal University, Nanchang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-8718-1716","authenticated-orcid":false,"given":"Jiaxing","family":"Lu","sequence":"additional","affiliation":[{"name":"School of Computer and Information Engineering, Jiangxi Normal University, Nanchang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8877-4267","authenticated-orcid":false,"given":"Qing","family":"Huang","sequence":"additional","affiliation":[{"name":"School of Computer and Information Engineering, Jiangxi Normal University, Nanchang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7118-3727","authenticated-orcid":false,"given":"Zhengkang","family":"Zuo","sequence":"additional","affiliation":[{"name":"School of Computer and Information Engineering, Jiangxi Normal University, Nanchang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"issue":"2","key":"ref1","first-page":"28","article-title":"Cyber -physical systems - concept, challenges and research areas","volume":"14","author":"Sanislav","year":"2012","journal-title":"J. Control Eng. Appl. Inform."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISORCW.2012.11"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ISKE47853.2019.9170360"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-42061-5_16"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2018.8635976"},{"key":"ref6","first-page":"919","article-title":"Modeling and verification for CPS space-time safety","volume-title":"Proc. 4th Int. Conf. Front. Technol. Inf. Comput.","author":"Zhen","year":"2022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TASE52547.2021.00032"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2014.10"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-018-7054-8"},{"issue":"1","key":"ref10","first-page":"94","article-title":"Modeling and verification of CPS based on spatio-temporal automata","volume":"31","author":"Zhao","year":"2015","journal-title":"Bull. Sci. Technol."},{"issue":"6","key":"ref11","first-page":"1779","article-title":"Hybrid AADL modeling and model conversion for CPS time and space properties verification","volume":"32","author":"Chen","year":"2021","journal-title":"J. Softw."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-31559-1_8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_1"},{"issue":"2","key":"ref14","first-page":"305","article-title":"Statistical model checking for rare-event in safety-critical system","volume":"26","author":"Du","year":"2015","journal-title":"J. Soft."},{"key":"ref15","first-page":"121","article-title":"Abstraction based reachability analysis for finite branching stochastic hybrid systems","volume-title":"Proc. ACM\/IEEE Int. Conf. Cyber-Phys. Syst.","author":"Zhang","year":"2017"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC48747.2019.00038"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502535"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/FSKD.2017.8392986"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1142\/S0218194022500188"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICICSE52190.2021.9404128"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_15"},{"key":"ref22","first-page":"1047","volume-title":"Handbook of Model Checking","author":"Konnov","year":"2019"},{"issue":"4","key":"ref23","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"David","year":"2015","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"issue":"1","key":"ref24","first-page":"45","article-title":"A formal verification method for smart contract attributes based on UPPAAL","volume":"47","author":"Zhang","year":"2023","journal-title":"J. Jiangxi Normal Univ. (Natural Sci. Ed.)"},{"issue":"6","key":"ref25","first-page":"1638","article-title":"Formalizing railway interlocking domain specific language","volume":"31","author":"Zhao","year":"2020","journal-title":"J. Softw."},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20398-5_12"},{"issue":"8","key":"ref27","first-page":"7","article-title":"Physical model of vertical collision avoidance for airborne collision avoidance system","volume":"50","author":"Peng","year":"2010","journal-title":"Telecommun. Technol."},{"issue":"9","key":"ref28","first-page":"176","article-title":"Gaussian white noise based collision risk modeling under free flight","volume":"10","author":"Gao","year":"2014","journal-title":"J. Saf. Sci. Technol."},{"issue":"9","key":"ref29","first-page":"40","article-title":"Under the free flight collision risk research based on Bayesian network","volume":"24","author":"Zhang","year":"2014","journal-title":"China Saf. Sci. J."},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1051\/wujns\/2021266513"}],"container-title":["IEEE Transactions on Reliability"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/24\/10779371\/10507860.pdf?arnumber=10507860","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T01:01:30Z","timestamp":1733878890000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10507860\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12]]},"references-count":30,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tr.2024.3384702","relation":{},"ISSN":["0018-9529","1558-1721"],"issn-type":[{"value":"0018-9529","type":"print"},{"value":"1558-1721","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,12]]}}}