Namespaces
Variants
Actions

Reliability and inspection of control systems

From Encyclopedia of Mathematics
Jump to: navigation, search

problems in the reliability of control systems

A branch of the theory of control systems that studies control systems subject to noise.

Let be a class of control systems and suppose there is a source of noise, or of faults, the effect of which on a control system is to convert it into control systems of some class . If it is assumed that the source of noise may also preserve the control system unchanged, e.g. , then . Suppose that each control system in is uniquely determined by its scheme ; then the action of the source of noise reduces to its action on . A source of failures subjects the scheme to a transformation, manifested in one of the following ways: a) a disruption in the operation of the elements, i.e. changes in the elements; b) a change in the connections among the elements; etc. As a result, the original scheme of moves into "faulty" states , where , defining control systems , respectively. Associated with these schemes one has corresponding functions , called failure functions (note that characterizes the performance of the original control system ). The source of failure is usually characterized additionally either by an error-probability distribution or by restrictions on the possible number of elementary failures.

Reliability problems are considered mainly for three classes of control systems: diagrams of functional elements, contact schemes and automata (cf. Automaton; Contact scheme; Diagram of functional elements).

Let be a class of diagrams of functional elements, the latter belonging to a given basis , where and . If the failure source affects only the elements of the diagram, it converts elements in , , into elements with the same number of inputs as , but with a possibly different performance; the elements of remain unchanged. Thus, consists of unreliable elements and of reliable ones. In this case the source of failure can be described in terms of the failure probabilities of the elements , respectively. For example, might consist of -elements, -elements and -elements, and of voting elements, implementing the functions , and , , and , respectively. It may be assumed here that is the (common) failure probability of the elements of .

When is a class of contact schemes, one considers a failure source in which the elementary failures are either short-circuited or broken contacts. In this context one assumes in addition that in a contact scheme implementing functions of variables there may occur at most elementary failures.

The problems that arise in connection with the reliability and inspection of such systems may be divided into three types.

I. Design of reliable schemes of unreliable elements.

This branch of the theory has been developed for two classes of systems: contact schemes and diagrams of functional elements. For the latter, is characterized by a certain probability of cases in which it functions incorrectly. Here there are two basic questions.

1) What properties must the basis have so that it should be possible, for any Boolean function and any , to design a diagram realizing and such that the probability of faulty performance be less than ? In other words, it is desired that any Boolean function should be realizable by an arbitrarily reliable diagram.

It has been established that there are bases in which, for any function, there is an arbitrarily reliable diagram realizing it. An example is the basis (see above): consists of -elements, -elements and -elements with failure probability , and consists of an absolutely-reliable voting element. Necessary and sufficient conditions have been determined in terms of under which arbitrarily reliable diagrams can be designed for all Boolean functions.

2) To devise a method for the synthesis of minimal (or in some sense almost minimal) diagrams realizing Boolean functions, of unreliability not exceeding a preassigned value . It turns out (e.g. for the above-described basis, with ) that a method can be devised for synthesizing diagrams which, for the majority of Boolean functions and a given , yields asymptotically (in ) minimal diagrams. In particular, for the Shannon function , expressing the minimum number of elements in (see previous example) sufficient for the realization of any Boolean function of variables with unreliability at most , one has the following asymptotic relationship:

II. Design of self-correcting schemes.

This direction has been most thoroughly studied for two classes of systems — contact schemes and diagrams of functional elements. In this context the failure source is characterized by constraints on the number of elementary breakdowns. It is assumed that within the limits of the discussion no further changes occur in the scheme. A scheme realizing a function is said to be self-correcting relative to a given failure source if , . In other words, a self-correcting scheme functions correctly, regardless of the effect of the failure source. For example, the contact scheme of Fig. a, which realizes the function , is self-correcting for a source that produces at most one broken contact.

Figure: r081170a

The major problems in this area are: 1) to clarify the conditions under which self-correcting schemes exist; and 2) to work out methods for the synthesis of minimal (or in some sense almost minimal) self-correcting schemes. Below the solution to these problems in the case of contact schemes with a failure source producing at most short-circuited and broken contracts is given.

It turns out that for any Boolean function one can design a self-correcting scheme relative to this failure source. This can be done by taking any contact scheme that realizes , replacing therein every contact by a subscheme consisting of identical blocks connected in series, each of which consists of copies of the given contact connected in parallel. This scheme is known as a trivial self-correcting scheme. Its complexity is times that of the original scheme. The example of Fig. a shows that there also exist non-trivial self-correcting schemes.

The problem of designing self-correcting schemes is a special case of the synthesis problem for control systems with additional conditions. The main result here is that for most Boolean functions one can design a self-correcting scheme (relative to some class of sources) whose complexity asymptotically approaches (as ) the complexity of a minimal scheme realizing but not being self-correcting. It has been shown that, subject to certain restrictions on the order of increase of , the Shannon function satisfies the following asymptotic relationship:

III. Inspection of control systems.

This area has been most thoroughly investigated for three classes of systems: contact schemes, diagrams of functional elements and automata. The consideration of inspection problems for control systems pre-supposes the following: 1) the presence of a failure source that, having affected the control system, maintains the latter in its failed state for some time, during which it produces no further failures; 2) a specification of the desired objective of the inspection; the latter is defined as the detection of some property of the control system. E.g., to determine whether the system is functioning correctly or not (checking problem), or, if the system has failed, to detect the source of the failure (diagnostics problem); and 3) a specification of the means of inspection. Inspection may be carried out with or without intervention in the scheme — for example, replacement of elements by standard elements, interchanging blocks of the same type, using additional check-points in the scheme, etc. The means of inspection also include some procedure for extracting information about the controlled object. These are experiments falling into two categories — unconditional and conditional. In unconditional experiments, the signal sequences fed to the input of the controlled device are pre-determined and are independent of the sequence at its output. In conditional experiments each successive symbol in the input sequence can be selected depending on the symbols appearing at the output at the previous instant of time.

A set of experiments that permits the detection of a given property is called a test. Since there are usually a great number of different tests detecting any desired property, one introduces a complexity measure in the set of tests and aims to find a test of minimum complexity. The main problem here is how to devise minimal or near-minimal tests for each property. This is part of a more general problem — the construction of compact algorithms for the recognition of various properties.

To illustrate this, consider the solution of these problems for contact schemes and diagrams of functional elements, assuming no interference in the scheme. The starting point here is the sequence of failure functions of the scheme realizing , where . It may happen that for some pairs , meaning that the -th and -th failures are indistinguishable. Thus, the set of functions is partitioned into equivalence classes such that and belong to the same class if and only if ; it is assumed that is in the class . Failures producing functions of the same class are indistinguishable. The classes yield a table of failure functions.

Figure: r081170b

Example. The contact scheme of Fig. bimplements the function

and the failure source produces at most one broken contact. Here , , , , , and . Thus there are seven classes: , , generating the failure function table illustrated below. The property to be detected is usually specified in terms of a subset of pairs , denoting the indices of the classes of failure functions that one wishes to distinguish. For example, if , , the property is distinguishability of the correctly-operating scheme from any failed stated (checking problem). If , , , one wishes to know how to distinguish each state from any other state (diagnostics problem). Finally, if , , one has the problem of "block" diagnostics, i.e. to identify the part of the scheme containing the failed element.'
<tbody> </tbody>
sequence
001 1 0 1 1 1 1 0
011 1 0 0 1 1 1 1
010 1 1 0 0 1 1 1
110 1 1 1 0 0 1 1
100 1 1 1 1 0 0 1
101 1 1 1 1 1 0 0
000 0 0 0 0 0 0 0
111 0 0 0 0 0 0 0

Let be the set of sequences on which the functions are defined. A set of sequences selected from is called a test for the given failure function table relative to the subset if, for any pair in , there is a sequence in such that . A test is said to be minimal if it contains the minimum possible number of sequences. A test is called a dead-end test if removal of any sequence from results in a subset of sequences that is not a test. The entire set is a (trivial) test. A minimal test is a dead-end test. The problem of finding a minimal test is motivated by the need to reduce the inspection time.

There exists an algorithm for the determination of all dead-end tests (hence also of minimal tests). Let be the set of all sequences on which and are different. Multiplying out in the expression

according to the rules of Boolean algebra and then deleting "absorbed" terms by using the relation , the remaining expression will correspond to a dead-end test. Thus, considering the above example, with regard to the checking problem

the algorithm yields

There are five dead-end tests: , , , , ; of these, and are minimal. This algorithm may be used to detect errors in the assembling of component elements. With slight modifications, it is also applicable to the design of short dead-end experiments for automata. Its efficiency drops sharply as the failure function table increases in size. To improve its efficiency one must take into consideration such factors as the structure of the table and further information as to the structure of the scheme itself. Several methods have been devised to this end. Other aspects of the reliability and inspection of control systems are elaborated in probability theory.

References

[1] I.A. Chegis, S.V. Yablonskii, "Logical means for controlling the functioning of electric systems" Trudy Mat. Inst. Steklov. , 51 (1958) pp. 270–360 (In Russian)
[2] N.A. Solov'ev, "Tests" , Novosibirsk (1978) (In Russian)
[3] Yu.G. Potapov, S.V. Yablonskii, "On the synthesis of self-correcting relay circuits" Soviet Phys. Dokl. , 5 (1961) pp. 932–935 Dokl. Akad. Nauk SSSR , 134 : 3 (1960) pp. 544–547
[4] J. von Neumann, "Probabilistic logics and the synthesis of reliable organisms from unreliable components" , Automata studies , Princeton Univ. Press (1956) pp. 43–98
[5] E.F. Moore, C.E. Shannon, "Reliable circuits using less reliable relays I, II" J. Franklin Inst. , 262 (1956) pp. 198–208; 281–297
How to Cite This Entry:
Reliability and inspection of control systems. S.V. Yablonskii (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Reliability_and_inspection_of_control_systems&oldid=16068
This text originally appeared in Encyclopedia of Mathematics - ISBN 1402006098