Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection

DOI10.1109/TAC.2018.2874020zbMath1482.93390OpenAlexW2894631171MaRDI QIDQ5223815

Alessandro Giua, Carla Seatzu, Ning Ran

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

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

Related Items (4)

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 ⋮ Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach

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