State observer for DES under partial observation with time Petri nets
type: Item
instance of: scholarly article
title: State observer for DES under partial observation with time Petri nets
zbMATH Open document ID: 1169.93366
author: Mohamed Ghazel
author: Armand Toguyéni
author: Pascal Yim
published in: Discrete Event Dynamic Systems
publication date: 2009-09-01T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B07
zbMATH DE Number: 5600739
zbMATH Keywords: discrete event systems
zbMATH Keywords: state observer
zbMATH Keywords: monitoring
zbMATH Keywords: diagnosis
zbMATH Keywords: time Petri net
zbMATH Keywords: partial observability
describes a project that uses: TINA
MaRDI profile type: Publication
full work available at URL: s10626-009-0060-0
OpenAlex ID: W2088664299
cites work: The tool TINA – Construction of abstract state spaces for petri nets and time petri nets
cites work: Formal Modeling and Analysis of Timed Systems
cites work: Template languages for fault monitoring of timed discrete event processes
cites work: Fault Diagnosis for Timed Automata
DOI: 10.1007/S10626-009-0060-0
description: scientific article; zbMATH DE number 5600739