Enforcing the optimal set of controls for state feedback with non-redundant controllers
Eleazar Jiménez Serrano, Keijiro Araki, Shigeru Kusakabe · 2007
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 ∑na(q)−yto model the MSC-logic.