{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T03:56:04Z","timestamp":1761969364116,"version":"build-2065373602"},"reference-count":37,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2012,7,1]],"date-time":"2012-07-01T00:00:00Z","timestamp":1341100800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst., Man, Cybern. A"],"published-print":{"date-parts":[[2012,7]]},"DOI":"10.1109\/tsmca.2012.2183350","type":"journal-article","created":{"date-parts":[[2012,2,14]],"date-time":"2012-02-14T22:09:11Z","timestamp":1329257351000},"page":"1005-1012","source":"Crossref","is-referenced-by-count":30,"title":["Hypergraph Models for System of Systems Supervision Design"],"prefix":"10.1109","volume":"42","author":[{"given":"W.","family":"Khalil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Merzouki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Ould-Bouamama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Haffaf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"117","author":"shenhar","year":"2009","journal-title":"Handbook of Systems Engineering and Management"},{"journal-title":"Modeling and Programming with Gecode","year":"0","author":"schulte","key":"ref32"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2048024"},{"journal-title":"Model-based Process Supervision A Bond Graph Approach","year":"2008","author":"samantaray","key":"ref30"},{"journal-title":"Website of InTraDE","year":"0","key":"ref37"},{"journal-title":"Website of OKTAL","year":"0","key":"ref36"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2007.04.023"},{"key":"ref34","doi-asserted-by":"crossref","first-page":"687","DOI":"10.1016\/S0005-1098(01)00005-X","article-title":"Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems","volume":"37","author":"staroswiecki","year":"2001","journal-title":"Automatica"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2514\/6.2005-123"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2007.04.001"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.aeue.2009.12.001"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2009.2026281"},{"key":"ref14","first-page":"58","article-title":"The structure of tractable constraint satisfaction problems","volume":"4162","author":"grohe","year":"2006","journal-title":"Proc 31st Int Symp Math Found Comput Sci"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jfranklin.2005.09.006"},{"key":"ref16","first-page":"619","article-title":"Dynamic modeling of a train of intelligent vehicles inside a confined space","author":"khalil","year":"2009","journal-title":"Proc 12th IFAC Symp Transp Syst"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejor.2005.01.036"},{"key":"ref18","first-page":"214","article-title":"Complete unrestricted backtracking algorithms for satisfiability","author":"lynce","year":"2002","journal-title":"Proc Int Symp Theory Appl Satisfiability Test"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2009.2025140"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2007.900240"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2009.02.005"},{"journal-title":"Review of Maritime Transport","year":"2009","key":"ref27"},{"journal-title":"Graphs and Hypergraphs","year":"1973","author":"berge","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SYSOSE.2006.1652284"},{"key":"ref29","first-page":"325","article-title":"On the systems engineering and management of systems of systems and federations of systems","volume":"2","author":"sage","year":"2001","journal-title":"Inf Knowl Syst Manage"},{"journal-title":"Diagnosis and Fault-Tolerant Control","year":"2006","author":"blanke","key":"ref5"},{"journal-title":"Defense Acquisition Guidebook (DAG)","year":"2010","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.biosystems.2007.05.010"},{"journal-title":"NECSI Complex Physical Biological and Social Systems Project","year":"2004","author":"bar-yam","key":"ref2"},{"journal-title":"Defense Advanced Research Projects Agency (DARPA) Urban Challenge","year":"0","key":"ref9"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/A:1008758612291","volume":"7","author":"arpinar","year":"1999","journal-title":"Distributed and Parallel Databases"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1520-6858(1998)1:4<267::AID-SYS3>3.0.CO;2-D"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/AIM.2009.5229914"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/S0263-8762(07)73181-7"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(74)90008-5"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2007.03.001"},{"journal-title":"Dynamic Stochastic Optimization Models for Air Traffic Flow Management","year":"2004","author":"mukherjee","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/3468.798059"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/3468\/6217343\/06152162.pdf?arnumber=6152162","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:52:23Z","timestamp":1633909943000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6152162\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,7]]},"references-count":37,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/tsmca.2012.2183350","relation":{},"ISSN":["1083-4427","1558-2426"],"issn-type":[{"type":"print","value":"1083-4427"},{"type":"electronic","value":"1558-2426"}],"subject":[],"published":{"date-parts":[[2012,7]]}}}