We introduce a scheme to simplify a multi-valued network using redundancy removal techniques. Recent methods [1], [2] for binary redundancy removal avoid the use of state traversal. Additionally, [2] finds multiple compatible redundancies simultaneously. We extend these powerful advances in the field of binary redundancy removal to perform redundancy removal for multi-valued networks. First we ...

Digital ight control systems utilize redundant hardware to meet high reliability requirements. In this study we use the SMV model checker to assess the design correctness of a sensor voter algorithm used to manage three redundant sensors. The sensor voter design is captured as a Simulink diagram. The requirements veriied include normal operation , transient conditions, and fault handling. The s...

This paper discusses the development of a low-cost, redundant, strapdown inertial measurement unit (IMU). The unit comprises four ceramic vibrating structure gyroscopes and four QLC 400 accelerometers configured on a truncated tetrahedron design. This design allows for the optimal configuration of the eight sensors, which in turn provides for a theoretical 33% increase in information. The redun...

We study the system consisting of a linear matrix inequality (LMI) constraint and linear constraints of the form: A(x) := A0 + n ∑ i=1 xiAi 0, bj + a T j x ≥ 0 (j = 1, 2, . . . , q) where Ai are m×m symmetric matrices, aj and x ∈ IR , and bj ∈ IR. A(x) 0 means that A(x) is positive semidefinite. A constraint in the above system is redundant if eliminating it from the system does not change the ...

The aim of the research is to investigate techniques that support the development of highly dependable applications in a distributed system environment. Techniques developed include redundant task allocation, load balancing, fault-tolerant computing, and communication. The application the authors have implemented in the system is a firewall application. The firewall runs in redundant mode. Each...