{"id":"https://openalex.org/W4321601196","doi":"https://doi.org/10.3390/axioms12030230","title":"Dynamic Timed Automata for Reconfigurable System Modeling and Verification","display_name":"Dynamic Timed Automata for Reconfigurable System Modeling and Verification","publication_year":2023,"publication_date":"2023-02-22","ids":{"openalex":"https://openalex.org/W4321601196","doi":"https://doi.org/10.3390/axioms12030230"},"language":"en","primary_location":{"id":"doi:10.3390/axioms12030230","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms12030230","pdf_url":"https://www.mdpi.com/2075-1680/12/3/230/pdf?version=1677142580","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/2075-1680/12/3/230/pdf?version=1677142580","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5091607776","display_name":"Samir Tigane","orcid":"https://orcid.org/0000-0001-9093-1180"},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":true,"raw_author_name":"Samir Tigane","raw_affiliation_strings":["LINFI Laboratory, Computer Science Department, University of Biskra, Biskra 07000, Algeria"],"raw_orcid":"https://orcid.org/0000-0001-9093-1180","affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, University of Biskra, Biskra 07000, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058327857","display_name":"Fay\u00e7al Guerrouf","orcid":"https://orcid.org/0000-0001-6917-8032"},"institutions":[{"id":"https://openalex.org/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Fay\u00e7al Guerrouf","raw_affiliation_strings":["LINFI Laboratory, Computer Science Department, University of Biskra, Biskra 07000, Algeria"],"raw_orcid":"https://orcid.org/0000-0001-6917-8032","affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, University of Biskra, Biskra 07000, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051081188","display_name":"Nadia Hamani","orcid":"https://orcid.org/0000-0001-6151-2585"},"institutions":[{"id":"https://openalex.org/I4401200354","display_name":"Laboratoire des technologies innovantes","ror":"https://ror.org/00ry58h45","country_code":"FR","type":"facility","lineage":["https://openalex.org/I4401200354","https://openalex.org/I4647051"]},{"id":"https://openalex.org/I4647051","display_name":"Universit\u00e9 de Picardie Jules Verne","ror":"https://ror.org/01gyxrk03","country_code":"FR","type":"education","lineage":["https://openalex.org/I4647051"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nadia Hamani","raw_affiliation_strings":["LTI Laboratory, University of Picardie Jules Verne, 02100 Saint-Quentin, France"],"raw_orcid":"https://orcid.org/0000-0001-6151-2585","affiliations":[{"raw_affiliation_string":"LTI Laboratory, University of Picardie Jules Verne, 02100 Saint-Quentin, France","institution_ids":["https://openalex.org/I4401200354","https://openalex.org/I4647051"]}]},{"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/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Laid Kahloul","raw_affiliation_strings":["LINFI Laboratory, Computer Science Department, University of Biskra, Biskra 07000, Algeria"],"raw_orcid":"https://orcid.org/0000-0002-9739-7715","affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, University of Biskra, Biskra 07000, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"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, University of Carthage, Tunis 1080, Tunisia"],"raw_orcid":"https://orcid.org/0000-0001-6311-3588","affiliations":[{"raw_affiliation_string":"National Institute of Applied Sciences and Technology, University of Carthage, Tunis 1080, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035516939","display_name":"Masood Ashraf Ali","orcid":"https://orcid.org/0000-0002-1426-5339"},"institutions":[{"id":"https://openalex.org/I142608572","display_name":"Prince Sattam Bin Abdulaziz University","ror":"https://ror.org/04jt46d36","country_code":"SA","type":"education","lineage":["https://openalex.org/I142608572"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Masood Ashraf Ali","raw_affiliation_strings":["Department of Industrial Engineering, College of Engineering, Prince Sattam bin Abdulaziz University, Al-Kharj 11942, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-1426-5339","affiliations":[{"raw_affiliation_string":"Department of Industrial Engineering, College of Engineering, Prince Sattam bin Abdulaziz University, Al-Kharj 11942, Saudi Arabia","institution_ids":["https://openalex.org/I142608572"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5091607776"],"corresponding_institution_ids":["https://openalex.org/I206961696"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":2.8457,"has_fulltext":true,"cited_by_count":15,"citation_normalized_percentile":{"value":0.92007466,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":99},"biblio":{"volume":"12","issue":"3","first_page":"230","last_page":"230"},"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.9995999932289124,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9980999827384949,"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/automaton","display_name":"Automaton","score":0.7990846037864685},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7960869669914246},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.43147727847099304},{"id":"https://openalex.org/keywords/timed-automaton","display_name":"Timed automaton","score":0.42049849033355713},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3421902060508728},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3394244611263275}],"concepts":[{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.7990846037864685},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7960869669914246},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.43147727847099304},{"id":"https://openalex.org/C30788636","wikidata":"https://www.wikidata.org/wiki/Q7805517","display_name":"Timed automaton","level":3,"score":0.42049849033355713},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3421902060508728},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3394244611263275}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3390/axioms12030230","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms12030230","pdf_url":"https://www.mdpi.com/2075-1680/12/3/230/pdf?version=1677142580","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-04010572v1","is_oa":true,"landing_page_url":"https://u-picardie.hal.science/hal-04010572","pdf_url":"https://u-picardie.hal.science/hal-04010572/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Axioms, 2023, 12 (3), pp.230. ⟨10.3390/axioms12030230⟩","raw_type":"Journal articles"},{"id":"pmh:oai:doaj.org/article:a02996a7c02140b6b17adc2e8708ee5c","is_oa":true,"landing_page_url":"https://doaj.org/article/a02996a7c02140b6b17adc2e8708ee5c","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Axioms, Vol 12, Iss 3, p 230 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/2075-1680/12/3/230/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/axioms12030230","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Axioms","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/axioms12030230","is_oa":true,"landing_page_url":"https://doi.org/10.3390/axioms12030230","pdf_url":"https://www.mdpi.com/2075-1680/12/3/230/pdf?version=1677142580","source":{"id":"https://openalex.org/S4210173132","display_name":"Axioms","issn_l":"2075-1680","issn":["2075-1680"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Axioms","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4321601196.pdf"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W617050042","https://openalex.org/W1962072139","https://openalex.org/W1991396026","https://openalex.org/W1996109622","https://openalex.org/W2025383609","https://openalex.org/W2025782239","https://openalex.org/W2103779463","https://openalex.org/W2131045566","https://openalex.org/W2133856837","https://openalex.org/W2285521038","https://openalex.org/W2343783438","https://openalex.org/W2753494700","https://openalex.org/W2807109271","https://openalex.org/W2890532764","https://openalex.org/W2907843930","https://openalex.org/W2917785308","https://openalex.org/W2922180692","https://openalex.org/W2962711748","https://openalex.org/W2971746131","https://openalex.org/W2975612534","https://openalex.org/W2990029178","https://openalex.org/W2990032951","https://openalex.org/W3028136952","https://openalex.org/W3029219021","https://openalex.org/W3093479430","https://openalex.org/W3106913076","https://openalex.org/W3111326146","https://openalex.org/W3126793167","https://openalex.org/W3135494196","https://openalex.org/W3163389012","https://openalex.org/W4206940268","https://openalex.org/W4212994361","https://openalex.org/W4291742946","https://openalex.org/W4312205547","https://openalex.org/W4312844277","https://openalex.org/W4313225890","https://openalex.org/W4313328704","https://openalex.org/W6727186834"],"related_works":["https://openalex.org/W1750171350","https://openalex.org/W2095644384","https://openalex.org/W1571606103","https://openalex.org/W1903000972","https://openalex.org/W2148140319","https://openalex.org/W2035000455","https://openalex.org/W2569130014","https://openalex.org/W2121845202","https://openalex.org/W2746280673","https://openalex.org/W2560415449"],"abstract_inverted_index":{"Modern":[0],"discrete-event":[1],"systems":[2],"(DESs)":[3],"are":[4,31,52],"often":[5],"characterized":[6,53],"by":[7,54],"their":[8,55,103],"dynamic":[9,64,77],"structures":[10],"enabling":[11,81],"highly":[12],"flexible":[13],"behaviors":[14],"that":[15,95],"can":[16],"respond":[17],"in":[18],"real":[19],"time":[20],"to":[21,35,44,74],"volatile":[22],"environments.":[23],"On":[24],"the":[25,42,61,82,107],"other":[26],"hand,":[27],"timed":[28,78],"automata":[29,79],"(TA)":[30],"powerful":[32],"tools":[33],"used":[34],"design":[36],"various":[37],"DESs.":[38],"However,":[39],"they":[40],"lack":[41],"ability":[43],"naturally":[45],"describe":[46],"dynamic-structure":[47],"reconfigurable":[48,87],"systems.":[49,88],"Indeed,":[50],"TA":[51,100],"rigid":[56],"structures,":[57],"which":[58],"cannot":[59],"handle":[60],"complexity":[62],"of":[63,86,111],"structures.":[65],"To":[66],"overcome":[67],"this":[68,112],"limitation,":[69],"we":[70,90],"propose":[71],"an":[72,119],"extension":[73],"TA,":[75],"called":[76],"(DTA),":[80],"modeling":[83,114],"and":[84,109,115],"verification":[85,116],"Additionally,":[89],"present":[91],"a":[92],"new":[93,113],"algorithm":[94],"transforms":[96],"DTA":[97],"into":[98],"semantic-equivalent":[99],"while":[101],"preserving":[102],"behavior.":[104],"We":[105],"demonstrate":[106],"usefulness":[108],"applicability":[110],"technique":[117],"using":[118],"illustrative":[120],"example.":[121]},"counts_by_year":[{"year":2025,"cited_by_count":6},{"year":2023,"cited_by_count":9}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}