Optimal sensor selection for ensuring diagnosability in labeled Petri nets

DOI10.1016/j.automatica.2013.04.041zbMath1364.93453OpenAlexW1996043796MaRDI QIDQ2628671

Carla Seatzu, Maria Paola Cabasino, Stéphane Lafortune

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

Petri netsfault diagnosisdiscrete event systemsplace/transition nets

Mathematics Subject Classification ID

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

Related Items (3)

Optimal sensor selection for ensuring diagnosability in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Computation of minimal diagnosis bases of discrete-event systems using verifiers

Uses Software

• UMDES

Cites Work

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

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