Advertisement

On checking correctness of some classes of control systems

  • N. P. Redkin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 278)

Keywords

Input Vector Boolean Function Functional Element Constant Error Conjunctive Normal Form 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Яблонский С.В. Основные понятия кибернетики. — Пробыемы кибернетики, вып. 2, M.: Физматгиз, 1959, с. 7–38.Google Scholar
  2. 2.
    Яблонский С.В., Чегис И.А. О тестах, для електрических схем. — Успехи математических наук, 10, вып. 4, 1955, с. 182–184.Google Scholar
  3. 3.
    Чегис И.А., Яблонский С.В. Логические способы контроля електрических схем. — Труды МИАН СССР, т. 51, 1958, с. 270–360.Google Scholar
  4. 4.
    Лупанов О.Б. О синтезе некоторых классов управляющих систем. — Проблемы кибернетики, вып. 10, М.: Физматгиз, 1963, с. 63–98.Google Scholar
  5. 5.
    Редькин Н.П. О полных проверяющих тестах для контактных схем. — Методы дискретного анализа в исследовании экстремалбных структур, вып. 39, Новосибирск: ИМ СО АН СССР, 1983, с. 80–87.Google Scholar
  6. 6.
    Мадатян Х.А. Полный тест для бесповторных контактных схем. — Проблемы кибернетики, вып. 23, М.: Наука, 1970, с. 103–118.Google Scholar
  7. 7.
    Редбкин Н.П. О проверяющих тестах замыкания и размыкания. — Методы дискретного анализа в оптимизации управляющих систем, вып. 40, Новосибирск: ИМ СО АН СССР, 1983, с. 87–99.Google Scholar
  8. 8.
    Лупанов О.Б. Асимптотические оценки сложности управляющих систем. — М.: МГУ, 1984.Google Scholar
  9. 9.
    Редькин Н.П. О полных проверяющих тестах для схем из функциональных элементов. — Вестник Московского университета. Серия 1. Математика. Механика, 1986, No.1, с. 72–74.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1987

Authors and Affiliations

  • N. P. Redkin
    • 1
  1. 1.Faculty of Mechanics and Mathematics Department of Discrete MathematicsMoscow State UniversityMoscowUSSR

Personalised recommendations