{"id":"https://openalex.org/W1975773861","doi":"https://doi.org/10.1109/icsmc.2011.6083864","title":"Fault measure of discrete event systems using probabilistic timed automata","display_name":"Fault measure of discrete event systems using probabilistic timed automata","publication_year":2011,"publication_date":"2011-10-01","ids":{"openalex":"https://openalex.org/W1975773861","doi":"https://doi.org/10.1109/icsmc.2011.6083864","mag":"1975773861"},"language":"en","primary_location":{"id":"doi:10.1109/icsmc.2011.6083864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2011.6083864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Systems, Man, and Cybernetics","raw_type":"proceedings-article"},"type":"conference-paper","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/A5101535096","display_name":"Yi\u2010Sheng Huang","orcid":"https://orcid.org/0000-0001-8800-322X"},"institutions":[{"id":"https://openalex.org/I75430998","display_name":"National Ilan University","ror":"https://ror.org/01npf0s58","country_code":"TW","type":"education","lineage":["https://openalex.org/I75430998"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"Yi-Sheng Huang","raw_affiliation_strings":["Department of Electrical Engineering, National Ilan University, Taiwan","Department of Electrical Engineering, National Ilan University, Taiwan, ROC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Ilan University, Taiwan","institution_ids":["https://openalex.org/I75430998"]},{"raw_affiliation_string":"Department of Electrical Engineering, National Ilan University, Taiwan, ROC","institution_ids":["https://openalex.org/I75430998"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5083306607","display_name":"Ho-Shan Chiang","orcid":null},"institutions":[{"id":"https://openalex.org/I111149068","display_name":"National Defense University","ror":"https://ror.org/01nqk4x38","country_code":"US","type":"education","lineage":["https://openalex.org/I111149068"]},{"id":"https://openalex.org/I4210094862","display_name":"National Defense University","ror":"https://ror.org/00hkj1v53","country_code":"TW","type":"education","lineage":["https://openalex.org/I4210094862"]}],"countries":["TW","US"],"is_corresponding":false,"raw_author_name":"Ho-Shan Chiang","raw_affiliation_strings":["Department of Electrical and Electronic Engineering, National Defense University, Taiwan","Department of Electrical and Electronic Engineering, National Defense University, Taiwan. ROC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, National Defense University, Taiwan","institution_ids":["https://openalex.org/I4210094862"]},{"raw_affiliation_string":"Department of Electrical and Electronic Engineering, National Defense University, Taiwan. ROC","institution_ids":["https://openalex.org/I111149068"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110189764","display_name":"MuDer Jeng","orcid":null},"institutions":[{"id":"https://openalex.org/I153512688","display_name":"National Taiwan Ocean University","ror":"https://ror.org/03bvvnt49","country_code":"TW","type":"education","lineage":["https://openalex.org/I153512688"]}],"countries":["TW"],"is_corresponding":false,"raw_author_name":"MuDer Jeng","raw_affiliation_strings":["Department of Electrical Engineering, National Taiwan Ocean University, Taiwan","Department of Electrical Engineering, National Taiwan Ocean University, Taiwan, ROC"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan Ocean University, Taiwan","institution_ids":["https://openalex.org/I153512688"]},{"raw_affiliation_string":"Department of Electrical Engineering, National Taiwan Ocean University, Taiwan, ROC","institution_ids":["https://openalex.org/I153512688"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1218","last_page":"1223"},"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8088933229446411},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6408205032348633},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.6227633953094482},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6011413335800171},{"id":"https://openalex.org/keywords/probabilistic-automaton","display_name":"Probabilistic automaton","score":0.5991894602775574},{"id":"https://openalex.org/keywords/probability-distribution","display_name":"Probability distribution","score":0.5658782124519348},{"id":"https://openalex.org/keywords/probabilistic-relevance-model","display_name":"Probabilistic relevance model","score":0.5644736289978027},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.5340999364852905},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5151678323745728},{"id":"https://openalex.org/keywords/quantum-finite-automata","display_name":"Quantum finite automata","score":0.47627609968185425},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.4722798764705658},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.43445920944213867},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.42336466908454895},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.41225099563598633},{"id":"https://openalex.org/keywords/probability-measure","display_name":"Probability measure","score":0.4106976389884949},{"id":"https://openalex.org/keywords/automata-theory","display_name":"Automata theory","score":0.356222927570343},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.31719470024108887},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.27431872487068176},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2351095974445343},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.17434614896774292},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13579896092414856},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07793182134628296}],"concepts":[{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.8088933229446411},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6408205032348633},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.6227633953094482},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6011413335800171},{"id":"https://openalex.org/C174784677","wikidata":"https://www.wikidata.org/wiki/Q176567","display_name":"Probabilistic automaton","level":3,"score":0.5991894602775574},{"id":"https://openalex.org/C149441793","wikidata":"https://www.wikidata.org/wiki/Q200726","display_name":"Probability distribution","level":2,"score":0.5658782124519348},{"id":"https://openalex.org/C143017306","wikidata":"https://www.wikidata.org/wiki/Q3318133","display_name":"Probabilistic relevance model","level":4,"score":0.5644736289978027},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.5340999364852905},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5151678323745728},{"id":"https://openalex.org/C174327141","wikidata":"https://www.wikidata.org/wiki/Q176837","display_name":"Quantum finite automata","level":4,"score":0.47627609968185425},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.4722798764705658},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.43445920944213867},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.42336466908454895},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.41225099563598633},{"id":"https://openalex.org/C21031990","wikidata":"https://www.wikidata.org/wiki/Q355020","display_name":"Probability measure","level":2,"score":0.4106976389884949},{"id":"https://openalex.org/C116248031","wikidata":"https://www.wikidata.org/wiki/Q214526","display_name":"Automata theory","level":3,"score":0.356222927570343},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.31719470024108887},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.27431872487068176},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2351095974445343},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.17434614896774292},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13579896092414856},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07793182134628296},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/icsmc.2011.6083864","is_oa":false,"landing_page_url":"https://doi.org/10.1109/icsmc.2011.6083864","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE International Conference on Systems, Man, and Cybernetics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W1565555505","https://openalex.org/W1577803140","https://openalex.org/W1578178060","https://openalex.org/W1981808971","https://openalex.org/W1985787415","https://openalex.org/W1986184086","https://openalex.org/W1999161757","https://openalex.org/W2006027703","https://openalex.org/W2009280542","https://openalex.org/W2028827800","https://openalex.org/W2038995301","https://openalex.org/W2100968350","https://openalex.org/W2101508170","https://openalex.org/W2103416572","https://openalex.org/W2104075962","https://openalex.org/W2131456244","https://openalex.org/W2146566646","https://openalex.org/W4205834900","https://openalex.org/W4212875940","https://openalex.org/W6633942992","https://openalex.org/W6675439424"],"related_works":["https://openalex.org/W2065292090","https://openalex.org/W1817234734","https://openalex.org/W249340682","https://openalex.org/W1535566948","https://openalex.org/W4244879671","https://openalex.org/W3149394920","https://openalex.org/W2038056353","https://openalex.org/W2472062783","https://openalex.org/W4214926706","https://openalex.org/W2950697212"],"abstract_inverted_index":{"A":[0],"novel":[1],"approach":[2],"for":[3],"probabilistic":[4,18,54,95,119,140],"timed":[5,15],"structure":[6],"that":[7,31,56],"is":[8,24,143,152],"based":[9],"on":[10,66],"combining":[11],"the":[12,22,46,67,78,101,110,123],"formalisms":[13],"of":[14,21,48,69,74,80,103,112,122,125,149],"automata":[16,19],"and":[17,35,50,77,115],"representation":[20],"system":[23,151],"proposed.":[25],"This":[26],"paper":[27],"presents":[28],"an":[29,136],"algorithm":[30],"combines":[32],"probability":[33,64],"measure":[34,45,132,146],"clock":[36,75],"variables":[37,76],"constructed":[38],"model.":[39],"Hence,":[40],"their":[41],"real-valued":[42],"clocks":[43],"can":[44,52,58,117],"passage":[47,111],"time":[49,88,114,141],"transitions":[51,91,116],"be":[53,59,118],"such":[55],"it":[57],"expressed":[60],"as":[61],"a":[62,130,139,147,150],"discrete":[63,113],"distribution":[65],"set":[68],"target":[70],"states.":[71],"The":[72,90],"usage":[73],"specification":[79],"state":[81],"space":[82],"are":[83,94],"illustrated":[84],"with":[85],"real":[86],"value":[87],"applications.":[89],"between":[92],"states":[93],"by":[96,120],"events":[97],"which":[98],"describe":[99],"either":[100],"occurrence":[102],"faults":[104],"or":[105],"normal":[106],"working":[107],"conditions.":[108],"Additionally,":[109],"mean":[121],"theory":[124],"expectation":[126],"sets":[127],"to":[128,145],"obtain":[129],"unified":[131],"reasoning":[133],"strategy.":[134],"Finally,":[135],"example":[137],"where":[138],"model":[142],"used":[144],"robot":[148],"also":[153],"presented.":[154]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}