abidefei / consistency_verification_train_decision Goto Github PK
View Code? Open in Web Editor NEWThe train control system is a typical safety-critical system, the consistency of the state of the system process is an important prerequisite of the reliable decision-making for the train control system.