Supervisory Control in Partially Observable Petri Nets with Sensor Reduction
Ziyue Ma, Zhou He, Zhiwu Li · 2019
This paper studies the supervisory control problem in Petri nets with unobservable transitions and uncontrollable transitions. Given a Petri net of such a type, a supervisor is designed based on the basis reachability graph in which the set of explicit transitions is a superset of the set of observable transitions. A sensor reduction method is proposed to find a minimal set of observable transitions without compromising the permissiveness. Removal of redundant observable transitions leads to a more compact control structure and a lower cost related to sensor deployment.