Запропоновано моделі та виділено класи безпечних автоматів. Визначено табличні та графічні методи завдання безпечних автоматів. Висвітлено методи синтезу безпечних автоматів з функціональною деградацією. Досліджено мову та технологію програмування безпечних програмованих логічних інтегральних схем (ПЛІС)-контролерів. Надано формальний опис алфавіту та синтаксису даної мови THDL. Встановлено процедуру й інструментальні засоби програмування безпечних ПЛІС-контролерів. Розроблено та впроваджено мікроелектронну систему централізації на базі безпечних ПЛІС-контролерів з паралельною архітектурою для залізниць та метрополітенів.

 Автореферати дисертацій 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Малиновський Михайло Леонідович (технічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"