Add to ORKGInternational audienceComplex systems increasingly require safety and robustness w.r.t. faults occurrences, and diagnosability is a key property to ensure this at design stage. This paper demonstrates how Petri net unfoldings, which have been proven to elevate the state explosion problem, can be applied to verify diagnosability by adapting the twin plant method
International audienceDiagnosability is a crucial system property that determines at design stage ho...
International audienceDiagnosis consists in deciding from a partial observation of a system whether ...
International audienceDiagnosability and opacity are two well-studied problems in discrete-event sys...
International audienceComplex systems increasingly require safety and robustness w.r.t. faults occur...
This paper addresses the problem of checking diagnosability of supervision patterns in discrete-even...
In this paper, we develop an on-the-fly and incremental technique for fault diagnosis of discrete ev...
In this paper we analyze the diagnosability properties of labeled Petri nets. We consider the standa...
International audienceIn truly asynchronous, distributed systems, neither global state nor global ti...
Abstract. In this paper, a software tool to deal with diagnosis of dis-crete event systems (DESs) is...
This paper deals with diagnosis of permanent and operational faults of partially observed discrete e...
This paper considers the problem of diagnosability analysis of discrete event systems modeled by lab...
The malfunction of sensors, actuators, and erroneous actions of human operators can have some disast...
Abstract. The problem of detecting and isolating fault events in dy-namic systems modeled as discret...
We present a framework that shows how components in parallel can infer the diagnosability property o...
International audienceChecking the diagnosability of a discrete event system aims at determining whe...
International audienceDiagnosability is a crucial system property that determines at design stage ho...
International audienceDiagnosis consists in deciding from a partial observation of a system whether ...
International audienceDiagnosability and opacity are two well-studied problems in discrete-event sys...
International audienceComplex systems increasingly require safety and robustness w.r.t. faults occur...
This paper addresses the problem of checking diagnosability of supervision patterns in discrete-even...
In this paper, we develop an on-the-fly and incremental technique for fault diagnosis of discrete ev...
In this paper we analyze the diagnosability properties of labeled Petri nets. We consider the standa...
International audienceIn truly asynchronous, distributed systems, neither global state nor global ti...
Abstract. In this paper, a software tool to deal with diagnosis of dis-crete event systems (DESs) is...
This paper deals with diagnosis of permanent and operational faults of partially observed discrete e...
This paper considers the problem of diagnosability analysis of discrete event systems modeled by lab...
The malfunction of sensors, actuators, and erroneous actions of human operators can have some disast...
Abstract. The problem of detecting and isolating fault events in dy-namic systems modeled as discret...
We present a framework that shows how components in parallel can infer the diagnosability property o...
International audienceChecking the diagnosability of a discrete event system aims at determining whe...
International audienceDiagnosability is a crucial system property that determines at design stage ho...
International audienceDiagnosis consists in deciding from a partial observation of a system whether ...
International audienceDiagnosability and opacity are two well-studied problems in discrete-event sys...