Sciweavers

2 search results - page 1 / 1
» Automata Slicing for Diagnosing Discrete-Event Systems with ...
Sort
View
AIIA
2005
Springer
13 years 10 months ago
Automata Slicing for Diagnosing Discrete-Event Systems with Partially Ordered Observations
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
Alban Grastien, Marie-Odile Cordier, Christine Lar...
AI
2005
Springer
13 years 10 months ago
First Steps Towards Incremental Diagnosis of Discrete-Event Systems
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
Alban Grastien, Marie-Odile Cordier, Christine Lar...