{"id":"https://openalex.org/W2026353501","doi":"https://doi.org/10.5220/0005091207490757","title":"New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems","display_name":"New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems","publication_year":2014,"publication_date":"2014-01-01","ids":{"openalex":"https://openalex.org/W2026353501","doi":"https://doi.org/10.5220/0005091207490757","mag":"2026353501"},"language":"en","primary_location":{"id":"doi:10.5220/0005091207490757","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005091207490757","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.5220/0005091207490757","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5110371909","display_name":"Raja Oueslati","orcid":null},"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/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]}],"countries":["TN"],"is_corresponding":true,"raw_author_name":"Raja Oueslati","raw_affiliation_strings":["University of Tunis El Manar, Tunisia","Faculty of Sciences of Tunis University of Tunis El Manar Tunisia"],"affiliations":[{"raw_affiliation_string":"University of Tunis El Manar, Tunisia","institution_ids":["https://openalex.org/I63596082"]},{"raw_affiliation_string":"Faculty of Sciences of Tunis University of Tunis El Manar Tunisia","institution_ids":["https://openalex.org/I63596082","https://openalex.org/I108714496"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049696138","display_name":"Olfa Mosbahi","orcid":"https://orcid.org/0000-0002-0971-2368"},"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":"Olfa Mosbahi","raw_affiliation_strings":["University of Carthage, Tunisia","National Institute of Applied Sciences and Technology, University of Carthage, Tunisia"],"affiliations":[{"raw_affiliation_string":"University of Carthage, Tunisia","institution_ids":["https://openalex.org/I179097149"]},{"raw_affiliation_string":"National Institute of Applied Sciences and Technology, University of Carthage, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]},{"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":["University of Carthage, Tunisia","National Institute of Applied Sciences and Technology, University of Carthage, Tunisia"],"affiliations":[{"raw_affiliation_string":"University of Carthage, Tunisia","institution_ids":["https://openalex.org/I179097149"]},{"raw_affiliation_string":"National Institute of Applied Sciences and Technology, University of Carthage, Tunisia","institution_ids":["https://openalex.org/I42731748","https://openalex.org/I179097149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000771912","display_name":"Samir Ben Ahmed","orcid":"https://orcid.org/0000-0002-4642-2108"},"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/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"education","lineage":["https://openalex.org/I108714496"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Samir Ben Ahmed","raw_affiliation_strings":["University of Tunis El Manar, Tunisia","Faculty of Sciences of Tunis University of Tunis El Manar Tunisia"],"affiliations":[{"raw_affiliation_string":"University of Tunis El Manar, Tunisia","institution_ids":["https://openalex.org/I63596082"]},{"raw_affiliation_string":"Faculty of Sciences of Tunis University of Tunis El Manar Tunisia","institution_ids":["https://openalex.org/I63596082","https://openalex.org/I108714496"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5110371909"],"corresponding_institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082"],"apc_list":null,"apc_paid":null,"fwci":0.6158,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74796168,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"749","last_page":"757"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9986000061035156,"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"}},"topics":[{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9986000061035156,"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"}},{"id":"https://openalex.org/T11125","display_name":"Petri Nets in System Modeling","score":0.9932000041007996,"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.9848999977111816,"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/control-reconfiguration","display_name":"Control reconfiguration","score":0.898617684841156},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7907158136367798},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7390469908714294},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6250814199447632},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5793402194976807},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4374021887779236},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.42778724431991577},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.41213569045066833},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3791269361972809},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37083911895751953},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.12995031476020813},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10349082946777344}],"concepts":[{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.898617684841156},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7907158136367798},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7390469908714294},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6250814199447632},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5793402194976807},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4374021887779236},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42778724431991577},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.41213569045066833},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3791269361972809},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37083911895751953},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12995031476020813},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10349082946777344},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.5220/0005091207490757","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005091207490757","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.5220/0005091207490757","is_oa":true,"landing_page_url":"https://doi.org/10.5220/0005091207490757","pdf_url":null,"source":null,"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1501674746","https://openalex.org/W1541217225","https://openalex.org/W1582439588","https://openalex.org/W2014559209","https://openalex.org/W2098222787","https://openalex.org/W2100054110","https://openalex.org/W2107462875","https://openalex.org/W2152446226","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1981002473","https://openalex.org/W2357657342","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2153432761","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3087250444","https://openalex.org/W2111870610"],"abstract_inverted_index":{"The":[0,92,136,151,197],"paper":[1,156],"deals":[2,157],"with":[3,158],"the":[4,16,20,45,67,99,103,114,133,141,144,147,159,162,179],"modeling":[5],"and":[6,52,90,101,143,188],"verification":[7,160],"of":[8,19,86,98,108,146,154,161,169,181],"B":[9,75,134],"method-based":[10],"reconfigurable":[11,81,128,163],"control":[12,82,129,178],"systems.":[13,83],"Reconfiguration":[14],"means":[15],"dynamic":[17],"changes":[18],"system":[21,115,130,164,206],"behavior":[22,61],"at":[23,123],"run-time":[24],"according":[25,65],"to":[26,29,32,43,50,58,62,66,79,112,120,139,177,202],"well-defined":[27],"conditions":[28],"adapt":[30,59],"it":[31],"its":[33,60],"environment.":[34],"A":[35,70],"reconfiguration":[36,109],"scenario":[37],"is":[38,77,105,138,186,195,200],"applied":[39,111,201],"as":[40],"a":[41,106,117,127,189,203],"response":[42],"improve":[44],"system's":[46],"performance,":[47],"or":[48,56],"also":[49,57],"recover":[51],"prevent":[53],"hardware/software":[54],"errors,":[55],"new":[63,71],"requirements":[64],"environment":[68],"evolution.":[69],"extension":[72],"called":[73,192],"Reconfigurable":[74],"\u201cR-B\u201d":[76],"proposed":[78],"specify":[80],"It":[84],"consists":[85],"two":[87],"modules:":[88],"Behavior":[89],"Control.":[91],"first":[93],"defines":[94],"all":[95],"possible":[96],"behaviors":[97,171],"system,":[100],"whereas":[102],"second":[104,152],"set":[107],"functions":[110],"change":[113],"from":[116],"behavioral":[118],"configuration":[119],"another":[121],"one":[122],"run-time.":[124],"We":[125],"verify":[126],"by":[131,165],"using":[132],"method.":[135],"goal":[137],"guarantee":[140],"consistency":[142],"correctness":[145],"abstract":[148],"specification":[149],"level.":[150],"contribution":[153,199],"this":[155],"avoiding":[166],"redundant":[167],"checking":[168],"different":[170],"sharing":[172],"similar":[173],"operations.":[174],"In":[175],"order":[176],"complexity":[180],"verification,":[182],"an":[183],"optimal":[184],"algorithm":[185],"developed":[187],"prototyped":[190],"tool":[191],"\u201cCheck":[193],"R-B\u201d":[194],"implemented.":[196],"paper's":[198],"benchmark":[204],"production":[205],"FESTO.":[207]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}