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

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