Hypergraph Models for System of Systems Supervision Design
This paper deals with model-based supervision of a class of system of systems (SoS). The SoS is modeled using hypergraphs, where their architectural representation allows the application of a supervision strategy, from ascending or descending directions directly on the graph. From ascending directio...
Gespeichert in:
| Veröffentlicht in: | IEEE transactions on systems, man and cybernetics. Part A, Systems and humans man and cybernetics. Part A, Systems and humans, 2012-07, Vol.42 (4), p.1005-1012 |
|---|---|
| Hauptverfasser: | , , , |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1012 |
|---|---|
| container_issue | 4 |
| container_start_page | 1005 |
| container_title | IEEE transactions on systems, man and cybernetics. Part A, Systems and humans |
| container_volume | 42 |
| creator | Khalil, W. Merzouki, R. Ould-Bouamama, B. Haffaf, H. |
| description | This paper deals with model-based supervision of a class of system of systems (SoS). The SoS is modeled using hypergraphs, where their architectural representation allows the application of a supervision strategy, from ascending or descending directions directly on the graph. From ascending direction, it is possible to detect local or global faults on a system, when some constraints are no longer satisfied. This is done using the concept of "degree of satisfaction," where the new operating mode of SoS is deduced using the principle of automata. In the descending direction and based on the constraint satisfaction problem, we can check from the hypergraphs a possible structural reconfiguration of SoS in the presence of faults. This reconfiguration is possible when the available systems satisfy a maximum number of constraints. Finally, an application of a SoS is presented. This is done using intelligent autonomous vehicles in a platoon configuration within a seaport terminal. |
| doi_str_mv | 10.1109/TSMCA.2012.2183350 |
| format | Article |
| fullrecord | <record><control><sourceid>hal_RIE</sourceid><recordid>TN_cdi_ieee_primary_6152162</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><ieee_id>6152162</ieee_id><sourcerecordid>oai_HAL_hal_00758010v1</sourcerecordid><originalsourceid>FETCH-LOGICAL-c301t-99431d0101120907d2ab63c87eb00817bd9e2569bba8733c295abc48536f21fe3</originalsourceid><addsrcrecordid>eNo9kMFOwkAQhjdGExF9Ab306qF1Zna33fVGKooJxEPxvNm2W6gBSnaRhLe3COE0fyb_N5N8jD0iJIigX-bFLB8lBEgJoeJcwhUboJQqJkHpdZ9B8VgIym7ZXQg_ACiEFgP2OjlsnV94u11Gs652qxA1nY-KQ9i5ddQ15xSi4rfv7dvQdpvozYV2sblnN41dBfdwnkP2_T6e55N4-vXxmY-mccUBd7HWgmMNCIgEGrKabJnySmWuBFCYlbV2JFNdllZlnFekpS0roSRPG8LG8SF7Pt1d2pXZ-nZt_cF0tjWT0dQcdwCZVP2DPfZdOnUr34XgXXMBEMzRlPk3ZY6mzNlUDz2doNY5dwFSlIQp8T9Xh2Lv</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>Hypergraph Models for System of Systems Supervision Design</title><source>IEEE Electronic Library (IEL)</source><creator>Khalil, W. ; Merzouki, R. ; Ould-Bouamama, B. ; Haffaf, H.</creator><creatorcontrib>Khalil, W. ; Merzouki, R. ; Ould-Bouamama, B. ; Haffaf, H.</creatorcontrib><description>This paper deals with model-based supervision of a class of system of systems (SoS). The SoS is modeled using hypergraphs, where their architectural representation allows the application of a supervision strategy, from ascending or descending directions directly on the graph. From ascending direction, it is possible to detect local or global faults on a system, when some constraints are no longer satisfied. This is done using the concept of "degree of satisfaction," where the new operating mode of SoS is deduced using the principle of automata. In the descending direction and based on the constraint satisfaction problem, we can check from the hypergraphs a possible structural reconfiguration of SoS in the presence of faults. This reconfiguration is possible when the available systems satisfy a maximum number of constraints. Finally, an application of a SoS is presented. This is done using intelligent autonomous vehicles in a platoon configuration within a seaport terminal.</description><identifier>ISSN: 1083-4427</identifier><identifier>EISSN: 1558-2426</identifier><identifier>DOI: 10.1109/TSMCA.2012.2183350</identifier><identifier>CODEN: ITSHFX</identifier><language>eng</language><publisher>IEEE</publisher><subject>Actuators ; Automatic ; Constraint satisfaction problem (CSP) ; Engineering Sciences ; Fault diagnosis ; Humans ; hypergraph ; intelligent autonomous vehicle (IAV) ; Mathematical model ; MIMO ; modeling ; Monitoring ; supervision ; system of systems (SoS) ; Transportation</subject><ispartof>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2012-07, Vol.42 (4), p.1005-1012</ispartof><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c301t-99431d0101120907d2ab63c87eb00817bd9e2569bba8733c295abc48536f21fe3</citedby><cites>FETCH-LOGICAL-c301t-99431d0101120907d2ab63c87eb00817bd9e2569bba8733c295abc48536f21fe3</cites><orcidid>0000-0001-9153-6078</orcidid></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://ieeexplore.ieee.org/document/6152162$$EHTML$$P50$$Gieee$$H</linktohtml><link.rule.ids>230,314,780,784,796,885,27923,27924,54757</link.rule.ids><linktorsrc>$$Uhttps://ieeexplore.ieee.org/document/6152162$$EView_record_in_IEEE$$FView_record_in_$$GIEEE</linktorsrc><backlink>$$Uhttps://hal.science/hal-00758010$$DView record in HAL$$Hfree_for_read</backlink></links><search><creatorcontrib>Khalil, W.</creatorcontrib><creatorcontrib>Merzouki, R.</creatorcontrib><creatorcontrib>Ould-Bouamama, B.</creatorcontrib><creatorcontrib>Haffaf, H.</creatorcontrib><title>Hypergraph Models for System of Systems Supervision Design</title><title>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans</title><addtitle>TSMCA</addtitle><description>This paper deals with model-based supervision of a class of system of systems (SoS). The SoS is modeled using hypergraphs, where their architectural representation allows the application of a supervision strategy, from ascending or descending directions directly on the graph. From ascending direction, it is possible to detect local or global faults on a system, when some constraints are no longer satisfied. This is done using the concept of "degree of satisfaction," where the new operating mode of SoS is deduced using the principle of automata. In the descending direction and based on the constraint satisfaction problem, we can check from the hypergraphs a possible structural reconfiguration of SoS in the presence of faults. This reconfiguration is possible when the available systems satisfy a maximum number of constraints. Finally, an application of a SoS is presented. This is done using intelligent autonomous vehicles in a platoon configuration within a seaport terminal.</description><subject>Actuators</subject><subject>Automatic</subject><subject>Constraint satisfaction problem (CSP)</subject><subject>Engineering Sciences</subject><subject>Fault diagnosis</subject><subject>Humans</subject><subject>hypergraph</subject><subject>intelligent autonomous vehicle (IAV)</subject><subject>Mathematical model</subject><subject>MIMO</subject><subject>modeling</subject><subject>Monitoring</subject><subject>supervision</subject><subject>system of systems (SoS)</subject><subject>Transportation</subject><issn>1083-4427</issn><issn>1558-2426</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2012</creationdate><recordtype>article</recordtype><sourceid>RIE</sourceid><recordid>eNo9kMFOwkAQhjdGExF9Ab306qF1Zna33fVGKooJxEPxvNm2W6gBSnaRhLe3COE0fyb_N5N8jD0iJIigX-bFLB8lBEgJoeJcwhUboJQqJkHpdZ9B8VgIym7ZXQg_ACiEFgP2OjlsnV94u11Gs652qxA1nY-KQ9i5ddQ15xSi4rfv7dvQdpvozYV2sblnN41dBfdwnkP2_T6e55N4-vXxmY-mccUBd7HWgmMNCIgEGrKabJnySmWuBFCYlbV2JFNdllZlnFekpS0roSRPG8LG8SF7Pt1d2pXZ-nZt_cF0tjWT0dQcdwCZVP2DPfZdOnUr34XgXXMBEMzRlPk3ZY6mzNlUDz2doNY5dwFSlIQp8T9Xh2Lv</recordid><startdate>20120701</startdate><enddate>20120701</enddate><creator>Khalil, W.</creator><creator>Merzouki, R.</creator><creator>Ould-Bouamama, B.</creator><creator>Haffaf, H.</creator><general>IEEE</general><general>Institute of Electrical and Electronics Engineers</general><scope>97E</scope><scope>RIA</scope><scope>RIE</scope><scope>AAYXX</scope><scope>CITATION</scope><scope>1XC</scope><orcidid>https://orcid.org/0000-0001-9153-6078</orcidid></search><sort><creationdate>20120701</creationdate><title>Hypergraph Models for System of Systems Supervision Design</title><author>Khalil, W. ; Merzouki, R. ; Ould-Bouamama, B. ; Haffaf, H.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c301t-99431d0101120907d2ab63c87eb00817bd9e2569bba8733c295abc48536f21fe3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2012</creationdate><topic>Actuators</topic><topic>Automatic</topic><topic>Constraint satisfaction problem (CSP)</topic><topic>Engineering Sciences</topic><topic>Fault diagnosis</topic><topic>Humans</topic><topic>hypergraph</topic><topic>intelligent autonomous vehicle (IAV)</topic><topic>Mathematical model</topic><topic>MIMO</topic><topic>modeling</topic><topic>Monitoring</topic><topic>supervision</topic><topic>system of systems (SoS)</topic><topic>Transportation</topic><toplevel>online_resources</toplevel><creatorcontrib>Khalil, W.</creatorcontrib><creatorcontrib>Merzouki, R.</creatorcontrib><creatorcontrib>Ould-Bouamama, B.</creatorcontrib><creatorcontrib>Haffaf, H.</creatorcontrib><collection>IEEE All-Society Periodicals Package (ASPP) 2005-present</collection><collection>IEEE All-Society Periodicals Package (ASPP) 1998-Present</collection><collection>IEEE Electronic Library (IEL)</collection><collection>CrossRef</collection><collection>Hyper Article en Ligne (HAL)</collection><jtitle>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>Khalil, W.</au><au>Merzouki, R.</au><au>Ould-Bouamama, B.</au><au>Haffaf, H.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Hypergraph Models for System of Systems Supervision Design</atitle><jtitle>IEEE transactions on systems, man and cybernetics. Part A, Systems and humans</jtitle><stitle>TSMCA</stitle><date>2012-07-01</date><risdate>2012</risdate><volume>42</volume><issue>4</issue><spage>1005</spage><epage>1012</epage><pages>1005-1012</pages><issn>1083-4427</issn><eissn>1558-2426</eissn><coden>ITSHFX</coden><abstract>This paper deals with model-based supervision of a class of system of systems (SoS). The SoS is modeled using hypergraphs, where their architectural representation allows the application of a supervision strategy, from ascending or descending directions directly on the graph. From ascending direction, it is possible to detect local or global faults on a system, when some constraints are no longer satisfied. This is done using the concept of "degree of satisfaction," where the new operating mode of SoS is deduced using the principle of automata. In the descending direction and based on the constraint satisfaction problem, we can check from the hypergraphs a possible structural reconfiguration of SoS in the presence of faults. This reconfiguration is possible when the available systems satisfy a maximum number of constraints. Finally, an application of a SoS is presented. This is done using intelligent autonomous vehicles in a platoon configuration within a seaport terminal.</abstract><pub>IEEE</pub><doi>10.1109/TSMCA.2012.2183350</doi><tpages>8</tpages><orcidid>https://orcid.org/0000-0001-9153-6078</orcidid></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | ISSN: 1083-4427 |
| ispartof | IEEE transactions on systems, man and cybernetics. Part A, Systems and humans, 2012-07, Vol.42 (4), p.1005-1012 |
| issn | 1083-4427 1558-2426 |
| language | eng |
| recordid | cdi_ieee_primary_6152162 |
| source | IEEE Electronic Library (IEL) |
| subjects | Actuators Automatic Constraint satisfaction problem (CSP) Engineering Sciences Fault diagnosis Humans hypergraph intelligent autonomous vehicle (IAV) Mathematical model MIMO modeling Monitoring supervision system of systems (SoS) Transportation |
| title | Hypergraph Models for System of Systems Supervision Design |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-11T03%3A02%3A24IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-hal_RIE&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Hypergraph%20Models%20for%20System%20of%20Systems%20Supervision%20Design&rft.jtitle=IEEE%20transactions%20on%20systems,%20man%20and%20cybernetics.%20Part%20A,%20Systems%20and%20humans&rft.au=Khalil,%20W.&rft.date=2012-07-01&rft.volume=42&rft.issue=4&rft.spage=1005&rft.epage=1012&rft.pages=1005-1012&rft.issn=1083-4427&rft.eissn=1558-2426&rft.coden=ITSHFX&rft_id=info:doi/10.1109/TSMCA.2012.2183350&rft_dat=%3Chal_RIE%3Eoai_HAL_hal_00758010v1%3C/hal_RIE%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_ieee_id=6152162&rfr_iscdi=true |