Dynamic Graph Hybrid Automata: A Modeling Method for Traffic Network | IEEE Conference Publication | IEEE Xplore