HAL - INRIA :: [inria-00000524, version 1] Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems

inria-00000524, version 1

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="inproceedings"><head>Communications avec acte</head>
<biblStruct type="inproceedings" xml:id="inria-00000524"><analytic>
<author><persName><forename>Alban</forename><surname>Grastien</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">DREAM</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées de Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Marie-Odile</forename><surname>Cordier</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">DREAM</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées de Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<author><persName><forename>Christine</forename><surname>Largouët</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA - IRISA</orgName>
<orgName type="team">DREAM</orgName>
<country>FR</country>
<orgName type="institution">CNRS : UMR6074</orgName>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National des Sciences Appliquées de Rennes</orgName>
<orgName type="institution">Université de Rennes 1</orgName>
</affiliation>
</author>
<title type="main" level="a">Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems</title></analytic><monogr><meeting>15 international workshop on principles of diagnosis</meeting><imprint><pubPlace><settlement>Carcasonne </settlement><country> France</country></pubPlace><biblScope type="publicationDate">2004-06-24</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00000524/en/</idno><idno type="HALFile">http://hal.inria.fr/inria-00000524/PDF/reconf.pdf</idno></biblStruct>
</listBibl>
</listBibl>

Extending Decentralized Discrete-Event Modelling to Diagnose Reconfigurable Systems

Alban Grastien (

) ¹, Marie-Odile Cordier (

)^a^, 1, Christine Largouët ¹

(2004)

Accès au texte intégral
PS
PDF

15 international workshop on principles of diagnosis (2004)

Résumé : On-line reconfiguration is the ability to rearrange dynamically the elements of a system to accommodate failure events or new requirements. Due to the modular representation, decentralized discrete-event approach, recently proposed for the diagnosis of systems, is particularly well suited to the diagnosis of reconfigurable systems. The contribution of this article is to extend our decentralized approach to reconfigurable discrete-event systems. A first step in this direction is to extend the way a decentralized system is modelled. The idea consists in modelling separately the behavior of the components and the system topology. A second step is to formally define what is a reconfiguration. A property of reconfiguration, that we call \ital{safety}, is identified to be important. When satisfied, we show that our decentralized diagnosis approach can easily be extended to reconfigurable systems.

a –	Université Rennes I
1 :	DREAM (INRIA - IRISA)
	CNRS : UMR6074 – INRIA – Institut National des Sciences Appliquées de Rennes – Université de Rennes 1

Domaine

Informatique/Intelligence artificielle


inria-00000524, version 1
http://hal.inria.fr/inria-00000524/fr/
oai:hal.inria.fr:inria-00000524_v1
Contributeur : Alban Grastien <>
Soumis le : Jeudi 27 Octobre 2005, 17:38:24
Dernière modification le : Lundi 15 Janvier 2007, 09:36:07