Add to ORKGIn this paper we propose the use of the Timed Observation theory as a powerful frameworks for model-based diagnosis. In fact, they provide a global formalism for modeling a dynamic system (TOM4D), for characterizing and computing di-agnoses of the system under investigation
In this paper we present an extension of the spectrum of logical definitions of model-based diagnosi...
Most current model-based diagnosis formalisms and algorithms are defined only for static systems, wh...
an overview from an abductive perspective In this paper we present an extension of the spectrum of l...
International audienceIn this paper we propose the use of the Timed Observation theory as a powerful...
International audienceThis paper proposes the use of the Timed Observation theory as a powerful fram...
International audienceIt is now well-known that the size of the model is the bottleneck when using m...
Cette thèse concerne le diagnostic de processus dynamiques basée sur la Théorie des Observations Dat...
Model-based diagnosis of discrete-event systems (DESs) generates a set of candidates upon the recept...
International audienceThis paper considers the model of Time Petri Nets (TPNs) extended with time pa...
International audienceIn this article we introduce the problem of timed pattern diagnosis in timed s...
The analysis of time-varying systems is attracting a lot of attention in the model-based diagnosis c...
In this paper we extend our previous work in the area of temporal diagnostic reasoning. Based on a l...
AbstractObservations play a major role in diagnosis. The nature of an observation varies according t...
Timed Observations is a failure and divergence semantic model for concurrent processes, suitable for...
International audienceThis paper proposes an effective way for the diagnosis of discrete-event syste...
In this paper we present an extension of the spectrum of logical definitions of model-based diagnosi...
Most current model-based diagnosis formalisms and algorithms are defined only for static systems, wh...
an overview from an abductive perspective In this paper we present an extension of the spectrum of l...
International audienceIn this paper we propose the use of the Timed Observation theory as a powerful...
International audienceThis paper proposes the use of the Timed Observation theory as a powerful fram...
International audienceIt is now well-known that the size of the model is the bottleneck when using m...
Cette thèse concerne le diagnostic de processus dynamiques basée sur la Théorie des Observations Dat...
Model-based diagnosis of discrete-event systems (DESs) generates a set of candidates upon the recept...
International audienceThis paper considers the model of Time Petri Nets (TPNs) extended with time pa...
International audienceIn this article we introduce the problem of timed pattern diagnosis in timed s...
The analysis of time-varying systems is attracting a lot of attention in the model-based diagnosis c...
In this paper we extend our previous work in the area of temporal diagnostic reasoning. Based on a l...
AbstractObservations play a major role in diagnosis. The nature of an observation varies according t...
Timed Observations is a failure and divergence semantic model for concurrent processes, suitable for...
International audienceThis paper proposes an effective way for the diagnosis of discrete-event syste...
In this paper we present an extension of the spectrum of logical definitions of model-based diagnosi...
Most current model-based diagnosis formalisms and algorithms are defined only for static systems, wh...
an overview from an abductive perspective In this paper we present an extension of the spectrum of l...