California Institute of Technology

Fondazione Istituto Italiano Di Technologia

USA As Represented by Secretary of the Navy

US Government As Represented by the Secretary of the Army

Fondazione Istituto Italiano Di Tecnologia

Farrokh Vatan

Amir Fijany

Mohammad Mehdi Mojarradi

Suheng Chen

Edward T Chow

Nikzad Toomarian

Elzbieta Kolawa

Benjamin J Blalock

Sorin Cristoloveanu

Kerem Akarvardar

Stephen A Frisbie

Anthony Barrett

George K Paloulian

Vasilios Kalomiris

Various embodiments associated an inter-network policy that is implemented for use across multiple networks are described. Individual networks can have individual policies that govern how communications are handled, how resources are allocated, and other metrics. When individual networks work together, these networks can experience problems if their individual policies conflict with one another. Therefore, the inter-network policy can be generated that facilitates the individual networks working together.

Inter-network policy

A method for generating a set of analytical redundancy relations representative of a system with which a plurality of sensors is associated for the observation of variables indicative of operating conditions and adapted to enable detection and discrimination of faults. A complete set of analytical redundancy relations of the system is built from a set of intermediate relations established between observable and non-observable variables of the system, wherein each intermediate relation is generated by combining two predetermined relations R, R, each of which is expressed in an implicit form as a tuple (i) of a subset Sof system variables, (ii) of the set Cof the support components for said relation, and (iii) of the set Tof the primary relations used to derive said intermediate relation.

Method for the generation of analytical redundancy relations for system diagnostics

A method for generating a minimal set of Analytical Redundancy Relations representing a system to which a plurality of sensors is associated for the observation of variables indicative of operating conditions and adapted to enable detection and isolation of faults. The minimal set of Analytical Redundancy Relations is derived from a complete set of Analytical Redundancy Relations in implicit form, for which an associated binary Fault Signature Matrix is specified, and comprises the relations associated to a minimal subset of rows of the original matrix, which has the same number of non-zero columns and the same number of distinct columns as the original matrix.

Method for generating a minimum set of analytical redundancy relations for the diagnosis of systems

A method for the generation of a set of conflicts for model-based system diagnostics is described, with which system a plurality of sensors is associated for the observation of variables indicative of operation conditions. The method starts from generating a complete set of Analytical Redundancy Relations (ARRs) in implicit form and, for each diagnosis instance: it performs a system simulation, computing the expected values for a first subset of Analytical Redundancy Relations (D-ARRs) including the relations involving only one system observation variable; it compares the expected and observed values of the system observation variables to identify the inconsistent variables, i.e. the unsatisfied redundancy relations, indicating a fault in at least one system component; and, when discrepancies are detected, it checks the consistency of each relation belonging to a second subset of Analytical Redundancy Relations (I-ARR), comprising relations involving a plurality of system observation variables, at least one of which exhibits discrepancies between expected and observed values; therefore identifying the support set of the unsatisfied Redundancy Relations as set of system conflicts.

Method for the generation of a set of conflicts for model-based system diagnostics, and corresponding diagnostic method

An universal and programmable logic gate based on G-FET technology is disclosed, leading to the design of more efficient logic circuits. A new full adder design based on the G-FET is also presented. The G-FET can also function as a unique router device offering coplanar crossing of signal paths that are isolated and perpendicular to one another. This has the potential of overcoming major limitations in VLSI design where complex interconnection schemes have become increasingly problematic.

Universal programmable logic gate and routing method

The diagnosis problem arises when a system's actual behavior contradicts the expected behavior, thereby exhibiting symptoms (a collection of conflict sets). System diagnosis is then the task of identifying faulty components that are responsible for anomalous behavior. To solve the diagnosis problem, the present invention describes a method for finding the minimal set of faulty components (minimal diagnosis set) that explain the conflict sets. The method includes acts of creating a matrix of the collection of conflict sets, and then creating nodes from the matrix such that each node is a node in a search tree. A determination is made as to whether each node is a leaf node or has any children nodes. If any given node has children nodes, then the node is split until all nodes are leaf nodes. Information gathered from the leaf nodes is used to determine the minimal diagnosis set.

System for solving diagnosis and hitting set problems

Growing community of inventors

West Hills, CA, United States of America

Farrokh Vatan