On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
type: Item
instance of: scholarly article
title: On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
zbMATH Open document ID: 1257.93064
published in: Automatica
publication date: 2013-03-01T00:00:00Z
Mathematics Subject Classification ID: 93C65
Mathematics Subject Classification ID: 93C05
Mathematics Subject Classification ID: 90C10
zbMATH DE Number: 6140439
zbMATH Keywords: diagnosability
zbMATH Keywords: discrete event systems
zbMATH Keywords: Petri nets
zbMATH Keywords: integer linear programming
author: Francesco Basile
author: Pasquale Chiacchio
author: G. De Tommasi
describes a project that uses: UMDES
describes a project that uses: GLPK
MaRDI profile type: Publication
full work available at URL: j.automatica.2012.06.039
OpenAlex ID: W2003070900
cites work: An Efficient Approach for Online Diagnosis of Discrete Event Systems
cites work: A distributed approach for fault detection and diagnosis based on time Petri nets
cites work: A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
cites work: Fault detection for discrete event systems using Petri nets with unobservable transitions
cites work: Q4719062
cites work: Coordinated decentralized protocols for failure diagnosis of discrete event systems
cites work: Reduction of constraints for controller synthesis based on safe Petri nets
cites work: On-line fault detection in discrete event systems by Petri nets and integer linear programming
cites work: Graph Theoretic Bound on Number of A.C.I.M. for Random Transformation
cites work: Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
cites work: The Diagnosability of Petri Net Models Using Minimal Explanations
cites work: State observation and diagnosis of discrete-event systems described by stochastic automata
cites work: Safe diagnosability for fault-tolerant supervision of discrete-event systems
cites work: Diagnosability of discrete-event systems
cites work: Q4247289
cites work: Algebraic approaches for fault identification in discrete-event systems
cites work: Fault diagnosis in discrete-event systems: Framework and model reduction
cites work: Fault diagnosis in discrete-event systems: incorporating timing information
DOI: 10.1016/J.AUTOMATICA.2012.06.039
description: scientific article; zbMATH DE number 6140439