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