State observer for DES under partial observation with time Petri nets

DOI10.1007/S10626-009-0060-0MaRDI QIDQ839012zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

diagnosisdiscrete event systemsmonitoringpartial observabilitystate observertime Petri net

Mathematics Subject Classification ID

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

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

Cites work

• Fault diagnosis for timed automata
• 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

Cited in

(11)

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

Describes a project that uses

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)