Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs

DOI10.1109/TAC.2019.2897272MaRDI QIDQ5211194zbMATH OpenWikidataFDO

Authors Dan You, ShouGuang Wang, C. Seatzu

Publication date 28 January 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.2897272

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Discrete event control/observation systems (93C65)

Cited in

(2)

• Fault-prognosability, \(K\)-step prognosis and \(K\)-step predictive diagnosis in partially observed Petri nets by means of algebraic techniques
• Prognosability verification and enforcement in labeled Petri nets under observation delays and intermittent losses

This page was built for publication: Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs

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