Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection

DOI10.1109/TAC.2018.2874020MaRDI QIDQ5223815zbMATH OpenOpenAlexWikidataFDO

Authors Ning Ran, Alessandro Giua, C. Seatzu

Publication date 18 July 2019

Published in IEEE Transactions on Automatic Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/tac.2018.2874020

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Observability (93B07) Discrete event control/observation systems (93C65)

Cited in

(9)

• Deciding detectability for labeled Petri nets
• Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach
• Marking diagnosability verification in labeled Petri nets
• Diagnosability enforcement in labeled Petri nets using supervisory control
• Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
• Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets
• Masked observation for majority-based control of a democratic progress model in the framework of discrete event systems
• Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled Petri net
• Prognosability verification and enforcement in labeled Petri nets under observation delays and intermittent losses

This page was built for publication: Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5223815)