乐胖代购免代理版

{"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":{"is_oa":false,"landing_page_url":"https://doi.org/10.5220/0005091207490757","pdf_url":null,"source":{"id":"https://openalex.org/S4363608918","display_name":"Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5110371909","display_name":"Raja Oueslati","orcid":null},"institutions":[{"id":"https://openalex.org/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"funder","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"funder","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Raja Oueslati","raw_affiliation_strings":["Faculty of Sciences of Tunis University of Tunis El Manar Tunisia"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences of Tunis University of Tunis El Manar Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082"]}]},{"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/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/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"funder","lineage":["https://openalex.org/I179097149"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Olfa Mosbahi","raw_affiliation_strings":["National Institute of Applied Sciences and Technology, University of Carthage, Tunisia"],"affiliations":[{"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/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/I179097149","display_name":"University of Carthage","ror":"https://ror.org/057x6za15","country_code":"TN","type":"funder","lineage":["https://openalex.org/I179097149"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Mohamed Khalgui","raw_affiliation_strings":["National Institute of Applied Sciences and Technology, University of Carthage, Tunisia"],"affiliations":[{"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/I108714496","display_name":"Tunis University","ror":"https://ror.org/02q1spa57","country_code":"TN","type":"funder","lineage":["https://openalex.org/I108714496"]},{"id":"https://openalex.org/I63596082","display_name":"Tunis El Manar University","ror":"https://ror.org/029cgt552","country_code":"TN","type":"funder","lineage":["https://openalex.org/I63596082"]}],"countries":["TN"],"is_corresponding":false,"raw_author_name":"Samir Ben Ahmed","raw_affiliation_strings":["Faculty of Sciences of Tunis University of Tunis El Manar Tunisia"],"affiliations":[{"raw_affiliation_string":"Faculty of Sciences of Tunis University of Tunis El Manar Tunisia","institution_ids":["https://openalex.org/I108714496","https://openalex.org/I63596082"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.519,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":3,"citation_normalized_percentile":{"value":0.615047,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":76,"max":79},"biblio":{"volume":null,"issue":null,"first_page":"749","last_page":"757"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9986,"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.9986,"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.9932,"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.9849,"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.8986177},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.5793402}],"concepts":[{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.8986177},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7907158},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.739047},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6250814},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.5793402},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4374022},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.42778724},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4121357},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37912694},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37083912},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.12995031},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10349083},{"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/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","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}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.5220/0005091207490757","pdf_url":null,"source":{"id":"https://openalex.org/S4363608918","display_name":"Proceedings of the 15th International Conference on Informatics in Control, Automation and Robotics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_indexed_in_scopus":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"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/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W3087250444","https://openalex.org/W2404647514","https://openalex.org/W2357657342","https://openalex.org/W2153432761","https://openalex.org/W2111870610","https://openalex.org/W2018477250","https://openalex.org/W1981002473","https://openalex.org/W1667647204"],"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]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2026353501","counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2025-01-24T09:09:21.321255","created_date":"2016-06-24"}