We focus on the control methods for traffic systems, multiple vehicles, and some practical control systems. Mainly model predictive control is applied for the systems. To deal with the knowledge based rules for control systems some logical formulations are researched. More over traffic simulators are used to evaluate the proposed control methods.