Laboratoire d’Analyse et d’Architecture des Systèmes
M.COFFY, J.SAINFORT, M.BAYOUDH, E.CHANTHERY
DISCO
Rapport de Contrat : Projet FRAE. SIRASAS, Février 2010, 16p. , N° 10586
Diffusion restreinte
122670E.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
119657E.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
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.
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
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.
A.ZOLGHADRI, M.STAROSWIECKI, L.TRAVE-MASSUYES, J.RAGOT, P.DAGUE, E.BENSAMA, M.C.CHARMEAU, P.GOUPIL, X.OLIVE, E.BENAZERA, E.CHANTHERY, C.JAUBERTHIE, R.PONS
IMS Bordeaux 1, SATIE, DISCO, CRAN-ENSEM, LIPN, LRI, ONERA, CNES, AIRBUS France, Thalès Alenia Space
Rapport de Contrat : Projet SARASAS - Contrat FRAE, Mars 2009, 20p. , N° 09150
Non diffusable
117034M.STAROSWIECKI, J.RAGOT, D.HENRY, A.ZOLGHADRI, J.CIESLAK, D.MAQUIN, B.MARX, T.RAISSI, R.PONS, C.JAUBERTHIE, L.TRAVE-MASSUYES, E.BENAZERA, E.CHANTHERY, D.BERDJAG, C.JOIN, D.THEILLIOL, S.CANITROT, T.HAMEL, F.HAMELIN
SATIE, CRAN-ENSEM, IMS Bordeaux 1, DISCO
Rapport de Contrat : Projet SARASAS - Contrat FRAE, Mars 2009, 289p. , N° 09149
Non diffusable
117036E.BENAZERA, E.CHANTHERY
DISCO
Manifestation avec acte : 19th International Workshop on Principles of Diagnosis (DX-08), Blue Mountains (Autralie), 22-24 Septembre 2008, pp.15-22 , N° 08373
Diffusable
115517