{"id":"https://openalex.org/W3044492345","doi":"https://doi.org/10.1007/978-3-030-52991-8_6","title":"Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and\u00a0Faulty Components: A Case Study on\u00a0SGrids","display_name":"Efficient Diagnosis of Reconfigurable Systems with Incorrect Behavior and\u00a0Faulty Components: A Case Study on\u00a0SGrids","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3044492345","doi":"https://doi.org/10.1007/978-3-030-52991-8_6","mag":"3044492345"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-52991-8_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-52991-8_6","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"book-chapter","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/A5081266998","display_name":"Yousra Hafidi","orcid":"https://orcid.org/0000-0002-3543-6731"},"institutions":[{"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"]},{"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/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"education","lineage":["https://openalex.org/I63596082"]}],"countries":["CN","DZ","TN"],"is_corresponding":true,"raw_author_name":"Yousra Hafidi","raw_affiliation_strings":["LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Guangzhou, China","University of Tunis El Manar, Tunis, Tunisia","LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia"],"raw_orcid":"https://orcid.org/0000-0002-3543-6731","affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]},{"raw_affiliation_string":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]},{"raw_affiliation_string":"University of Tunis El Manar, Tunis, Tunisia","institution_ids":["https://openalex.org/I63596082"]},{"raw_affiliation_string":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]},{"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, Biskra University, Biskra, Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LINFI Laboratory, Computer Science Department, Biskra University, Biskra, Algeria","institution_ids":["https://openalex.org/I206961696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102803559","display_name":"Mohamed Khalgui","orcid":"https://orcid.org/0000-0001-6311-3588"},"institutions":[{"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"]},{"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":["CN","TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","School of Electrical and Information Engineering, Jinan University, Guangzhou, China","LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia"],"raw_orcid":"https://orcid.org/0000-0001-6311-3588","affiliations":[{"raw_affiliation_string":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, 1080, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]},{"raw_affiliation_string":"School of Electrical and Information Engineering, Jinan University, Guangzhou, China","institution_ids":["https://openalex.org/I159948400"]},{"raw_affiliation_string":"LISI Laboratory, National Institute of Applied Sciences and Technology, University of Carthage, Tunis, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5081266998"],"corresponding_institution_ids":["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.603,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.68015298,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"108","last_page":"129"},"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.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/T11125","display_name":"Petri Nets in System Modeling","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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.8338208198547363},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.806963324546814},{"id":"https://openalex.org/keywords/reachability","display_name":"Reachability","score":0.7801066040992737},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.7259587049484253},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.5964955687522888},{"id":"https://openalex.org/keywords/computation","display_name":"Computation","score":0.4699293076992035},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.43868374824523926},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4307391047477722},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4218844175338745},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3940012454986572},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3251059055328369},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.21624326705932617},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.18744215369224548}],"concepts":[{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.8338208198547363},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.806963324546814},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7801066040992737},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.7259587049484253},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.5964955687522888},{"id":"https://openalex.org/C45374587","wikidata":"https://www.wikidata.org/wiki/Q12525525","display_name":"Computation","level":2,"score":0.4699293076992035},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.43868374824523926},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4307391047477722},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4218844175338745},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3940012454986572},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3251059055328369},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.21624326705932617},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.18744215369224548},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-52991-8_6","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-52991-8_6","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.5699999928474426,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W98416746","https://openalex.org/W1498432697","https://openalex.org/W1570454523","https://openalex.org/W1599827238","https://openalex.org/W1857095680","https://openalex.org/W1996109622","https://openalex.org/W2046631415","https://openalex.org/W2098222787","https://openalex.org/W2100054110","https://openalex.org/W2121929026","https://openalex.org/W2184144178","https://openalex.org/W2274141587","https://openalex.org/W2306294703","https://openalex.org/W2396169442","https://openalex.org/W2478141419","https://openalex.org/W2618563266","https://openalex.org/W2735669400","https://openalex.org/W2741060909","https://openalex.org/W2762665826","https://openalex.org/W2782662800","https://openalex.org/W2793518741","https://openalex.org/W2885442501","https://openalex.org/W2885885924","https://openalex.org/W2889090079","https://openalex.org/W2891536193","https://openalex.org/W2902990912","https://openalex.org/W2921041718","https://openalex.org/W2947334970","https://openalex.org/W2947381293","https://openalex.org/W2966937342","https://openalex.org/W2969233521","https://openalex.org/W2990982287","https://openalex.org/W4249959811","https://openalex.org/W4285719527","https://openalex.org/W6630950907"],"related_works":["https://openalex.org/W2154794415","https://openalex.org/W2107824370","https://openalex.org/W1500907979","https://openalex.org/W1551903405","https://openalex.org/W2039577724","https://openalex.org/W2380814829","https://openalex.org/W2499946963","https://openalex.org/W2387511021","https://openalex.org/W1776999661","https://openalex.org/W1531156418"],"abstract_inverted_index":null,"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}