Add to ORKGInternational audienceIn this work we study the diagnosis problem for dynamic MSCs, a scenario language describing interactions of arbitrary numbers of processes. The diagnosis problem consist in finding explanations for a partial observation of a running system out of a model. We first show that diagnosis can be brought back to decidability of an MSO formula, and is hence decidable for dynamic MSCs
In this paper we propose a new characterization of model-based diagnosis based on process algebras, ...
In this thesis problems of diagnosis and prediction of event sequences in dynamic systems modeled us...
International audienceWe propose a framework for model-based diagnosis of systems with mobility and ...
International audienceIn this work we study the diagnosis problem for dynamic MSCs, a scenario langu...
International audienceWe introduce dynamic communicating automata (DCA), an extension of communicati...
International audienceDiagnosis of a system consists in providing explanations to a supervisor from ...
[EN] Nowadays industrial process systems are becoming more complex and it is needed simpler and effi...
Message sequence charts (MSCs) are commonly used to specify interactions between agents in communica...
International audienceThis paper proposes the use of the Timed Observation theory as a powerful fram...
[Departement_IRSTEA]Eaux [TR1_IRSTEA]RIVAGEInternational audienceIt is now well-known that the size ...
International audienceIn this paper, we review some recent results about the use of dynamic observer...
As society grows ever more reliant on increasingly complex technology, so does the importance of be...
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last deca...
International audienceIn this paper we propose the use of the Timed Observation theory as a powerful...
AbstractIn this paper we propose a new characterization of model-based diagnosis based on process al...
In this paper we propose a new characterization of model-based diagnosis based on process algebras, ...
In this thesis problems of diagnosis and prediction of event sequences in dynamic systems modeled us...
International audienceWe propose a framework for model-based diagnosis of systems with mobility and ...
International audienceIn this work we study the diagnosis problem for dynamic MSCs, a scenario langu...
International audienceWe introduce dynamic communicating automata (DCA), an extension of communicati...
International audienceDiagnosis of a system consists in providing explanations to a supervisor from ...
[EN] Nowadays industrial process systems are becoming more complex and it is needed simpler and effi...
Message sequence charts (MSCs) are commonly used to specify interactions between agents in communica...
International audienceThis paper proposes the use of the Timed Observation theory as a powerful fram...
[Departement_IRSTEA]Eaux [TR1_IRSTEA]RIVAGEInternational audienceIt is now well-known that the size ...
International audienceIn this paper, we review some recent results about the use of dynamic observer...
As society grows ever more reliant on increasingly complex technology, so does the importance of be...
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last deca...
International audienceIn this paper we propose the use of the Timed Observation theory as a powerful...
AbstractIn this paper we propose a new characterization of model-based diagnosis based on process al...
In this paper we propose a new characterization of model-based diagnosis based on process algebras, ...
In this thesis problems of diagnosis and prediction of event sequences in dynamic systems modeled us...
International audienceWe propose a framework for model-based diagnosis of systems with mobility and ...