Controlling a network of signalized intersections from temporal logical specifications.
Samuel CooganEbru Aydin GolMurat ArcakCalin BeltaPublished in: ACC (2015)
Keyphrases
- network model
- spatio temporal
- peer to peer
- network structure
- complex networks
- network design
- high level
- wireless sensor networks
- temporal information
- computer networks
- communication networks
- real time
- long distance
- temporal reasoning
- temporal dimension
- temporal analysis
- traffic light
- distributed network
- network resources
- formal specification
- temporal data
- temporal constraints
- databases