Sciweavers

58 search results - page 2 / 12
» Diagnosis of Discrete Event Systems Using Decentralized Arch...
Sort
View
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...
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...
AAAI
2007
13 years 6 months ago
Diagnosis of Discrete-Event Systems Using Satisfiability Algorithms
Alban Grastien, Anbulagan, Jussi Rintanen, Elena K...
ECOWS
2009
Springer
13 years 11 months ago
A Model-Based Approach to Fault Diagnosis in Service Oriented Architectures
—This paper aims to present a method of creating architectures which allow monitoring occurrence of failure in Service oriented Architectures (SoA). The presented approach extend...
Mohammed Alodib, Behzad Bordbar
ICINCO
2009
132views Robotics» more  ICINCO 2009»
13 years 2 months ago
Discrete Event Diagnosis using Petri Nets
This paper serves as a support for the plenary address given by the second author during the conference. In this paper we present an approach to on-line diagnosis of discrete even...
Maria Paola Cabasino, Alessandro Giua, Carla Seatz...