Traffic Flow Control at Signalized Intersections using Signal Spatio-Temporal Logic.
Sagar V. PatilKazumune HashimotoMasako KishidaPublished in: CDC (2022)
Keyphrases
- traffic flow
- temporal logic
- model checking
- traffic light
- traffic signal
- road traffic
- cellular automaton model
- modal logic
- cellular automata
- travel time
- traffic congestion
- intelligent transport systems
- traffic flows
- traffic data
- traffic patterns
- traffic control
- linear temporal logic
- traffic network
- belief revision
- transition systems
- intelligent transportation systems
- control system
- verification method
- autonomous vehicles
- traffic information
- reactive systems
- traffic conditions
- process control
- traffic density
- temporal knowledge
- intelligent control
- road safety
- control strategies
- control strategy
- formal specification language
- mazurkiewicz traces
- space time