Diagnosability analysis of a class of hierarchical state machines
type: Item
instance of: scholarly article
title: Diagnosability analysis of a class of hierarchical state machines
zbMATH Open document ID: 1171.93357
author: Andrea Paoli
author: Stéphane Lafortune
published in: Discrete Event Dynamic Systems
publication date: 2009-10-09T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93B07
Mathematics Subject Classification ID: 90B25
zbMATH DE Number: 5612744
zbMATH Keywords: discrete event systems
zbMATH Keywords: fault diagnosis
zbMATH Keywords: statecharts
zbMATH Keywords: hierarchical finite state machines
zbMATH Keywords: diagnoser
describes a project that uses: UMDES
MaRDI profile type: Publication
full work available at URL: s10626-008-0044-5
OpenAlex ID: W2074727206
cites work: Diagnosis of asynchronous discrete-event systems: a net unfolding approach
cites work: Control of discrete event systems modeled as hierarchical state machines
cites work: Introduction to Discrete Event Systems
cites work: Diagnosing discrete-event systems: Extending the ``diagnoser approach'' to deal with telecommunication networks
cites work: Coordinated decentralized protocols for failure diagnosis of discrete event systems
cites work: Model-based detection of routing events in discrete flow networks
cites work: Probabilistic detection of FSM single state-transition faults based on state occupancy measurements
cites work: Statecharts: a visual formalism for complex systems
cites work: Diagnosability of discrete event systems and its applications
cites work: State observation and diagnosis of discrete-event systems described by stochastic automata
cites work: Template languages for fault monitoring of timed discrete event processes
cites work: Diagnosability of discrete-event systems
cites work: Active diagnosis of discrete-event systems
DOI: 10.1007/S10626-008-0044-5
description: scientific article; zbMATH DE number 5612744