{"id":"https://openalex.org/W1967184268","doi":"https://doi.org/10.1109/tsmca.2012.2183350","title":"Hypergraph Models for System of Systems Supervision Design","display_name":"Hypergraph Models for System of Systems Supervision Design","publication_year":2012,"publication_date":"2012-02-14","ids":{"openalex":"https://openalex.org/W1967184268","doi":"https://doi.org/10.1109/tsmca.2012.2183350","mag":"1967184268"},"language":"en","primary_location":{"id":"doi:10.1109/tsmca.2012.2183350","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmca.2012.2183350","pdf_url":null,"source":{"id":"https://openalex.org/S4210201610","display_name":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","issn_l":"1083-4427","issn":["1083-4427","1558-2426"],"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 Systems, Man, and Cybernetics - Part A: Systems and Humans","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/A5042012695","display_name":"Wissam H. Khalil","orcid":"https://orcid.org/0000-0001-9827-9078"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210143894","display_name":"Laboratoire d'Automatique, G\u00e9nie Informatique et Signal","ror":"https://ror.org/04wez4p43","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2279609970","https://openalex.org/I4210131494","https://openalex.org/I4210137101","https://openalex.org/I4210139971","https://openalex.org/I4210143894","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4210154774","display_name":"Polytech Lille","ror":"https://ror.org/05339ng12","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210154774"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"W. Khalil","raw_affiliation_strings":["LAGIS CNRS-FRE 3303, Polytech Lille, Villeneuve d'Ascq, France","LAGIS, Polytech'Lille, Villeneuve-d'Ascq, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAGIS CNRS-FRE 3303, Polytech Lille, Villeneuve d'Ascq, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210143894","https://openalex.org/I4210154774"]},{"raw_affiliation_string":"LAGIS, Polytech'Lille, Villeneuve-d'Ascq, France","institution_ids":["https://openalex.org/I4210143894","https://openalex.org/I4210154774"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111701495","display_name":"R. Merzouki","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210143894","display_name":"Laboratoire d'Automatique, G\u00e9nie Informatique et Signal","ror":"https://ror.org/04wez4p43","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2279609970","https://openalex.org/I4210131494","https://openalex.org/I4210137101","https://openalex.org/I4210139971","https://openalex.org/I4210143894","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4210154774","display_name":"Polytech Lille","ror":"https://ror.org/05339ng12","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210154774"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"R. Merzouki","raw_affiliation_strings":["LAGIS CNRS-FRE 3303, Polytech Lille, Villeneuve d'Ascq, France","LAGIS, Polytech'Lille, Villeneuve-d'Ascq, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAGIS CNRS-FRE 3303, Polytech Lille, Villeneuve d'Ascq, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210143894","https://openalex.org/I4210154774"]},{"raw_affiliation_string":"LAGIS, Polytech'Lille, Villeneuve-d'Ascq, France","institution_ids":["https://openalex.org/I4210143894","https://openalex.org/I4210154774"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111524855","display_name":"Belkacem Ould-Bouamama","orcid":null},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210143894","display_name":"Laboratoire d'Automatique, G\u00e9nie Informatique et Signal","ror":"https://ror.org/04wez4p43","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2279609970","https://openalex.org/I4210131494","https://openalex.org/I4210137101","https://openalex.org/I4210139971","https://openalex.org/I4210143894","https://openalex.org/I7454413"]},{"id":"https://openalex.org/I4210154774","display_name":"Polytech Lille","ror":"https://ror.org/05339ng12","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210154774"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"B. Ould-Bouamama","raw_affiliation_strings":["LAGIS CNRS-FRE 3303, Polytech Lille, Villeneuve d'Ascq, France","LAGIS, Polytech'Lille, Villeneuve-d'Ascq, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"LAGIS CNRS-FRE 3303, Polytech Lille, Villeneuve d'Ascq, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210143894","https://openalex.org/I4210154774"]},{"raw_affiliation_string":"LAGIS, Polytech'Lille, Villeneuve-d'Ascq, France","institution_ids":["https://openalex.org/I4210143894","https://openalex.org/I4210154774"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102971535","display_name":"Hafid Haffaf","orcid":"https://orcid.org/0000-0002-8249-4598"},"institutions":[{"id":"https://openalex.org/I137407579","display_name":"Universit\u00e9 Oran 1 Ahmed Ben Bella","ror":"https://ror.org/059et2b68","country_code":"DZ","type":"education","lineage":["https://openalex.org/I137407579"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"H. Haffaf","raw_affiliation_strings":["University of Oran, Oran, Algeria","University of Oran Oran Algeria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oran, Oran, Algeria","institution_ids":["https://openalex.org/I137407579"]},{"raw_affiliation_string":"University of Oran Oran Algeria","institution_ids":["https://openalex.org/I137407579"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.0012,"has_fulltext":false,"cited_by_count":38,"citation_normalized_percentile":{"value":0.9614173,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"42","issue":"4","first_page":"1005","last_page":"1012"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T12000","display_name":"Systems Engineering Methodologies and Applications","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9922000169754028,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9908000230789185,"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/control-reconfiguration","display_name":"Control reconfiguration","score":0.8236798048019409},{"id":"https://openalex.org/keywords/hypergraph","display_name":"Hypergraph","score":0.7617559432983398},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5999324917793274},{"id":"https://openalex.org/keywords/constraint-satisfaction-problem","display_name":"Constraint satisfaction problem","score":0.5594580769538879},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5560179948806763},{"id":"https://openalex.org/keywords/platoon","display_name":"Platoon","score":0.5455179214477539},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5390012264251709},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4980437755584717},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.486098051071167},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4265096187591553},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3749891519546509},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3205082416534424},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2220991551876068},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.1395471692085266},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.1065252423286438},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.0924643874168396},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.0901978611946106}],"concepts":[{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.8236798048019409},{"id":"https://openalex.org/C2781221856","wikidata":"https://www.wikidata.org/wiki/Q840247","display_name":"Hypergraph","level":2,"score":0.7617559432983398},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5999324917793274},{"id":"https://openalex.org/C199622910","wikidata":"https://www.wikidata.org/wiki/Q1128326","display_name":"Constraint satisfaction problem","level":3,"score":0.5594580769538879},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5560179948806763},{"id":"https://openalex.org/C2777735972","wikidata":"https://www.wikidata.org/wiki/Q1061967","display_name":"Platoon","level":3,"score":0.5455179214477539},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5390012264251709},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4980437755584717},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.486098051071167},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4265096187591553},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3749891519546509},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3205082416534424},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2220991551876068},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1395471692085266},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.1065252423286438},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.0924643874168396},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.0901978611946106},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tsmca.2012.2183350","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tsmca.2012.2183350","pdf_url":null,"source":{"id":"https://openalex.org/S4210201610","display_name":"IEEE Transactions on Systems Man and Cybernetics - Part A Systems and Humans","issn_l":"1083-4427","issn":["1083-4427","1558-2426"],"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 Systems, Man, and Cybernetics - Part A: Systems and Humans","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Life below water","score":0.8500000238418579,"id":"https://metadata.un.org/sdg/14"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W91487960","https://openalex.org/W1530753374","https://openalex.org/W1561634576","https://openalex.org/W1571197496","https://openalex.org/W1579424694","https://openalex.org/W1600764113","https://openalex.org/W1662351102","https://openalex.org/W1942309138","https://openalex.org/W1981780321","https://openalex.org/W2018493433","https://openalex.org/W2019637831","https://openalex.org/W2031615853","https://openalex.org/W2032987985","https://openalex.org/W2052398840","https://openalex.org/W2054642022","https://openalex.org/W2058107586","https://openalex.org/W2074657688","https://openalex.org/W2082622657","https://openalex.org/W2119456262","https://openalex.org/W2123288296","https://openalex.org/W2129865277","https://openalex.org/W2148782969","https://openalex.org/W2159875200","https://openalex.org/W2161644760","https://openalex.org/W2164698029","https://openalex.org/W2165678605","https://openalex.org/W2171355714","https://openalex.org/W2309036737","https://openalex.org/W2311210277","https://openalex.org/W2335008810","https://openalex.org/W4231980343","https://openalex.org/W6634128448","https://openalex.org/W6636064945","https://openalex.org/W6669131456","https://openalex.org/W6684064157"],"related_works":["https://openalex.org/W4286572054","https://openalex.org/W2555207388","https://openalex.org/W3171462553","https://openalex.org/W3168594544","https://openalex.org/W2983996496","https://openalex.org/W3189590538","https://openalex.org/W4389240635","https://openalex.org/W2461853023","https://openalex.org/W2136133395","https://openalex.org/W2935722734"],"abstract_inverted_index":{"This":[0,62,114,136],"paper":[1],"deals":[2],"with":[3],"model-based":[4],"supervision":[5,29],"of":[6,9,11,27,68,70,77,84,107,112,126,131],"a":[7,28,53,103,123,132,144,148],"class":[8],"system":[10],"systems":[12,121],"(SoS).":[13],"The":[14],"SoS":[15,78,108,133],"is":[16,44,63,79,116,134,137],"modeled":[17],"using":[18,65,81,139],"hypergraphs,":[19],"where":[20,72],"their":[21],"architectural":[22],"representation":[23],"allows":[24],"the":[25,38,66,73,82,87,93,101,110,119],"application":[26,130],"strategy,":[30],"from":[31,100],"ascending":[32,41],"or":[33,49],"descending":[34,88],"directions":[35],"directly":[36],"on":[37,52,92],"graph.":[39],"From":[40],"direction,":[42],"it":[43],"possible":[45,104,117],"to":[46],"detect":[47],"local":[48],"global":[50],"faults":[51],"system,":[54],"when":[55,118],"some":[56],"constraints":[57],"are":[58],"no":[59],"longer":[60],"satisfied.":[61],"done":[64,138],"concept":[67],"\u201cdegree":[69],"satisfaction,\u201d":[71],"new":[74],"operating":[75],"mode":[76],"deduced":[80],"principle":[83],"automata.":[85],"In":[86],"direction":[89],"and":[90],"based":[91],"constraint":[94],"satisfaction":[95],"problem,":[96],"we":[97],"can":[98],"check":[99],"hypergraphs":[102],"structural":[105],"reconfiguration":[106,115],"in":[109,143],"presence":[111],"faults.":[113],"available":[120],"satisfy":[122],"maximum":[124],"number":[125],"constraints.":[127],"Finally,":[128],"an":[129],"presented.":[135],"intelligent":[140],"autonomous":[141],"vehicles":[142],"platoon":[145],"configuration":[146],"within":[147],"seaport":[149],"terminal.":[150]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":5},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}