Proceedings Article10.1109/ETFA.2018.8502532
Efficient diagnosability assessment via ILP optimization: a railway benchmark
Francesco Basile,Gianmaria De Tommasi,Claudio Sterle,Abderraouf Boussif,Mohamed Ghazel +4 more
- 01 Sep 2018
- pp 441-448
17
TL;DR: This paper exploits the railway Petri net model originally proposed in [16], and extended in [14] to be used as a benchmark for diagnosability analysis, to assess the efficiency of the approach based on the solution of ILP problems proposed in[3].
read more
Abstract: Diagnosability of faults in discrete event systems modeled with Petri nets can be assessed either via graph-based techniques (also called diagnoser, verifier/twin-plant based techniques), or via the solution of optimization problems. The approaches that belong to the former class are based on the analysis of the net reachability or coverability graphs (or of a more compact version of them). The latter approach exploits the mathematical representation of the net itself to specify and solve optimization problems, which are usually expressed as integer linear programming (ILP) problems. In this paper we exploit the railway Petri net model originally proposed in [16], and extended in [14] to be used as a benchmark for diagnosability analysis, to assess the efficiency of the approach based on the solution of ILP problems proposed in [3]. In order to show the effectiveness of the proposed technique, a comparison with a graph-based approach for analyzing diagnosability is also presented.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Noninterference Enforcement via Supervisory Control in Bounded Petri Nets
TL;DR: In this article, a supervisory control strategy to enforce noninterference is proposed based on the solution of optimization problems on a Petri net model of the system under investigation, and the effectiveness of the proposed enforcement strategy is shown by means of illustrative examples.
18
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
Francesco Blasi,G. De Tommasi,Carlo Motta +2 more
TL;DR: In this paper , a necessary and sufficient condition to check initial state opacity in discrete event systems (DESs) is proposed based on the algebraic representation of labeled Petri nets (PNs) in terms of minimal support T-invariants.
9
Assessment of Bisimulation Non-Interference in Discrete Event Systems Modelled With Bounded Petri Nets
Francesco Basile,Gianmaria De Tommasi +1 more
- 01 Oct 2021
TL;DR: A necessary and sufficient condition is given to assess bisimulation non-interference in bounded Petri nets and such a condition requires the solution of integer linear programming optimization problems, whose solution can be used also to statically enforce bisimulations non- Interference when this condition is not satisfied by the original system.
8
A semi‐symbolic diagnoser for fault diagnosis of bounded labeled petri nets
TL;DR: A diagnoser‐based approach to deal with fault diagnosis of bounded labeled Petri nets by building a semi‐symbolic diagnoser to analyze diagnosability and perform online diagnosis and provides an on‐the‐fly algorithm to simultaneously construct the diagnoser and analyzediagnosability.
6
Non-Interference Enforcement in Bounded Petri Nets
Francesco Basile,Gianmaria De Tommasi,Claudio Sterle +2 more
- 01 Dec 2018
TL;DR: An algorithm that enforces non-interference in discrete event systems modeled using Petri nets by selecting offline the smallest subset of high-level transitions to be disabled, is presented.
6
References
•Book
Diagnosis and Fault-Tolerant Control
Mogens Blanke,Michel Kinnaert,Jan Lunze,Marcel Staroswiecki,Jochen Schröder +4 more
- 22 Dec 2012
TL;DR: In this paper, model-based analysis and design methods for fault diagnosis and fault-tolerant control are presented, where the propagation of the fault through the process, test fault detectability and reveal redundancies that can be used to ensure fault tolerance.
The control of discrete event systems
Peter J. Ramadge,W. M. Wonham +1 more
- 01 Jan 1989
TL;DR: The focus is on the qualitative aspects of control, but computation and the related issue of computational complexity are also considered.
3K
Diagnosability of discrete-event systems
TL;DR: The approach to failure diagnosis presented in this paper is applicable to systems that fall naturally in the class of DES's; moreover, for the purpose of diagnosis, most continuous variable dynamic systems can be viewed as DES's at a higher level of abstraction.
Failure diagnosis using discrete-event models
TL;DR: A discrete-event systems (DES) approach to the failure diagnosis problem is proposed, applicable to systems that fall naturally in the class of DES; moreover, for the purpose of diagnosis, continuous-variable dynamic systems can often be viewed as DES at a higher level of abstraction.
Safety Analysis Using Petri Nets
Nancy G. Leveson,J. L. Stolzy +1 more
TL;DR: In this paper, the application of Time Petri net modeling and analysis techniques to safetycritical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault-tolerance.