Formal verification of special vehicle priority traffic signal light control system based on TPN and Z.
Liyuan HuangYang LiuDarong HuangPublished in: CAA SAFEPROCESS (2021)
Keyphrases
- formal verification
- traffic signal
- control system
- urban traffic
- traffic signal control
- model checking
- traffic density
- traffic control
- traffic congestion
- real time
- closed loop
- control algorithm
- fuzzy logic
- symbolic model checking
- traffic management
- process control
- fuzzy control
- traffic conditions
- vehicle detection
- control strategy
- intelligent control
- control strategies
- traffic flow
- traffic light
- fuzzy controller
- control scheme
- control method
- multi agent systems
- autonomous vehicles
- multi objective