1.
Агафонов В. Н.
Спецификация программ: понятийные средства и их организации
Новосибирск: Наука, Сиб. отд-е, 1990. — 224 с
2.
Агибалов Г. П., Юфат Я. Г.
О простых экспериментах для линейных инициальных автоматов
Автоматика и вычислительная техника. № 2. 1972. С. 17–19
3.
Аксенова Г. П., Согомонян Е. С.
Синтез схем встроенного контроля для автоматов с памятью
Автоматика и телемеханика. № 9. 1971. С. 170–179
4.
Алефельд Г., Херцбергер Ю.
Введение в интервальные вычисления
М.: Мир, 1987
5.
Батищев Д. И.
Генетические алгоритмы решения экстремальных задач
Воронеж. гос. техн. ун-т; Нижегородский гос. ун-т. — Воронеж, 1995
6.
Барашко А. С., Скобцов Ю. А., Сперанский Д. В.
Моделирование и тестирование дискретных устройств
Киев: Наукова думка, 1992. — 288 с
7.
Березин И. С., Жидков Н.П.
Методы вычислений В 2-х т
М.: Гос. изд-во физ.-мат. лит., 1960. Т. 2
8.
Барашко А. С., Богомолов А. М., Грунский И. С.
Эксперименты с автоматами
Киев: Наукова думка, 1973. — 144 с
9.
Богомолов А. М., Грунский И. С., Сперанский Д.В.
Контроль и преобразования дискретных автоматов
Киев: Наукова думка, 1975. — 176 с
10.
Богомолов А. М., Твердохлебов В. А.
Диагностика сложных систем
Киев: Наукова думка, 1974. — 128 с
11.
Богомолов А.С., Сперанский Д.В.
Об одном оптимальном синхронизирующем эксперименте с линейными автоматами
Известия РАН. Теория и системы управления. № 3. 2002. С. 64–70
12.
Богомолов А. С., Сперанский Д. В.
Синхронизирующие эксперименты с интервальными линейными системами
Автоматика и телемеханика. № 6. 2002. С. 166–178
13.
Богомолов А. С., Сперанский Д. В.
Оптимальные синхронизирующие эксперименты с автоматами
Автоматика и телемеханика. № 10. 2001. С. 203–208
14.
Болтянский В. Г.
Оптимальное управление дискретными системами
М.: Наука, 1973
15.
Вентцель Е. С.
Элементы динамического программирования
М.: Наука, 1964
16.
Визинг В. Г., Гольдберг М. К.
О длине обхода сильно связного графа
Кибернетика. № 1. 1969. С. 79–82
17.
Габасов Р., Кириллова Ф. М., Крахотко В. В.
Теория управляемости линейных дискретных систем
Определяющее уравнение Дифференциальные уравнения. Т. 8, № 5. 1972. С. 767–773
18.
Гилл А.
Введение в теорию конечных автоматов
М.: Наука, 1966. — 272 c
19.
Гилл А.
Линейные последовательностные машины
М.: Наука, 1974
20.
Глушков В. М.
Абстрактная теория автоматов
Успехи матем. наук. Т. 16, вып. 5 (101). 1961. С. 3–62
21.
Глушков В. М.
Синтез цифровых автоматов
М.: Физматгиз, 1962
22.
Грунский И. С.
Анализ поведения конечных автоматов
Луганск: Изд-во Луганск. гос. пед. ун-та, 2003. — 318 с
23.
Грунский И. С., Рубанович Ю. А.
Об одном алгоритме построения выходных контрольных точек
Автоматика и телемеханика. № 11. 1967. С. 145–150
24.
Гэри М., Джонсон Д.
Вычислительные машины и труднорешаемые задачи
М.: Мир, 1982. — 416 с
25.
Зыков А. А.
Теория конечных графов, 1
Новосибирск; Наука, 1969
26.
Калмыков С. А., Шокин Ю. И., Юлдашев З. Х.
Методы интервального анализа
Новосибирск: Наука, Сиб. Отд-е, 1986
27.
Колесов Н. В.
Построение проверяющего теста для линейного конечного автомата
Автоматика и телемеханика. № 2. 1982. С. 61–66
28.
Корбут А. А., Финкельштейн Ю. Ю.
Дискретное программирование
М.: Наука, 1969
29.
Корчинский А. П., Тоценко В. Г.
Синтез автоматов оперативного контроля дискретных устройств с конечной памятью
Автоматика и телемеханика. № 10. 1973. С. 184–193
30.
Алешин С. В., Кудрявцев В. Б., Подколзин А. С.
Введение в теорию автоматов
М.: Наука, 1985. — 320 с
31.
Куприянова Л. В., Самойлов В. Г., Сперанский Д. В.
Интервальная арифметика над полем GF(p)
Вычислительные технологии. Т. 7, № 6. 2002. С. 54–64
32.
Курейчик В. М.
Генетические алгоритмы и их применение
Таганрог: Изд-во ТРТУ, 2002
33.
Курош А. Г.
Курс высшей алгебры
М.: Наука, Главная ред. физ.-мат. лит., 1976
34.
Майника Э.
Алгоритмы оптимизации на графах и сетях
М.: Мир, 1981. — 454 с
35.
Мину М.
Математическое программирование
М.: Наука, 1980
36.
Мур Э.
Умозрительные эксперименты с последовательностными машинами
М.; Л., 1956. С. 179–210
37.
Основы технической диагностики
Энергия, 1976. — 464 с
38.
Первозванский А. А.
Курс теории автоматического управления
М.: Наука, 1986
39.
Петренко А. Ф.
Эксперименты над протокольными объектами
Автоматика и вычислительная техника. № 1. 1987. С. 16–21
40.
Понтрягин Л. С.
Математическая теория оптимальных процессов
М.: Наука, 1976
41.
Болтянский В. Г. и др., Понтрягин Л. С.
Математическая теория оптимальных процессов
М.: Физматгиз, 1961
42.
Пропой А. И.
Элементы теории оптимальных линейных процессов
М.: Наука, 1973
43.
Сперанский Д. В.
Автоматы существенно без потери информации
Автоматика и телемеханика. № 10. 1971. С. 93–99
44.
Сперанский Д. В.
О связи между устойчивостью и синхронизируемостью линейных автоматов над различными полями
Автоматика и вычислительная техника. № 1. 2000. С. 63–75
45.
Сперанский Д. В.
О тестировании линейных автоматов
Автоматика и телемеханика. № 5. 2000. С. 157–165
46.
Сперанский Д. В.
Об автоматах существенно без потери информации конечного порядка
Автоматика и телемеханика. № 6. 1972. С.86–92
47.
Сперанский Д. В.
Обобщенная синхронизация линейных последовательностных машин
Кибернетика и системный анализ. № 3. 1998. С. 17–25
48.
Сперанский Д. В.
Обобщенные автоматы без потери информации конечного порядка, II
Кибернетика и системный анализ. № 4. 1994. С. 174–178
49.
Сперанский Д. В.
Обобщенные автоматы без потери информации, I
Кибернетика и системный анализ. № 3. 1994. С. 63–69
50.
Сперанский Д. В.
Обобщенные линейные автоматы без потери информации
Известия РАН. Теория и системы управления. № 1. 1998. С. 64–71
51.
Сперанский Д. В.
Распознавание состояний нестационарных линейных автоматов
Известия РАН. Теория и системы управления. № 6. 2000. С. 82–89
52.
Сперанский Д. В.
Связь между устойчивостью и синхронизируемостью нестационарных линейных автоматов над различными полями
Электронное моделирование. Т. 23, № 5. 2001. С. 22–32
53.
Сперанский Д. В.
Синтез тестов с минимальным числом перепадов сигналов для линейных автоматов
Автоматика и вычислительная техника. № 4. 2002. С. 70–78
54.
Сперанский Д. В.
Синхронизация линейных последовательностных машин
Автоматика и телемеханика. № 5. 1996. С. 141–149
55.
Сперанский Д. В.
Установочные и диагностические последовательности для линейных автоматов
Автоматика и телемеханика. № 5. 1997. С. 133–141
56.
Огнева М. В., Сперанский Д. В.
Обобщенные установочные и диагностические эксперименты для линейных автоматов
Автоматика и вычислительная техника. № 3. 2001. С. 3–13
57.
Самойлов В. Г., Сперанский Д. В.
О диагностической задаче для линейных автоматов в интервальной постановке
Информац.-керуючi системи на залiзничному транспортi. № 4. 2003. С. 117–119
58.
Сперанский Д. В., Сперанский И. Д.
Об одной задаче для сети из линейных автоматов без потери информации
Автоматика и телемеханика. № 1. 1999. С. 140–147
59.
Сперанский Д. В., Сперанский И. Д.
Разрешающие возможности диагностических экспериментов с линейными автоматами
Кибернетика и системный анализ. № 3. 2000. С. 62–65
60.
Сперанский Д. В., Сперанский И. Д.
Эксперименты с билинейными системами
Автоматика и телемеханика. № 6. 2000. С. 176–189
61.
Сперанский Д. В., Сперанский И. Д.
Эксперименты с линейными дискретными системами
Электронное моделирование. № 4. 1999. С. 64–73
62.
Спивак М. А.
Введение в абстрактную теорию автоматов
Саратов: Изд-во Сарат. ун-та, 1970
63.
Спивак М. А.
Обобщенные задачи диагноза и установки для конечных автоматов
Известия АН СССР, Технич. киб-ка. № 3. 1969. С. 82–87
64.
Стрейц В.
Методы пространства состояний в теории линейных дискретных систем управления
М.: Наука, 1985
65.
Твердохлебов В.А.
Логические эксперименты с автоматами
Саратов: Изд-во Сарат. ун-та, 1988. — 184 с
66.
Фараджев Р. Г.
Линейные последовательностные машины
М.: Сов. радио, 1965
67.
Хиббард Т. Н.
Точные верхние границы длин минимальных экспериментов, определяющих заключительное состояние, для двух классов последовательных машин
Кибернетический сборник. Вып. 2. 1966. С. 7–23
68.
Джонсон Ч., Хорн Р.
Матричный анализ
М.: Мир, 1989
69.
Яблонский С. В.
Введение в дискретную математику
М.: Наука, 1997. — 384 с
70.
Яблонский С. В.
Надежность и контроль управляющих систем
Математические вопросы кибернетики. Вып. 1. 1988. С. 5–25
71.
Янушевский Р. Т.
Управление объектами с запаздыванием
М.: Наука, 1978
72.
Bhattacharyya A.
Checking experiments in sequential machines
New York: J. Willy and Suns, 1989. — 155 p
73.
Breuer M., Friedman A.
Diagnosis and reliable design of digital systems
Computer Science Press. — 300 p
74.
Even S.
On information lossles automata of finite order
IEEE Trans. Elect. Comput. Vol. C-14, № 4. 1965. P. 561–569
75.
Ginzburg A.
Algebraic Theory of Automata
New York — London, Academic Press, 1968
76.
Huffman D. A.
Canonical forms for information-lossless finite-state logical machines
IRE Trans. Circuit Theory. Special supplement. Vol. CT-6. 1959. P. 41–59
77.
Hennye F. C.
Finite-state models for logical machines
New York, 1968
78.
Kohavi Z.
Switching and finite automata theory
New York: Mc Graw Hill, 1970. — 522 p
79.
Kohavi Z., Lavalle P.
Design of sequential machines with fault detecting capabilities
IEEE Frans. Electron Comput. V. 16. № 4. 1967. P. 171–184
80.
Lorens C. S.
Invertible Boolean function
IEEE Trans. Elect. Comput. EC-13, V. 5. 1964. P. 529–541
81.
Shary S. P.
Algebraic approach to the linear static identification, tolerance and control problem, or One more application of Caucher arithmetic
Reliable Computing. Vol. 2, № 1. 1996. P. 3–33
82.
Lee D., Yannakakis M.
Principles and methods of testing finite-state machines/ – A survey /
Proc. IEEE. V. 84. № 8. 1996. P. 1090–1123
