{"id":"https://openalex.org/W3046054412","doi":"https://doi.org/10.1109/tase.2020.3006435","title":"RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems","display_name":"RCTL: New Temporal Logic for Improved Formal Verification of Reconfigurable Discrete-Event Systems","publication_year":2020,"publication_date":"2020-07-27","ids":{"openalex":"https://openalex.org/W3046054412","doi":"https://doi.org/10.1109/tase.2020.3006435","mag":"3046054412"},"language":"en","primary_location":{"id":"doi:10.1109/tase.2020.3006435","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.3006435","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","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/A5070882915","display_name":"Mohamed Ramdani","orcid":"https://orcid.org/0000-0002-8723-5827"},"institutions":[{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]},{"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/I206961696","display_name":"University of Biskra","ror":"https://ror.org/05fr5y859","country_code":"DZ","type":"education","lineage":["https://openalex.org/I206961696"]},{"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"]},{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]}],"countries":["CN","DZ","TN"],"is_corresponding":true,"raw_author_name":"Mohamed Ramdani","raw_affiliation_strings":["Faculty of Sciences of Tunis, University of Tunis El Manar, Tunis, Tunisia","Laboratoire d\u2019INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, Algeria","National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China","Laboratoire d'INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, Algeria"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences of Tunis, University of Tunis El Manar, Tunis, Tunisia","institution_ids":["https://openalex.org/I63596082","https://openalex.org/I108714496"]},{"raw_affiliation_string":"Laboratoire d\u2019INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]},{"raw_affiliation_string":"National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]},{"raw_affiliation_string":"Laboratoire d'INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"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":["Laboratoire d\u2019INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, Algeria","Laboratoire d'INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, Algeria"],"affiliations":[{"raw_affiliation_string":"Laboratoire d\u2019INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]},{"raw_affiliation_string":"Laboratoire d'INFormatique Intelligente (LINFI) Laboratory, Biskra University, Biskra, 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/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"]},{"id":"https://openalex.org/I159948400","display_name":"Jinan University","ror":"https://ror.org/02xe5ns62","country_code":"CN","type":"education","lineage":["https://openalex.org/I159948400"]},{"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"]}],"countries":["CN","TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China"],"affiliations":[{"raw_affiliation_string":"National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University (Zhuhai Campus), Zhuhai, China","institution_ids":["https://openalex.org/I159948400"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045305170","display_name":"Zhiwu Li","orcid":"https://orcid.org/0000-0003-1547-5503"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]},{"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":["CN","MO"],"is_corresponding":false,"raw_author_name":"Zhiwu Li","raw_affiliation_strings":["Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau","School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","School of Electro-Mechanical Engineering, Xidian University, Xi'an, China"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi\u2019an, China","institution_ids":["https://openalex.org/I149594827"]},{"raw_affiliation_string":"School of Electro-Mechanical Engineering, Xidian University, Xi'an, China","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081318069","display_name":"MengChu Zhou","orcid":"https://orcid.org/0000-0002-5408-8752"},"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"]},{"id":"https://openalex.org/I118118575","display_name":"New Jersey Institute of Technology","ror":"https://ror.org/05e74xb87","country_code":"US","type":"education","lineage":["https://openalex.org/I118118575"]}],"countries":["MO","US"],"is_corresponding":false,"raw_author_name":"MengChu Zhou","raw_affiliation_strings":["Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macau, China","New Jersey Institute of Technology, Newark, NJ, USA"],"affiliations":[{"raw_affiliation_string":"Institute of Systems Engineering and Collaborative Laboratory for Intelligent Science and Systems, Macau University of Science and Technology, Macau, China","institution_ids":["https://openalex.org/I111950717"]},{"raw_affiliation_string":"New Jersey Institute of Technology, Newark, NJ, USA","institution_ids":["https://openalex.org/I118118575"]}]}],"institutions":[],"countries_distinct_count":5,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5070882915"],"corresponding_institution_ids":["https://openalex.org/I108714496","https://openalex.org/I159948400","https://openalex.org/I179097149","https://openalex.org/I206961696","https://openalex.org/I42731748","https://openalex.org/I63596082"],"apc_list":null,"apc_paid":null,"fwci":0.8663,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.79650095,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"18","issue":"3","first_page":"1392","last_page":"1405"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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/T10142","display_name":"Formal Methods in Verification","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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9983999729156494,"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/computation-tree-logic","display_name":"Computation tree logic","score":0.8455492854118347},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6877880692481995},{"id":"https://openalex.org/keywords/temporal-logic","display_name":"Temporal logic","score":0.643317699432373},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.6432708501815796},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5875768661499023},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.5796434879302979},{"id":"https://openalex.org/keywords/ctl*","display_name":"CTL*","score":0.5629021525382996},{"id":"https://openalex.org/keywords/formal-equivalence-checking","display_name":"Formal equivalence checking","score":0.4727918803691864},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.4676347076892853},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.46687051653862},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.44685205817222595},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4463481307029724},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4143257737159729},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1830536425113678}],"concepts":[{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.8455492854118347},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6877880692481995},{"id":"https://openalex.org/C25016198","wikidata":"https://www.wikidata.org/wiki/Q781833","display_name":"Temporal logic","level":2,"score":0.643317699432373},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.6432708501815796},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5875768661499023},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.5796434879302979},{"id":"https://openalex.org/C147969180","wikidata":"https://www.wikidata.org/wiki/Q5014579","display_name":"CTL*","level":4,"score":0.5629021525382996},{"id":"https://openalex.org/C96654402","wikidata":"https://www.wikidata.org/wiki/Q5469962","display_name":"Formal equivalence checking","level":3,"score":0.4727918803691864},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.4676347076892853},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.46687051653862},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.44685205817222595},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4463481307029724},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4143257737159729},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1830536425113678},{"id":"https://openalex.org/C154317977","wikidata":"https://www.wikidata.org/wiki/Q376266","display_name":"Cytotoxic T cell","level":3,"score":0.0},{"id":"https://openalex.org/C202751555","wikidata":"https://www.wikidata.org/wiki/Q221681","display_name":"In vitro","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tase.2020.3006435","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tase.2020.3006435","pdf_url":null,"source":{"id":"https://openalex.org/S34881539","display_name":"IEEE Transactions on Automation Science and Engineering","issn_l":"1545-5955","issn":["1545-5955","1558-3783"],"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 Automation Science and Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5099999904632568,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":72,"referenced_works":["https://openalex.org/W90472383","https://openalex.org/W1498432697","https://openalex.org/W1894254590","https://openalex.org/W1966974834","https://openalex.org/W1977971680","https://openalex.org/W1999478142","https://openalex.org/W2022250047","https://openalex.org/W2027696333","https://openalex.org/W2048456685","https://openalex.org/W2076665553","https://openalex.org/W2086196340","https://openalex.org/W2092893907","https://openalex.org/W2098597080","https://openalex.org/W2100054110","https://openalex.org/W2105389929","https://openalex.org/W2109476103","https://openalex.org/W2117189826","https://openalex.org/W2135886503","https://openalex.org/W2139596769","https://openalex.org/W2140640958","https://openalex.org/W2147740041","https://openalex.org/W2153280083","https://openalex.org/W2164067033","https://openalex.org/W2273989711","https://openalex.org/W2275235874","https://openalex.org/W2283017629","https://openalex.org/W2316519055","https://openalex.org/W2331810168","https://openalex.org/W2341675553","https://openalex.org/W2344326925","https://openalex.org/W2344852273","https://openalex.org/W2345051373","https://openalex.org/W2403044140","https://openalex.org/W2461900131","https://openalex.org/W2498717329","https://openalex.org/W2508545064","https://openalex.org/W2524988069","https://openalex.org/W2536985169","https://openalex.org/W2538443008","https://openalex.org/W2551134403","https://openalex.org/W2553653057","https://openalex.org/W2558815275","https://openalex.org/W2574167712","https://openalex.org/W2580382314","https://openalex.org/W2597066076","https://openalex.org/W2604111823","https://openalex.org/W2741616365","https://openalex.org/W2776443426","https://openalex.org/W2777104519","https://openalex.org/W2777658276","https://openalex.org/W2782662800","https://openalex.org/W2785340533","https://openalex.org/W2793518741","https://openalex.org/W2886045927","https://openalex.org/W2888472719","https://openalex.org/W2889090079","https://openalex.org/W2891094778","https://openalex.org/W2900552106","https://openalex.org/W2919115771","https://openalex.org/W2950061798","https://openalex.org/W3013163434","https://openalex.org/W3103182103","https://openalex.org/W3123850752","https://openalex.org/W3125009696","https://openalex.org/W4229907990","https://openalex.org/W6603699292","https://openalex.org/W6671726798","https://openalex.org/W6695693922","https://openalex.org/W6753163008","https://openalex.org/W6763614900","https://openalex.org/W6785865293","https://openalex.org/W6789424769"],"related_works":["https://openalex.org/W2152752131","https://openalex.org/W2391979747","https://openalex.org/W2534958226","https://openalex.org/W2088632015","https://openalex.org/W2981877881","https://openalex.org/W1595003990","https://openalex.org/W76179479","https://openalex.org/W2542835618","https://openalex.org/W1503969427","https://openalex.org/W2159970028"],"abstract_inverted_index":{"This":[0,247],"article":[1],"deals":[2],"with":[3,63,110],"improved":[4],"formal":[5,112],"verification":[6,62,83,208,222,232,255],"of":[7,24,27,34,40,79,84,96,105,119,128,141,149,181,187,243,256],"reconfigurable":[8,14,90,106,182,237,258,269],"discrete-event":[9,183],"systems":[10,19,259],"(DESs)":[11],"modeled":[12],"by":[13,209],"timed":[15,28,53],"net":[16,29,54],"condition":[17,30,55],"event":[18,31,56],"(R-TNCESs).":[20],"An":[21,234],"R-TNCES":[22],"consists":[23],"a":[25,37,41,44,48,52,85,93,101,117,133,172,221],"set":[26,118],"systems,":[32],"each":[33],"which":[35],"represents":[36,171],"particular":[38],"behavior":[39],"DES,":[42],"and":[43,114,116,156,199,254,271],"reconfiguration":[45],"scenario":[46],"is":[47,122,154,162],"switching":[49],"mode":[50],"from":[51,261],"system":[57,136],"to":[58,98,124,151,167,196,204,214,229],"another.":[59],"However,":[60],"the":[61,64,73,77,126,138,142,147,158,178,240,244],"classical":[65],"computation":[66,191],"tree":[67,192],"logic":[68,193],"(CTL)":[69],"as":[70,72,92],"well":[71],"related":[74,159],"extensions":[75],"increases":[76],"number":[78,148],"properties":[80,150,188,226],"for":[81,137,175,224],"complete":[82],"complex":[86],"R-TNCES.":[87],"We":[88,131],"propose":[89],"CTL":[91,97,107,238],"new":[94,120,173,241],"extension":[95,235],"reduce":[99],"such":[100],"number.":[102],"New":[103],"connectors":[104],"are":[108],"proposed,":[109],"their":[111,197,231],"syntax":[113,242],"semantics,":[115],"algorithms":[121],"proposed":[123,143,245],"control":[125],"complexity":[127],"model":[129,179],"checking.":[130],"use":[132],"benchmark":[134],"production":[135],"performance":[139],"evaluation":[140],"approach.":[144],"Reduction":[145],"in":[146,190,252],"be":[152,250],"checked":[153],"shown,":[155],"consequently,":[157],"validation":[160],"time":[161],"reduced.":[163],"<italic":[164],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[165],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">Note":[166],"Practitioners</i>":[168],"\u2014This":[169],"research":[170],"orientation":[174],"guiding":[176],"efficiently":[177],"checking":[180],"systems.":[184,273],"A":[185],"classification":[186],"described":[189],"(CTL),":[194],"according":[195],"dominance":[198],"equivalence":[200],"relations,":[201],"allows":[202,227],"one":[203,228],"conduct":[205],"an":[206],"efficient":[207],"avoiding":[210],"inefficient":[211],"calculation":[212],"due":[213],"redundant":[215],"properties.":[216],"In":[217],"this":[218],"case,":[219],"giving":[220],"order":[223],"these":[225],"shorten":[230],"time.":[233],"named":[236],"describes":[239],"classification.":[246],"approach":[248],"can":[249],"applied":[251],"modeling":[253],"advanced":[257],"arising":[260],"smart":[262],"grids,":[263],"adaptive":[264],"sensor":[265],"networks,":[266],"intelligent":[267],"transportation,":[268],"manufacturing,":[270],"embedded":[272]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":3}],"updated_date":"2026-03-25T14:56:36.534964","created_date":"2025-10-10T00:00:00"}