{"id":"https://openalex.org/W7129194038","doi":"https://doi.org/10.1109/taes.2026.3665850","title":"Bridging Weibull Failure Models and CTMC Verification: Automated Phase-Type Encoding for Satellite Reliability Analysis in PRISM","display_name":"Bridging Weibull Failure Models and CTMC Verification: Automated Phase-Type Encoding for Satellite Reliability Analysis in PRISM","publication_year":2026,"publication_date":"2026-01-01","ids":{"openalex":"https://openalex.org/W7129194038","doi":"https://doi.org/10.1109/taes.2026.3665850"},"language":null,"primary_location":{"id":"doi:10.1109/taes.2026.3665850","is_oa":false,"landing_page_url":"https://doi.org/10.1109/taes.2026.3665850","pdf_url":null,"source":{"id":"https://openalex.org/S193624734","display_name":"IEEE Transactions on Aerospace and Electronic Systems","issn_l":"0018-9251","issn":["0018-9251","1557-9603","2371-9877"],"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 Aerospace and Electronic Systems","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/A5026979934","display_name":"KH Wong","orcid":null},"institutions":[{"id":"https://openalex.org/I4210152380","display_name":"Shenzhen Technology University","ror":"https://ror.org/04qzpec27","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210152380"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Kelvin K.L. Wong","raw_affiliation_strings":["School of Artificial Intelligence, Shenzhen Technology University, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-8600-1105","affiliations":[{"raw_affiliation_string":"School of Artificial Intelligence, Shenzhen Technology University, Shenzhen, China","institution_ids":["https://openalex.org/I4210152380"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Yu Lu","orcid":"https://orcid.org/0000-0002-7799-9794"},"institutions":[{"id":"https://openalex.org/I4210152380","display_name":"Shenzhen Technology University","ror":"https://ror.org/04qzpec27","country_code":"CN","type":"education","lineage":["https://openalex.org/I4210152380"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yu Lu","raw_affiliation_strings":["School of Artificial Intelligence, Shenzhen Technology University, Shenzhen, China"],"raw_orcid":"https://orcid.org/0000-0002-7799-9794","affiliations":[{"raw_affiliation_string":"School of Artificial Intelligence, Shenzhen Technology University, Shenzhen, China","institution_ids":["https://openalex.org/I4210152380"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045650604","display_name":"W. H. Ip","orcid":null},"institutions":[{"id":"https://openalex.org/I14243506","display_name":"Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98","country_code":"HK","type":"education","lineage":["https://openalex.org/I14243506"]}],"countries":["HK"],"is_corresponding":false,"raw_author_name":"Wai Hung Ip","raw_affiliation_strings":["Department of Industrial and Systems Engineering, The Hong Kong Polytechnic University, Hong Kong"],"raw_orcid":"https://orcid.org/0000-0001-6609-0713","affiliations":[{"raw_affiliation_string":"Department of Industrial and Systems Engineering, The Hong Kong Polytechnic University, Hong Kong","institution_ids":["https://openalex.org/I14243506"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Wenjun Zhang","orcid":"https://orcid.org/0000-0001-7973-8769"},"institutions":[{"id":"https://openalex.org/I32625721","display_name":"University of Saskatchewan","ror":"https://ror.org/010x8gc63","country_code":"CA","type":"education","lineage":["https://openalex.org/I32625721"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Wenjun Zhang","raw_affiliation_strings":["Department of Mechanical Engineering, University of Saskatchewan, Saskatoon, SK, Canada"],"raw_orcid":"https://orcid.org/0000-0001-7973-8769","affiliations":[{"raw_affiliation_string":"Department of Mechanical Engineering, University of Saskatchewan, Saskatoon, SK, Canada","institution_ids":["https://openalex.org/I32625721"]}]},{"author_position":"last","author":{"id":null,"display_name":"Zhili Sun","orcid":"https://orcid.org/0000-0002-1909-4946"},"institutions":[{"id":"https://openalex.org/I28290843","display_name":"University of Surrey","ror":"https://ror.org/00ks66431","country_code":"GB","type":"education","lineage":["https://openalex.org/I28290843"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zhili Sun","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, University of Surrey, Surrey, U.K"],"raw_orcid":"https://orcid.org/0000-0002-1909-4946","affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, University of Surrey, Surrey, U.K","institution_ids":["https://openalex.org/I28290843"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.14116356,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"62","issue":null,"first_page":"6607","last_page":"6623"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.4341999888420105,"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"}},"topics":[{"id":"https://openalex.org/T10780","display_name":"Reliability and Maintenance Optimization","score":0.4341999888420105,"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/T11357","display_name":"Risk and Safety Analysis","score":0.13410000503063202,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.05139999836683273,"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/probabilistic-logic","display_name":"Probabilistic logic","score":0.6948999762535095},{"id":"https://openalex.org/keywords/bridging","display_name":"Bridging (networking)","score":0.6292999982833862},{"id":"https://openalex.org/keywords/weibull-distribution","display_name":"Weibull distribution","score":0.5782999992370605},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.5490999817848206},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5447999835014343},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.5293999910354614},{"id":"https://openalex.org/keywords/aerospace","display_name":"Aerospace","score":0.4684999883174896},{"id":"https://openalex.org/keywords/markov-model","display_name":"Markov model","score":0.4129999876022339},{"id":"https://openalex.org/keywords/fidelity","display_name":"Fidelity","score":0.38269999623298645}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7020999789237976},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6948999762535095},{"id":"https://openalex.org/C174348530","wikidata":"https://www.wikidata.org/wiki/Q188635","display_name":"Bridging (networking)","level":2,"score":0.6292999982833862},{"id":"https://openalex.org/C173291955","wikidata":"https://www.wikidata.org/wiki/Q732332","display_name":"Weibull distribution","level":2,"score":0.5782999992370605},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.5490999817848206},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5447999835014343},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.5293999910354614},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5144000053405762},{"id":"https://openalex.org/C167740415","wikidata":"https://www.wikidata.org/wiki/Q2876213","display_name":"Aerospace","level":2,"score":0.4684999883174896},{"id":"https://openalex.org/C163836022","wikidata":"https://www.wikidata.org/wiki/Q6771326","display_name":"Markov model","level":3,"score":0.4129999876022339},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3871000111103058},{"id":"https://openalex.org/C2776459999","wikidata":"https://www.wikidata.org/wiki/Q2119376","display_name":"Fidelity","level":2,"score":0.38269999623298645},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.37940001487731934},{"id":"https://openalex.org/C114289077","wikidata":"https://www.wikidata.org/wiki/Q3284399","display_name":"Statistical model","level":2,"score":0.3716000020503998},{"id":"https://openalex.org/C159886148","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov process","level":2,"score":0.362199991941452},{"id":"https://openalex.org/C19269812","wikidata":"https://www.wikidata.org/wiki/Q26540","display_name":"Satellite","level":2,"score":0.3384999930858612},{"id":"https://openalex.org/C125411270","wikidata":"https://www.wikidata.org/wiki/Q18653","display_name":"Encoding (memory)","level":2,"score":0.3257000148296356},{"id":"https://openalex.org/C67186912","wikidata":"https://www.wikidata.org/wiki/Q367664","display_name":"Data modeling","level":2,"score":0.3215999901294708},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.3068000078201294},{"id":"https://openalex.org/C32230216","wikidata":"https://www.wikidata.org/wiki/Q7882499","display_name":"Uncertainty quantification","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C2781181686","wikidata":"https://www.wikidata.org/wiki/Q4226068","display_name":"Coherence (philosophical gambling strategy)","level":2,"score":0.28189998865127563},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.2816999852657318},{"id":"https://openalex.org/C8272713","wikidata":"https://www.wikidata.org/wiki/Q176737","display_name":"Stochastic process","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C66283442","wikidata":"https://www.wikidata.org/wiki/Q1389268","display_name":"Failure mode and effects analysis","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2727999985218048},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.26600000262260437},{"id":"https://openalex.org/C111350023","wikidata":"https://www.wikidata.org/wiki/Q1191869","display_name":"Markov chain Monte Carlo","level":3,"score":0.2648000121116638},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.26030001044273376},{"id":"https://openalex.org/C127491075","wikidata":"https://www.wikidata.org/wiki/Q7617825","display_name":"Stochastic modelling","level":2,"score":0.2533999979496002}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/taes.2026.3665850","is_oa":false,"landing_page_url":"https://doi.org/10.1109/taes.2026.3665850","pdf_url":null,"source":{"id":"https://openalex.org/S193624734","display_name":"IEEE Transactions on Aerospace and Electronic Systems","issn_l":"0018-9251","issn":["0018-9251","1557-9603","2371-9877"],"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 Aerospace and Electronic Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G7104982944","display_name":null,"funder_award_id":"62576222","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"},{"id":"https://openalex.org/F4320322725","display_name":"China Scholarship Council","ror":"https://ror.org/04atp4p48"},{"id":"https://openalex.org/F4320335095","display_name":"Department of Industrial and Systems Engineering, Hong Kong Polytechnic University","ror":"https://ror.org/0030zas98"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Satellite":[0],"systems":[1],"consist":[2],"of":[3,100],"multiple":[4],"interdependent":[5],"subsystems":[6],"whose":[7],"failure":[8,102],"dynamics":[9],"frequently":[10],"deviate":[11],"from":[12,25],"the":[13,114,137],"exponential":[14],"assumption":[15],"and":[16,74,88,110],"are":[17,33],"more":[18],"accurately":[19],"captured":[20],"by":[21,91],"Weibull":[22],"distributions":[23,63,120],"derived":[24],"empirical":[26,128],"on-orbit":[27],"data.":[28],"However,":[29],"these":[30],"non-exponential":[31],"behaviors":[32],"inherently":[34],"incompatible":[35],"with":[36,157],"Continuous-Time":[37],"Markov":[38],"Chain":[39],"(CTMC)":[40],"models":[41,73,103],"that":[42],"underpin":[43],"probabilistic":[44,168],"verification":[45,90],"tools":[46],"such":[47],"as":[48],"PRISM.":[49,105],"Although":[50],"phase-type":[51,98,119],"approximations":[52],"(e.g.,":[53],"Erlang,":[54],"hyper-exponential)":[55],"provide":[56],"a":[57,163],"means":[58],"to":[59,127,171],"embed":[60],"general":[61],"lifetime":[62],"into":[64,104,122],"CTMCs,":[65],"existing":[66],"applications":[67],"typically":[68],"target":[69],"small-scale":[70],"or":[71],"domain-agnostic":[72],"offer":[75],"limited":[76],"guidance":[77],"for":[78,97,166],"aerospace":[79,174],"reliability":[80,86,145,155],"analysis.":[81],"This":[82],"paper":[83],"bridges":[84],"Weibull-based":[85],"modeling":[87],"CTMC":[89],"introducing":[92],"an":[93],"automated,":[94],"reproducible":[95],"workflow":[96],"encoding":[99],"semi-Markov":[101],"Leveraging":[106],"symbolic":[107],"state-space":[108,160],"reduction":[109],"modular":[111],"model":[112,169],"construction,":[113],"proposed":[115],"framework":[116],"embeds":[117],"fitted":[118],"directly":[121],"CTMC-compatible":[123],"models,":[124],"preserving":[125],"fidelity":[126],"degradation":[129],"data":[130],"while":[131],"maintaining":[132],"computational":[133],"tractability.":[134],"We":[135],"evaluate":[136],"approach":[138],"across":[139],"representative":[140],"satellite":[141],"subsystems,":[142],"verifying":[143],"time-bounded":[144],"properties":[146],"under":[147],"realistic":[148],"mission":[149],"profiles.":[150],"Experimental":[151],"results":[152],"demonstrate":[153],"accurate":[154],"estimation":[156],"substantially":[158],"mitigated":[159],"explosion,":[161],"providing":[162],"practical":[164],"pathway":[165],"applying":[167],"checking":[170],"large-scale,":[172],"non-Markovian":[173],"systems.":[175]},"counts_by_year":[],"updated_date":"2026-04-17T05:58:53.018234","created_date":"2026-02-18T00:00:00"}