State observer for DES under partial observation with time Petri nets

DOI10.1007/s10626-009-0060-0zbMath1169.93366MaRDI 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

diagnosis; monitoring; partial observability; discrete event systems; state observer; time Petri net

Mathematics Subject Classification ID

93C65: Discrete event control/observation systems

93B07: Observability

Related Items

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

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