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 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.

[1]  René M. B. M. de Koster,et al.  A review of design and control of automated guided vehicle systems , 2006, Eur. J. Oper. Res..

[2]  K. Kannan,et al.  A hypergraph-based algorithm for image restoration from salt and pepper noise , 2010 .

[3]  Belkacem Ould Bouamama,et al.  Matroid algorithm for monitorability analysis of bond graphs , 2006, J. Frankl. Inst..

[4]  Emes,et al.  Systems engineering management , 2004 .

[5]  R. Merzouki,et al.  Intelligent monitoring of electric vehicle , 2009, 2009 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.

[6]  Pieter J. Mosterman,et al.  Diagnosis of continuous valued systems in transient operating regions , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[7]  Belkacem Ould Bouamama,et al.  Robust Monitoring of an Electric Vehicle With Structured and Unstructured Uncertainties , 2009, IEEE Transactions on Vehicular Technology.

[8]  Thierson Couto,et al.  Modeling the web as a hypergraph to compute page reputation , 2010, Inf. Syst..

[9]  Martin Grohe.  The Structure of Tractable Constraint Satisfaction Problems , 2006, MFCS.

[10]  Joao Marques-Silva,et al.  Complete unrestricted backtracking algorithms for Satisfiability , 2002 .

[11]  Antonio Volpentesta,et al.  Hypernetworks in a directed hypergraph , 2008, Eur. J. Oper. Res..

[12]  Raghunathan Rengaswamy,et al.  A Signed Directed Graph and Qualitative Trend Analysis-Based Framework for Incipient Fault Diagnosis , 2007 .

[13]  Marcel Staroswiecki,et al.  Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems , 2001, Autom..

[14]  Avijit Mukherjee.  Dynamic Stochastic Optimization Models for Air Traffic Flow Management , 2004 .

[15]  Mark W. Maier,et al.  Architecting Principles for Systems‐of‐Systems , 1996 .

[16]  Brian J. Sauser,et al.  Systomics: Toward a Biology of System of Systems , 2010, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[17]  Andrew P. Sage,et al.  On the Systems Engineering and Management of Systems of Systems and Federations of Systems , 2001, Inf. Knowl. Syst. Manag..

[18]  Berkant Barla Cambazoglu,et al.  Clustering spatial networks for aggregate query processing: A hypergraph approach , 2008, Inf. Syst..

[19]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2006 .

[20]  Vishal Mahulkar,et al.  System-of-Systems Modeling and Simulation of a Ship Environment With Wireless and Intelligent Maintenance Technologies , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[21]  Andrew P. Sage,et al.  Processes for System Family Architecting, Design, and Integration , 2007, IEEE Systems Journal.

[22]  Rochdi Merzouki,et al.  Dynamic Modeling of a Train of Intelligent Vehicles Inside a Confined Space , 2009, CTS 2009.

[23]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[24]  Kamal Medjaher,et al.  Backlash fault detection in mechatronic system , 2007 .

[25]  Daniel DeLaurentis,et al.  Understanding Transportation as a System-of-Systems Design Problem , 2005 .

[26]  Ismailcem Budak Arpinar,et al.  Formalization of Workflows and Correctness Issues in the Presence of Concurrency , 1999, Distributed and Parallel Databases.

[27]  M. Allison,et al.  The Characteristics and Emerging Behaviors of System of Systems , 2005 .

[28]  Michael T. Turvey,et al.  Autonomy and hypersets , 2008, Biosyst..

[29]  Brian J. Sauser,et al.  System of Systems - the meaning of of , 2006, 2006 IEEE/SMC International Conference on System of Systems Engineering.

[30]  Claude Berge,et al.  Graphs and Hypergraphs , 2021, Clustering.