Diagnosability Analysis of Labeled Time Petri Net Systems

From MaRDI portal

Revision as of 20:56, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5282382

Jump to:navigation, search

DOI10.1109/TAC.2016.2588736zbMath1366.93341MaRDI QIDQ5282382

Francesco Basile, Carla Seatzu, Maria Paola Cabasino

Publication date: 27 July 2017

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

Mathematics Subject Classification ID

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

Related Items (5)

Marking diagnosability verification in labeled Petri nets ⋮ Diagnosis of timed patterns for discrete event systems by means of state isolation ⋮ State estimation in labeled time Petri net systems using observed modified state class graph ⋮ Codiagnosability of discrete event systems revisited: a new necessary and sufficient condition and its applications ⋮ Failure detection and localization for timed event graphs in \((\max,+)\)-algebra

This page was built for publication: Diagnosability Analysis of Labeled Time Petri Net Systems

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5282382&oldid=19930125"