A Rule-Based System for the Optimal State Assignment of Controllers