Optimal sensor selection for ensuring diagnosability in labeled Petri nets

DOI10.1016/J.AUTOMATICA.2013.04.041MaRDI QIDQ2628671zbMATH OpenOpenAlexFDO

Authors Maria Paola Cabasino, Stéphane Lafortune, C. Seatzu

Publication date 2 June 2017

Published in Automatica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.automatica.2013.04.041

zbMATH Keywords

discrete event systemsfault diagnosisPetri netsplace/transition nets

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Integer programming (90C10) Observability (93B07) Discrete event control/observation systems (93C65)

Recommendations

• Diagnosability of Petri nets with observation graphs
• Marking diagnosability verification in labeled Petri nets
• Diagnosability enforcement in labeled Petri nets using supervisory control
• K-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
• Diagnosability analysis of patterns on bounded labeled prioritized Petri nets

Cites work

• A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
• Diagnosability of discrete-event systems
• Minimizing the cardinality of an events set for supervisors of discrete-event dynamical systems
• Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
• On an optimization problem in sensor selection
• Optimal sensor selection for discrete-event systems with partial observation
• Optimal sensor selection for ensuring diagnosability in labeled Petri nets
• Sensor Selection for Structural Observability in Discrete Event Systems Modeled by Petri Nets
• The Diagnosability of Petri Net Models Using Minimal Explanations

Cited in

(7)

• Optimal sensor selection for ensuring diagnosability in labeled Petri nets
• Diagnosability enforcement in labeled Petri nets using supervisory control
• Sensor selection for fault diagnosis in uncertain systems
• Computation of minimal diagnosis bases of discrete-event systems using verifiers
• Optimal sensor selection for diagnosability enforcement of discrete event systems using labeled Petri net
• Prognosability verification and enforcement in labeled Petri nets under observation delays and intermittent losses
• Optimal sensor activation for diagnosing discrete event systems

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Optimal sensor selection for ensuring diagnosability in labeled Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2628671)