Google 
Аннотация: Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
| Автор/составитель | Сапожников Валерий Владимирович |
| Год выпуска | 2021 |
| ISBN | 978-5-02-040877-7 |
| Производитель | Наука |
| Издательство | Наука |
| Количество томов | 1 |
| Количество страниц | 229 |
| Переплет | Твёрдый переплёт |
| Размеры | 221x148x15 мм |
| Цвет | Оранжевый |
| Тип бумаги | офсетная (60-220 г/м2) |
| Возрастная категория | 0+ |
| Вес | 380 |
В книге рассмотрены основы синтеза безопасных систем управления движением поездов на железнодорожных станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов и, соответственно, возникновения катастрофических нарушений в работе, вызывающих угрозы пассажирам и перевозимым грузам.
Для разработчиков систем управления ответственными технологическими процессами, систем автоматизированного проектирования, тестирования, технического диагностирования и мониторинга устройств автоматизации на транспорте и в промышленности.