Open AccessPROBLEMS OF DIFFERENTIAL AND TOPOLOGICAL DIAGNOSTICS. PART 3. THE CHECKING PROBLEM
Author(s) -
М. В. Шамолин
Publication year - 2019
Publication title -
vestnik samarskogo universiteta. estestvennonaučnaâ seriâ
Language(s) - English
Resource type - Journals
eISSN - 2712-8954
pISSN - 2541-7525
DOI - 10.18287/2541-7525-2019-25-4-36-47
Subject(s) - model checking , ellipsoid , surface (topology) , computer science , differential (mechanical device) , abstraction model checking , motion (physics) , statement (logic) , mathematics , algorithm , theoretical computer science , mathematical optimization , artificial intelligence , geometry , physics , astronomy , law , political science , engineering , aerospace engineering
Proposed work is the third in the cycle, therefore, we explain such notions as checking sphere, checkingellipsoid and checking tubes. The checking problem is stated and the algorithms for solving it are formulated. The criterion for a malfunction in a controlled system whose motion is described by ordinary differential equations is taken to be the attainment of a checking surface by the checking vector. We first propose the methods for solving the checking problems in which the checking surfaces are chosen in the form of a checking sphere, checking ellipsoid or checking tube. Then we consider the general techniques for constructing the checking surface by using the statistical testing method. We also give the extended statement of the checking problem. And we also prepare the material for the consideration of the problem of diagnostics.