Синтез систем управления движением поездов на железнодорожных станциях с исключением опасных отказов
Рассмотрены основы синтеза безопасных систем управления движением поездов на ж/д станциях. Системы управления на этапе абстрактного синтеза представляются в виде совокупности множества конечных автоматов, при реализации которых исключаются условия возникновения опасных отказов, соответственно, возни...
Shranjeno v:
Glavni avtor: | |
---|---|
Format: | Knjiga |
Izdano: |
СКФУ
|
Oznake: |
Označite
Brez oznak, prvi označite!
|