Verification of functional constraints for safe product driven control - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Verification of functional constraints for safe product driven control

Résumé

This paper deals with dynamic reconfiguration of DES control within the context of manufacturing system to answer product variability or production resources availability. More precisely, it focuses on product-driven control (PDC) that embeds decisional and adaptation capabilities within the product. PDC can be defined in a static or dynamic way: in the first case, all switchable manufacturing trajectories are predefined and implemented in the product control while, in the second case, PDC can be seen as a non-deterministic and “on the fly” choice among control trajectories to fit with the manufacturing system availability and the product state. In this last case, PDC safety is ensured thanks to a filtering approach that enables to maintain PDC within a state space that satisfy functional and safety constraints whatever the control generated by the reconfiguration process is. This paper focuses on the definition and verification of a minimal set of constraints that ensure the sufficiency and the non blocking properties of the constraints. A case study illustrates the approach.
Fichier principal
Vignette du fichier
DCDC09_Hal.pdf (226.57 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00401680 , version 1 (03-07-2009)

Identifiants

  • HAL Id : hal-00401680 , version 1

Citer

Pascale Marangé, David Gouyon, Jean-François Pétin, Bernard Riera. Verification of functional constraints for safe product driven control. 2nd IFAC Workshop on Dependable Control of Discrete System, DCDS'09, Jun 2009, Bari, Italy. pp.315-320. ⟨hal-00401680⟩
166 Consultations
132 Téléchargements

Partager

Gmail Facebook X LinkedIn More