Verification of the safety communication protocol in train control system using colored Petri net.
Lijie ChenTao TangXianqiong ZhaoEckehard SchniederPublished in: Reliab. Eng. Syst. Saf. (2012)
Keyphrases
- communication protocol
- colored petri nets
- control system
- petri net
- electro hydraulic
- safety analysis
- communication protocols
- web services
- fuzzy logic
- control algorithm
- closed loop
- wifi
- intelligent control
- fuzzy control
- safety critical
- control scheme
- control strategy
- control law
- pid controller
- neural network
- real time
- pid control
- control method
- sensor networks