Codiagnosability Analysis of Bounded Petri Nets
From MaRDI portal
Publication:4567184
DOI10.1109/TAC.2017.2742659zbMath1390.93531MaRDI QIDQ4567184
Ning Ran, Carla Seatzu, Alessandro Giua, Hong-Ye Su
Publication date: 27 June 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2017.2742659
93C65: Discrete event control/observation systems
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications, \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization, Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems, Marking diagnosability verification in labeled Petri nets, Diagnosability enforcement in labeled Petri nets using supervisory control