Abstract: Multilane traffic is hard to model because of its hybrid nature: continuous dynamics on each lane and discrete event for lane-change. We design a hybrid system, where the lane-changing ...