Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов

В книге рассмотрены основы синтеза безопасных систем управления движением поездов на железнодорожных станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов и, соответственно, возникновения катастрофических нарушений в работе, вызывающих угрозы пассажирам и перевозимым грузам. Для разработчиков систем управления ответственными технологическими процессами, систем автоматизированного проектирования, тестирования, технического диагностирования и мониторинга устройств автоматизации на транспорте и в промышленности.