Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
0 Оценок
Отзывов
О книге
В книге рассмотрены основы синтеза безопасных систем управления движением поездов на железнодорожных станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов и, соответственно, возникновения катастрофических нарушений в работе, вызывающих угрозы пассажирам и перевозимым грузам. Для разработчиков систем управления ответственными технологическими процессами, систем автоматизированного проектирования, тестирования, технического диагностирования и мониторинга устройств автоматизации на транспорте и в промышленности.
Характеристики
Издательство:
Наука
Год издания:
2021-01-01
ISBN:
978-5-02-040877-7
0 
