Stochastic DES fault diagnosis with coloured interpreted Petri nets

DOI10.1155/2015/303107zbMath1394.93184OpenAlexW1967904462WikidataQ59117930 ScholiaQ59117930MaRDI QIDQ1665297

Doyra Mariela Muñoz, Antonio Correcher, Francisco Morant, Emilio García

Publication date: 27 August 2018

Published in: Mathematical Problems in Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1155/2015/303107

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Adaptive sensor and actuator failure compensation for H_∞ static output control of linear systems: a new Lyapunov function method

Cites Work

• Unnamed Item
• Unnamed Item
• Fault detection for discrete event systems using Petri nets with unobservable transitions
• On-line fault detection in discrete event systems by Petri nets and integer linear programming
• Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets
• Identification of stochastic timed discrete event systems with st-IPN
• Fault diagnosis and fault tolerant control for non-Gaussian singular time-delayed stochastic distribution systems
• Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities
• A comparative analysis of recent identification approaches for discrete-event systems
• Centralized modular diagnosis and the phenomenon of coupling
• Real time identification of discrete event systems using Petri nets
• Fault detection and isolation in manufacturing systems with an identified discrete event model
• Distributed Diagnosis of Discrete-Event Systems Using Petri Nets
• Diagnosability of discrete-event systems
• An Efficient Approach for Online Diagnosis of Discrete Event Systems
• Diagnosis of asynchronous discrete-event systems: a net unfolding approach
• Failure Diagnosis of Discrete-Event Systems With Linear-Time Temporal Logic Specifications
• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

This page was built for publication: Stochastic DES fault diagnosis with coloured interpreted Petri nets