On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
From MaRDI portal
Publication:1937479
DOI10.1016/j.automatica.2012.06.039zbMath1257.93064OpenAlexW2003070900MaRDI QIDQ1937479
Francesco Basile, Gianmaria De Tommasi, Pasquale Chiacchio
Publication date: 1 March 2013
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2012.06.039
Integer programming (90C10) Linear systems in control theory (93C05) Discrete event control/observation systems (93C65)
Related Items (18)
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems ⋮ Diagnosability of Petri nets with observation graphs ⋮ Marking diagnosability verification in labeled Petri nets ⋮ Diagnosability enforcement in labeled Petri nets using supervisory control ⋮ Fault diagnosis in labelled Petri nets: a Fourier-Motzkin based approach ⋮ Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques ⋮ Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers ⋮ A language-based diagnosis framework for permanent and intermittent faults ⋮ Non-interference assessment in colored net systems via integer linear programming ⋮ Diagnosability analysis of patterns on bounded labeled prioritized Petri nets ⋮ State-based fault diagnosis of discrete-event systems with partially observable outputs ⋮ On-the-fly diagnosability analysis of bounded and unbounded labeled Petri nets using verifier nets ⋮ On-line verification of current-state opacity by Petri nets and integer linear programming ⋮ Counter approach for the estimation of optimal sequences in partially observable untimed Petri nets ⋮ Fault diagnosis for discrete event systems using partially observed Petri nets ⋮ On-line fault detection in discrete event systems by Petri nets and integer linear programming ⋮ Optimization-based assessment of initial-state opacity in Petri nets ⋮ \(K\)-diagnosability analysis of bounded and unbounded Petri nets using linear optimization
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Reduction of constraints for controller synthesis based on safe Petri nets
- On-line fault detection in discrete event systems by Petri nets and integer linear programming
- Coordinated decentralized protocols for failure diagnosis of discrete event systems
- Modeling and control of discrete-event dynamic systems with Petri nets and other tools.
- A distributed approach for fault detection and diagnosis based on time Petri nets
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- Graph Theoretic Bound on Number of A.C.I.M. for Random Transformation
- Diagnosability of discrete-event systems
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- The Diagnosability of Petri Net Models Using Minimal Explanations
- Fault diagnosis in discrete-event systems: Framework and model reduction
- Fault diagnosis in discrete-event systems: incorporating timing information
- Algebraic approaches for fault identification in discrete-event systems
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- State observation and diagnosis of discrete-event systems described by stochastic automata
This page was built for publication: On \(\mathcal K\)-diagnosability of Petri nets via integer linear programming
