Modeling and control of antilock braking systems utilizing dynamic friction tire model