State observer for DES under partial observation with time Petri nets

DOI10.1007/S10626-009-0060-0zbMATH Open1169.93366OpenAlexW2088664299MaRDI QIDQ839012FDOQ839012

Authors: Mohamed Ghazel, Armand Toguyéni, Pascal Yim 

Publication date: 1 September 2009

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-009-0060-0

Recommendations

• Fault diagnosis for discrete event systems using partially observed Petri nets
• Detection of temporal anomalies for partially observed timed PNs
• Model-based fault identification of discrete event systems using partially observed Petri nets
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• Fault diagnosis in discrete event systems modeled by partially observed Petri nets

zbMATH Keywords

discrete event systemsstate observerdiagnosismonitoringpartial observabilitytime Petri net

Mathematics Subject Classification ID

Observability (93B07) Discrete event control/observation systems (93C65)

Cites Work

• Formal Modeling and Analysis of Timed Systems
• Template languages for fault monitoring of timed discrete event processes
• The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
• Fault diagnosis for timed automata

Cited In (10)

• Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions
• Detection of temporal anomalies for partially observed timed PNs
• Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches
• State estimation in labeled time Petri net systems using observed modified state class graph
• State estimation and detection of changes in time interval models
• Symbolic state estimation in bounded timed labeled Petri nets
• The on-line diagnosis of time Petri nets
• Decentralized state estimation and diagnosis of p-time labeled Petri nets systems
• Failure detection and localization for timed event graphs in \((\max,+)\)-algebra
• Modeling, simulation, estimation and boundedness analysis of discrete event systems

Uses Software

• TINA

This page was built for publication: State observer for DES under partial observation with time Petri nets

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