Preview
Unable to display preview. Download preview PDF.
References
Яблонский С.В. Основные понятия кибернетики. — Пробыемы кибернетики, вып. 2, M.: Физматгиз, 1959, с. 7–38.
Яблонский С.В., Чегис И.А. О тестах, для електрических схем. — Успехи математических наук, 10, вып. 4, 1955, с. 182–184.
Чегис И.А., Яблонский С.В. Логические способы контроля електрических схем. — Труды МИАН СССР, т. 51, 1958, с. 270–360.
Лупанов О.Б. О синтезе некоторых классов управляющих систем. — Проблемы кибернетики, вып. 10, М.: Физматгиз, 1963, с. 63–98.
Редькин Н.П. О полных проверяющих тестах для контактных схем. — Методы дискретного анализа в исследовании экстремалбных структур, вып. 39, Новосибирск: ИМ СО АН СССР, 1983, с. 80–87.
Мадатян Х.А. Полный тест для бесповторных контактных схем. — Проблемы кибернетики, вып. 23, М.: Наука, 1970, с. 103–118.
Редбкин Н.П. О проверяющих тестах замыкания и размыкания. — Методы дискретного анализа в оптимизации управляющих систем, вып. 40, Новосибирск: ИМ СО АН СССР, 1983, с. 87–99.
Лупанов О.Б. Асимптотические оценки сложности управляющих систем. — М.: МГУ, 1984.
Редькин Н.П. О полных проверяющих тестах для схем из функциональных элементов. — Вестник Московского университета. Серия 1. Математика. Механика, 1986, No.1, с. 72–74.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Redkin, N.P. (1987). On checking correctness of some classes of control systems. In: Budach, L., Bukharajev, R.G., Lupanov, O.B. (eds) Fundamentals of Computation Theory. FCT 1987. Lecture Notes in Computer Science, vol 278. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18740-5_80
Download citation
DOI: https://doi.org/10.1007/3-540-18740-5_80
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18740-0
Online ISBN: 978-3-540-48138-6
eBook Packages: Springer Book Archive