Synthesis of automatic control models
DOI:
https://doi.org/10.18372/2306-1472.13.13678Abstract
he question of the use of finite automata for processing information of parametric onboard registrars is considered. The analysis of the stages of synthesis of finite automata, depicting the algorithms of aircraft flight controlReferences
Малежик А. И. Основы компьютерных технологий оперативного контроля полетов воздушных судов по полетной информации. - К: КМУГА, 1996. - 124 с.
Малежик А. И., Харченко А. Г. Математическое обеспечение автоматизированных систем контроля полетов. - К.: КНИГА, 1986. - 60 с.
Яцков Н. А. Основы построения автоматизированных систем контроля полетов воздушных судов. - К.: КНИГА, 1989. - 344 с.
Райчев И. Э., Харченко А. Г. Применение конечных автоматов для реализации алгоритмов контроля полетов воздушных судов // Вісн. НАУ. - 2001. - №3. - С.136-140.
Льюис Ф., Розенкранц Д., Стирнз Р. Теоретические основы проектирования компиляторов. - М.: Мир, 1979.-654 с
Вельбицкий И. В., Ходакоескии В. Н., Шолмов Л. И. Технологический комплекс производства программ на машинах ЕС ЭВМ, БЭСМ-6. - М: Статистика, 1980 - 263 с.
Вельбицкий И. В. Технология программирования. - К: Техника, 1984. - 279 с.
Глушков В. М. Синтез цифровых автоматов. - М: Физматгиз, 1962. - 476 с.
Кобринский Н. Е., Трахтенброт Б. А. Введение в теорию конечных автоматов. - М: Физматгиз, 1962 -404 с.
Горбатов В. А. Основы дискретной математики. - М.: Высш. шк., 1986. - 311 с.
Глушков В. М. Теория автоматов и формальные преобразования микропрограмм // Кибернетика. - 1965,-№5.-С. 1-10.
Антонов А. Н. Язык описания цифровых устройств Altera HDL. - М.: ИП Радиософт, 2002. - 224 с.
Райчев И. Э., Харченко А. Г., Яцков Н. А. Исследование методов тестирования программных модулей обработки полетной информации // Вісн. КМУЦА. - 2000. - №1-2. - С. 127-133.
