Logic Based Controller Design.