State observer for DES under partial observation with time Petri nets

DOI10.1007/s10626-009-0060-0zbMath1169.93366OpenAlexW2088664299MaRDI QIDQ839012

Pascal Yim, Mohamed Ghazel, Armand Toguyéni

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

diagnosismonitoringpartial observabilitydiscrete event systemsstate observertime Petri net

Mathematics Subject Classification ID

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

Related Items (6)

Modeling, simulation, estimation and boundedness analysis of discrete event systems ⋮ 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 ⋮ Intermittent fault diagnosability of discrete event systems: an overview of automaton-based approaches ⋮ Failure detection and localization for timed event graphs in \((\max,+)\)-algebra ⋮ The On-Line Diagnosis of Time Petri Nets

Uses Software

• TINA

Cites Work

• 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
• Formal Modeling and Analysis of Timed Systems

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