Reconfiguration Analysis Using Generic Component Models

This paper presents a formal approach to analyze system reconfigurability, based on a generic component model, which describes the system from the services provided by its components, and their organization into operating modes, in order to achieve specific objectives. Following a bottom-up approach, services provided by elementary components are used as resources for services at a higher level. Several versions exist when the same service can be rendered by using distinct sets of resources. Reconfiguration results from the existence of multiple versions since a faulty resource does not imply losing the services that use it. A level regulation example shows the effectiveness of the proposed model and tools.

[1]  G. Cloutier,et al.  GEMMA, the complementary tool of the GRAFCET , 1988, Fourth Annual Canadian Conference Proceedings., Programmable Control and Automation Technology Conference and Exhibition.

[2]  M. Staroswiecki.  QUANTITATIVE AND QUALITATIVE MODELS FOR FAULT DETECTION AND ISOLATION , 2000 .

[3]  Luca Chittaro,et al.  Hierarchical model-based diagnosis based on structural abstraction , 2004, Artif. Intell..

[4]  Marcel Staroswiecki,et al.  How Can Intelligent Instruments Interoperate in an Application Framework? A Mechanism for Taking into Account Operating Constraints , 1997 .

[5]  Bernard Bavoux,et al.  Ensuring High Quality in Specifications for Automotive Embedded Control Systems , 2005, IESS.

[6]  Marcel Staroswiecki,et al.  Progressive accommodation of actuator faults in the linear quadratic control problem , 2004, 2004 43rd IEEE Conference on Decision and Control (CDC) (IEEE Cat. No.04CH37601).

[7]  Ashok K. Goel,et al.  Functional modeling for enabling adaptive design of devices for new environments , 1998, Artif. Intell. Eng..

[8]  Gyula Simon,et al.  Transient Management in Reconfigurable Systems , 2000, IWSAS.

[9]  Gang Tao,et al.  An adaptive actuator failure compensation controller using output feedback , 2002, IEEE Trans. Autom. Control..

[10]  Marcel Staroswiecki,et al.  Building Distributed Architectures by the Interconnection of Intelligent Instruments , 1998 .

[11]  Michel Kinnaert,et al.  Diagnosis and Fault-Tolerant Control , 2004, IEEE Transactions on Automatic Control.

[12]  J. M. Maciejowski,et al.  RECONFIGURABLE CONTROL USING CONSTRAINED OPTIMIZATION , 1997 .

[13]  Abdel Aitouche,et al.  Optimal design of fault tolerant sensor networks , 2000, Proceedings of the 2000. IEEE International Conference on Control Applications. Conference Proceedings (Cat. No.00CH37162).

[14]  Thierry Denoeux,et al.  Analysis of evidence-theoretic decision rules for pattern classification , 1997, Pattern Recognit..

[15]  Marcel Staroswiecki,et al.  Models and languages for the interoperability of smart instruments , 1994, Autom..

[16]  Marios M. Polycarpou,et al.  Adaptive fault-tolerant control of nonlinear uncertain systems: an information-based diagnostic approach , 2004, IEEE Transactions on Automatic Control.

[17]  N. E. Wu,et al.  Concepts and methods in fault-tolerant control , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[18]  Paul M. Frank,et al.  Fault diagnosis in dynamic systems: theory and application , 1989 .

[19]  Marcel Staroswiecki,et al.  From control to supervision , 2000, Annu. Rev. Control..

[20]  B. Chandrasekaran,et al.  Function in Device Representation , 2000, Engineering with Computers.

[21]  Marcel Staroswiecki,et al.  Intelligent sensors: a functional view , 2005, IEEE Transactions on Industrial Informatics.

[22]  Rolf Isermann,et al.  Process fault detection based on modeling and estimation methods - A survey , 1984, Autom..

[23]  Suresh M. Joshi,et al.  On matching conditions for adaptive state tracking control of systems with actuator failures , 2002, IEEE Trans. Autom. Control..

[24]  Shankar Narasimhan,et al.  Sensor network design for maximizing reliability of linear processes , 1993 .