Enforcing Diagnosability in Interpreted Petri Nets
Karen Hernández Rueda, María Elena Meda-Campaña, J. Arámburo-Lizárraga · IFAC-PapersOnLine · 2015
The aim of this paper is to present a novel approach to enforce the diagnosability property in Discrete Event Systems modeled by Interpreted Petri Nets (IPN). This approach is based on a Regulation Circuit controller. The objective of this Regulation Circuit is to reduce the relative distance between any two transitions to detect the firing of a specific transition, whose occurrence indicates that a fault occurred.