Login / Signup

Model and Means of Timed Automata-based Real-time Adaptive Transit Signal Control.

Mykhailo LytvynenkoOlexander ShkilInna FilippenkoLeonid Rebezyuk
Published in: EWDTS (2020)
Keyphrases
  • real time
  • formal model
  • management system
  • statistical model
  • control system
  • probabilistic model
  • mathematical model
  • high level
  • objective function
  • signal processing
  • computational model
  • control method
  • control signals