Logical control approach to fuel efficiency optimization for commuting vehicles