Optimal sensor selection for ensuring diagnosability in labeled Petri nets
From MaRDI portal
Publication:2628671
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
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
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