50documents trouvés
Synthesis of a distributed and accurate diagnoser
P.KAN JOHN, A.GRASTIEN, Y.PENCOLE
NICTA, DISCO
Manifestation avec acte : International Workshop on Principles of Diagnosis (DX 10), Portland (USA), 13-16 Octobre 2010, 8p. , N° 10762
Diffusable
123305Defining and exploring properties in diagnostic systems
N.BELARD , Y.PENCOLE, M.COMBACAU
DISCO
Manifestation sans acte : International Workshop on Principles of Diagnosis (DX 10), Portland (USA), 13-16 Octobre 2010, 8p. , N° 10847
Diffusable
Plus d'informations
Abstract
Every model-based diagnostic approach relies on a representation of a real-world system, in this paper called believed system. The believed system is used along with the observations about the real-world system to generate a diagnostic problem to be solved. In this paper it is firstly argued that believed systems can differ from real-world systems in many different manners. As so, properties of believed systems, diagnostic problems and diagnostic results are introduced. Then, a series of relations between these properties are proved. The importance of such relations, sometimes seen as intuitive, is that they are necessary to formally prove the accordance between the real-world system and the believed system; to formally prove that a believed system and a diagnostic problem will produce high-quality diagnostic results; or even to ease diagnostic algorithms, since for systems and problems with certain properties, different model-based diagnostic approaches produce the same diagnostic results. In order to introduce the referred properties and reasoning about them a framework of diagnosis based on the difference between the believed and the real systems is proposed.
An AO*-like algorithm implementation for active diagnosis
E.CHANTHERY, Y.PENCOLE, N.BUSSAC
DISCO
Manifestation avec acte : International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS 2010), Sapporo (Japon), 29 Août - 1 Septembre 2010, pp.378-385 , N° 10417
Diffusable
122357A decentralised symbolic diagnosis approach
A.SCHUMANN, Y.PENCOLE, S.THIEBAUX
Cork, DISCO, NICTA
Manifestation avec acte : European Conference on Artificial Intelligence (ECAI 2010), Lisbonne (Portugal), 16-20 Août 2010, 6p. , N° 10397
Diffusable
123558A chronicle-based diagnosability approach for discrete time-event systems: application to web-services
Y.PENCOLE, A.SUBIAS
DISCO
Revue Scientifique : Journal of Universal Computer Science, Vol.15, N°17, pp.3246-3272, Mars 2010 , N° 08689
Diffusable
Plus d'informations
Mots-Clés / Keywords
Discrete event systems; Web services; Workflow; Diagnosis; Diagnosability; Chronicle; Time Petri nets;
Synthèse d'un diagnostiqueur distribué et précis+
P.KAN JOHN, A.GRASTIEN, Y.PENCOLE, P.RIBOT
NICTA, DISCO
Manifestation avec acte : 17ème congrès francophone AFRIF-AFIA Reconnaissance des Formes et Intelligence Artificielle (RFIA 2010), Caen (France), 19-22 Janvier 2010, pp.646-653 , N° 09758
Diffusable
120975Modélisation et Intégration du Diagnostic Actif dans une Architecture Embarquée
E.CHANTHERY, Y.PENCOLE
DISCO
Manifestation avec acte : Journal européen des systèmes automatisés - Modèlisation des systèmes réactifs (JESA-MSR 2009), Nantes (France), 16-18 Novembre 2009, pp.789-803 , N° 09552
Diffusable
119657Diagnosis and prognosis for the maintenance of complex systems
P.RIBOT, Y.PENCOLE, M.COMBACAU
DISCO
Manifestation avec acte : IEEE International Conference on Systems, Man, and Cybernetics (SMC 2009), San Antonio (Etats-Unis), 11-14 Octobre 2009, pp.222-222 , N° 09203
Diffusable
Plus d'informations
Mots-Clés / Keywords
Diagnosis; Prognosis; Preventive maintenance; Complex systems;
Principles of self-maintenance in an on-board architecture including active diagnosis
E.CHANTHERY, Y.PENCOLE
DISCO
Manifestation avec acte : The IJCAI-09 Workshop on Self-* and Autonomous Systems (SAS09), Pasadena (USA), 11-13 Juillet 2009, 8p. , N° 09470
Diffusable
Plus d'informations
Abstract
This article presents some principles for selfmaintenance in an on-board architecture that embeds on-line active diagnosis. The objective of active diagnosis is to find an action plan that refines the diagnosis without radically changing the mission plan. This leads to the definition of a planning problem that relies on an active diagnoser. According to a decision criterion, the aim is then to find the best conditional plan to reach a diagnosable region of the active diagnoser. The interactions problems between the result of the planning for diagnosis and the mission planning are then detailed and a solution that uses the execution controller of the on-board architecture is proposed.
Monitoring and active diagnosis for discrete-event systems
E.CHANTHERY, Y.PENCOLE
DISCO
Manifestation avec acte : SAFE PROCESS 2009, Barcelone (Espagne), 30 Juin - 3 Juillet 2009, 6p. , N° 09201
Diffusable
Plus d'informations
Abstract
This article presents an original way to enrich the monitoring of discrete-event systems named textit{active diagnosis}. The objective of on-line active diagnosis is to find an admissible sequence of actions (or plan) that refines the diagnosis without radically changing the mission plan. This paper has two major contributions. First, active diagnosis is formally defined in the finite-state automata theory framework. This leads to the definition of a complete active diagnoser which on line monitors the system behavior. Secondly, from the complete active diagnoser is defined a planning problem. The goal is to find a conditional plan that defines an admissible sequence of actions. These actions are applied on the physical system and may conduct the active diagnoser into a diagnosable region.
Mots-Clés / Keywords
Fault diagnosis; Discrete event systems; Finite state machines; Decision tree;