{"id":"https://openalex.org/W2990032951","doi":"https://doi.org/10.1109/smc.2019.8913890","title":"Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification","display_name":"Reconfigurable Hierarchical Timed Automata: Modeling and Stochastic Verification","publication_year":2019,"publication_date":"2019-10-01","ids":{"openalex":"https://openalex.org/W2990032951","doi":"https://doi.org/10.1109/smc.2019.8913890","mag":"2990032951"},"language":"en","primary_location":{"id":"doi:10.1109/smc.2019.8913890","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2019.8913890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)","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/A5072456466","display_name":"Roufaida Bettira","orcid":null},"institutions":[{"id":"https://openalex.org/I3133198376","display_name":"Ider University","ror":"https://ror.org/03054hf98","country_code":"MN","type":"education","lineage":["https://openalex.org/I3133198376"]}],"countries":["MN"],"is_corresponding":false,"raw_author_name":"Roufaida Bettira","raw_affiliation_strings":["LINFI Laboratory, University of Mohamed Khider, Biskra"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, University of Mohamed Khider, Biskra","institution_ids":["https://openalex.org/I3133198376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052087453","display_name":"La\u00efd Kahloul","orcid":"https://orcid.org/0000-0002-9739-7715"},"institutions":[{"id":"https://openalex.org/I3133198376","display_name":"Ider University","ror":"https://ror.org/03054hf98","country_code":"MN","type":"education","lineage":["https://openalex.org/I3133198376"]}],"countries":["MN"],"is_corresponding":false,"raw_author_name":"Laid Kahloul","raw_affiliation_strings":["LINFI Laboratory, University of Mohamed Khider, Biskra"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, University of Mohamed Khider, Biskra","institution_ids":["https://openalex.org/I3133198376"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"id":"https://openalex.org/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"education","lineage":["https://openalex.org/I179097149"]},{"id":"https://openalex.org/I42731748","display_name":"National Institute of Applied Science and Technology","ror":"https://ror.org/00qn2rd91","country_code":"TN","type":"facility","lineage":["https://openalex.org/I42731748"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["National Institute of Applied Sciences and Technology (INSAT), University of Carthage, Tunis, Tunisia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"National Institute of Applied Sciences and Technology (INSAT), University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I111950717","display_name":"Macau University of Science and Technology","ror":"https://ror.org/03jqs2n27","country_code":"MO","type":"education","lineage":["https://openalex.org/I111950717","https://openalex.org/I4391767947"]}],"countries":["MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Macau, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.2021,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.57871553,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"54","issue":null,"first_page":"2364","last_page":"2371"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998999834060669,"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.9998999834060669,"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.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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.8139883875846863},{"id":"https://openalex.org/keywords/reconfigurability","display_name":"Reconfigurability","score":0.8071935176849365},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.7365962266921997},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5744637846946716},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4966302514076233},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.43619585037231445},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.42904549837112427},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.42122140526771545},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.41524893045425415},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39232364296913147}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8139883875846863},{"id":"https://openalex.org/C2780149590","wikidata":"https://www.wikidata.org/wiki/Q7302742","display_name":"Reconfigurability","level":2,"score":0.8071935176849365},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7365962266921997},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5744637846946716},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4966302514076233},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.43619585037231445},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.42904549837112427},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.42122140526771545},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.41524893045425415},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39232364296913147},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/smc.2019.8913890","is_oa":false,"landing_page_url":"https://doi.org/10.1109/smc.2019.8913890","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE International Conference on Systems, Man and Cybernetics (SMC)","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":39,"referenced_works":["https://openalex.org/W1031594011","https://openalex.org/W1511286138","https://openalex.org/W1547450940","https://openalex.org/W1561093018","https://openalex.org/W1642772123","https://openalex.org/W1970901627","https://openalex.org/W2002644257","https://openalex.org/W2034008358","https://openalex.org/W2100054110","https://openalex.org/W2105389929","https://openalex.org/W2115309705","https://openalex.org/W2150220388","https://openalex.org/W2161147774","https://openalex.org/W2285521038","https://openalex.org/W2317901115","https://openalex.org/W2508545064","https://openalex.org/W2515264661","https://openalex.org/W2536985169","https://openalex.org/W2551134403","https://openalex.org/W2574167712","https://openalex.org/W2604111823","https://openalex.org/W2728489641","https://openalex.org/W2782662800","https://openalex.org/W2790770205","https://openalex.org/W2801698466","https://openalex.org/W2803861356","https://openalex.org/W2832246536","https://openalex.org/W2889090079","https://openalex.org/W2962843301","https://openalex.org/W3101742435","https://openalex.org/W3125009696","https://openalex.org/W6626574303","https://openalex.org/W6740428825","https://openalex.org/W6748079644","https://openalex.org/W6749047750","https://openalex.org/W6751186271","https://openalex.org/W6752985500","https://openalex.org/W6753446186","https://openalex.org/W6789424769"],"related_works":["https://openalex.org/W3036403349","https://openalex.org/W1968510839","https://openalex.org/W2106507440","https://openalex.org/W2809618173","https://openalex.org/W2118572231","https://openalex.org/W2406499533","https://openalex.org/W3120172095","https://openalex.org/W2950360254","https://openalex.org/W1522369122","https://openalex.org/W1563456403"],"abstract_inverted_index":{"This":[0],"paper":[1],"deals":[2],"with":[3,19],"formal":[4],"modeling":[5],"and":[6,45,63,75],"verification":[7,53,67,84,104],"of":[8,33,47,60,103],"reconfigurable":[9,37],"hierarchical":[10,38],"discrete-event":[11],"control":[12],"systems":[13],"(RDECSs).":[14],"The":[15,86],"system's":[16,78],"behavior":[17],"is":[18,69,89],"a":[20],"dynamic":[21],"structure":[22],"for":[23,71],"being":[24],"adapted":[25],"to":[26,42,91,94],"related":[27,97],"environment.":[28],"We":[29],"propose":[30],"an":[31,55,65,92],"extension":[32],"timed":[34,39],"automata":[35,40],"named":[36],"(RHTA)":[41],"consider":[43],"hierarchy":[44],"reconfigurability":[46],"the":[48,52,96],"considered":[49,81],"system.":[50],"Since":[51],"becomes":[54],"expensive":[56],"task":[57],"in":[58,101],"terms":[59],"computation":[61],"time":[62,105],"memory,":[64],"improved":[66],"methodology":[68],"proposed":[70,87],"RHTA":[72],"where":[73,99],"redundancies":[74],"similarities":[76],"between":[77],"configurations":[79],"are":[80,106],"which":[82],"controls":[83],"cost.":[85],"contribution":[88],"applied":[90],"example":[93],"evaluate":[95],"performance":[98],"gains":[100],"term":[102],"marked.":[107]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":10},{"year":2021,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}