Enforcing the optimal set of controls for state feedback with non-redundant controllers

Optimal control sets are defined as sets with a smaller cardinality than the cardinality of the set of controlled transitions and obtained when modeling control systems with a multiple and simultaneous control (MSC) approach using controlled Dan/Petri nets⁺ (Ctrl D/PN⁺); optimal and non-redundant control sets are defined as optimal sets without controllers that result redundantly in terms of a set of admissible markings with specific characteristics. In this paper we explain how to find the optimal an non-redundant set of controls in control systems modeled with Ctrl D/PN⁺ and present the net structure Sigma_n ^a(q)-y to model the MSC-logic.