Safety-Critical Traffic Control by Connected Automated Vehicles.
Huan YuChenguang ZhaoTamás G. MolnarPublished in: CoRR (2023)
Keyphrases
- traffic control
- safety critical
- urban traffic
- traffic light
- traffic signal
- fault tolerant
- formal methods
- embedded systems
- traffic flow
- network management
- traffic management
- real time
- agent architecture
- support systems
- network flow
- autonomous vehicles
- intelligent control
- software systems
- control system
- information systems