Formal Control of Traffic Systems via Network Decomposition.
Kemal Cagri BardakciEbru Aydin GolPublished in: ACC (2018)
Keyphrases
- transportation networks
- telecommunication networks
- network traffic
- normal operation
- traffic analysis
- traffic signal
- computer systems
- network traffic monitoring
- computer networks
- network resources
- network layer
- real time
- control method
- wireless sensor networks
- control system
- formal methods
- traffic flow
- traffic light
- communication networks
- complex systems
- distributed systems
- traffic patterns
- origin destination
- internet service providers