Optimal sensor selection for ensuring diagnosability in labeled Petri nets

DOI10.1016/j.automatica.2013.04.041zbMath1364.93453MaRDI 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 nets; fault diagnosis; discrete event systems; place/transition nets

Mathematics Subject Classification ID

90C10: Integer programming

90B25: Reliability, availability, maintenance, inspection in operations research

93C65: Discrete event control/observation systems

93B07: Observability

Related Items

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

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