Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis
From MaRDI portal
Publication:5125732
DOI10.1109/TAC.2019.2947650OpenAlexW2981236637MaRDI QIDQ5125732
Carla Seatzu, Alessandro Giua, Stéphane Lafortune
Publication date: 7 October 2020
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2019.2947650
Related Items
Diagnosability enforcement in labeled Petri nets using supervisory control, Dynamic compensator design and \(H_\infty\) admissibilization for delayed singular jump systems via Moore-Penrose generalized inversion technique, Design of supervisors for linear marking specifications in labeled Petri nets