{"id":"https://openalex.org/W2557065544","doi":"https://doi.org/10.1109/allerton.2010.5707121","title":"Analysis of Stochastic Automata Networks using copula functions","display_name":"Analysis of Stochastic Automata Networks using copula functions","publication_year":2010,"publication_date":"2010-09-01","ids":{"openalex":"https://openalex.org/W2557065544","doi":"https://doi.org/10.1109/allerton.2010.5707121","mag":"2557065544"},"language":"en","primary_location":{"id":"doi:10.1109/allerton.2010.5707121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/allerton.2010.5707121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","raw_type":"proceedings-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/A5054958460","display_name":"Amit Surana","orcid":"https://orcid.org/0000-0002-6409-5139"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Amit Surana","raw_affiliation_strings":["United Technologies Research Center, Inc., USA"],"affiliations":[{"raw_affiliation_string":"United Technologies Research Center, Inc., USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5006764452","display_name":"Alessandro Pinto","orcid":"https://orcid.org/0000-0001-8308-311X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alessandro Pinto","raw_affiliation_strings":["United Technologies Research Center, Inc., USA"],"affiliations":[{"raw_affiliation_string":"United Technologies Research Center, Inc., USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5054958460"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.37584966,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"44","issue":null,"first_page":"1699","last_page":"1706"},"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.9998000264167786,"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.9998000264167786,"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/T10780","display_name":"Reliability and Maintenance Optimization","score":0.9997000098228455,"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/T10142","display_name":"Formal Methods in Verification","score":0.9983000159263611,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/copula","display_name":"Copula (linguistics)","score":0.8679245710372925},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.6976881623268127},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.6667824387550354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6131173372268677},{"id":"https://openalex.org/keywords/joint-probability-distribution","display_name":"Joint probability distribution","score":0.5207062363624573},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.489126980304718},{"id":"https://openalex.org/keywords/marginal-distribution","display_name":"Marginal distribution","score":0.4754899740219116},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45710381865501404},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.32801148295402527},{"id":"https://openalex.org/keywords/applied-mathematics","display_name":"Applied mathematics","score":0.32306092977523804},{"id":"https://openalex.org/keywords/random-variable","display_name":"Random variable","score":0.227131187915802},{"id":"https://openalex.org/keywords/econometrics","display_name":"Econometrics","score":0.1903492510318756},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.1149778962135315}],"concepts":[{"id":"https://openalex.org/C17618745","wikidata":"https://www.wikidata.org/wiki/Q207509","display_name":"Copula (linguistics)","level":2,"score":0.8679245710372925},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.6976881623268127},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.6667824387550354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6131173372268677},{"id":"https://openalex.org/C18653775","wikidata":"https://www.wikidata.org/wiki/Q1333358","display_name":"Joint probability distribution","level":2,"score":0.5207062363624573},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.489126980304718},{"id":"https://openalex.org/C165216359","wikidata":"https://www.wikidata.org/wiki/Q670653","display_name":"Marginal distribution","level":3,"score":0.4754899740219116},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45710381865501404},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.32801148295402527},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.32306092977523804},{"id":"https://openalex.org/C122123141","wikidata":"https://www.wikidata.org/wiki/Q176623","display_name":"Random variable","level":2,"score":0.227131187915802},{"id":"https://openalex.org/C149782125","wikidata":"https://www.wikidata.org/wiki/Q160039","display_name":"Econometrics","level":1,"score":0.1903492510318756},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.1149778962135315},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/allerton.2010.5707121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/allerton.2010.5707121","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W1504040945","https://openalex.org/W1588698603","https://openalex.org/W1969098862","https://openalex.org/W1985409483","https://openalex.org/W1986755980","https://openalex.org/W2000531049","https://openalex.org/W2001249527","https://openalex.org/W2004081230","https://openalex.org/W2007018477","https://openalex.org/W2010327714","https://openalex.org/W2015339214","https://openalex.org/W2105703528","https://openalex.org/W2108540529","https://openalex.org/W2109828309","https://openalex.org/W2119436275","https://openalex.org/W2681991495","https://openalex.org/W2907233437","https://openalex.org/W4206149930","https://openalex.org/W4212922449","https://openalex.org/W4240146822","https://openalex.org/W4241861175","https://openalex.org/W6650612222","https://openalex.org/W6676400145"],"related_works":["https://openalex.org/W2117969153","https://openalex.org/W2368545092","https://openalex.org/W2612974140","https://openalex.org/W1990836375","https://openalex.org/W1597411984","https://openalex.org/W2519402245","https://openalex.org/W4287578031","https://openalex.org/W1967916041","https://openalex.org/W801889541","https://openalex.org/W3121618123"],"abstract_inverted_index":{"In":[0],"this":[1,118],"paper":[2],"we":[3],"develop":[4],"a":[5,30,113],"copula":[6,87],"based":[7],"approximation":[8],"framework":[9],"for":[10,102],"scalable":[11],"analysis":[12],"of":[13,39,59,71,86,93,123],"Stochastic":[14],"Automata":[15],"Networks":[16],"(SAN)":[17],"arising":[18],"in":[19,37,51,57,112],"reliability":[20],"analysis,":[21,73],"and":[22,91],"can":[23,54,106],"be":[24,55],"described":[25],"by":[26],"CTMCs.":[27],"Copulas":[28],"provide":[29],"general":[31],"approach":[32,119],"to":[33,84],"model":[34],"joint":[35],"distributions":[36],"terms":[38,58],"their":[40],"marginals.":[41],"Using":[42],"copulas":[43,104],"functions,":[44],"the":[45,48,52,65,69,94,109],"dependencies":[46],"between":[47],"interacting":[49],"automata":[50,66],"SAN":[53],"captured":[56],"local":[60],"state":[61,78],"probabilities":[62],"associated":[63],"with":[64,77,88],"involved,":[67],"avoiding":[68],"need":[70],"reachability":[72],"which":[74],"is":[75],"cursed":[76],"space":[79],"explosion.We":[80],"prove":[81],"results":[82],"related":[83],"invariance":[85],"system":[89],"parameters,":[90],"consistency":[92],"approximation.":[95],"We":[96,116],"also":[97],"outline":[98],"an":[99],"empirical":[100],"procedure":[101],"determining":[103],"that":[105],"best":[107],"represent":[108],"underlying":[110],"dependence":[111],"given":[114],"SAN.":[115],"illustrate":[117],"through":[120],"various":[121],"examples":[122],"increasing":[124],"complexity.":[125]},"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}