Diagnosability enforcement in labeled Petri nets using supervisory control

Volume: 131, Pages: 109776
Published: Sep 1, 2021
Abstract
null null In this article, we deal with the active diagnosis problem in labeled Petri nets by developing a supervisor for a plant such that the closed-loop system is diagnosable. Since control actions may introduce deadlocks even if an original plant is deadlock-free, we first generalize the classical notion of diagnosability in labeled Petri nets to the nets that may contain potential deadlocks. To avoid enumerating all reachable markings of a...
Paper Details
Title
Diagnosability enforcement in labeled Petri nets using supervisory control
Published Date
Sep 1, 2021
Journal
Volume
131
Pages
109776
Citation AnalysisPro
  • Scinapse’s Top 10 Citation Journals & Affiliations graph reveals the quality and authenticity of citations received by a paper.
  • Discover whether citations have been inflated due to self-citations, or if citations include institutional bias.