Formal model for micro-scale traffic simulation and control.
Piotr BlaszczykWojciech TurekKrzysztof CetnarowiczPublished in: MMAR (2013)
Keyphrases
- formal model
- electro mechanical systems
- traffic control
- simulation model
- formal models
- traffic signal control
- matlab simulink
- predicate calculus
- flow control
- real time
- optimal control
- traffic management
- discrete event
- mathematical model
- traffic network
- control system
- traffic light
- security properties
- control method
- cellular automata
- security patterns
- software engineering