An Iterative Method for the Design Process of Mode Handling Model

This paper focuses on formal verification and validation of a model dedicated to mode handling of flexible manufacturing systems. The model is specified using the synchronous formalism Safe State Machines. A structured framework for the design process is presented. The obtained model is characterized by a strong hierarchy and concurrency that is why within the design process an iterative approach for specification, verification and validation is propose in order to improve this process. The main properties being verified are presented and the approach is illustrated through an example of a manufacturing production cell

Un modèle Orienté Composants pour les Évolutions et Défaillances des Systèmes Hybrides

National audienc

La caractérisation dynamique des défaillances (une nouvelle approche pour la gestion active des défaillances au sein des systèmes physiques industriels complexes)

LILLE1-BU (590092102) / SudocVILLENEUVE D'ASCQ-ECLI (590092307) / SudocSudocFranceF

Verification and validation of a SSM model dedicated to model handling of flexible manufacturing systems

International audienc

Proposition d’une approche de reconfiguration des processus métiers de la chaîne logistique

International audienc

Reactive mode handling of flexible manufacturing systems. Mathematics and Computers in Simulation

International audienc

A component based architecture for the reconfiguration of hybrid systems using control description

International audienc

Cooperative functional hybrid behavioural models for dynamical failure assessment

International audienc

Reconfiguration through a component oriented hybrid architecture

International audienc

Architecture pour la reconfiguration en temps réel des systèmes complexes

Nous proposons une méthodologie de conception pour les systèmes de commande tolérants aux fautes en partant d un modèle de base exhaustif pour le système complexe à superviser. En pratique, la modélisation exhaustive est réalisée grâce à un automate hybride enrichi par des paramètres quantifiant les défaillances possibles. Ceci permet de modéliser les défaillances partielles. Dans la phase hors ligne, ce système complexe est transformé en un système discret abstrait et exploitable selon des techniques dédiées. Un superviseur est alors construit selon les objectifs de fonctionnement.Lors du fonctionnement du système, l occurrence d une défaillance se traduit par l invalidation de plusieurs comportements dans le modèle abstrait et l introduction d incertitudes. Par la suite, les modules de diagnostic et d identification (qui ne rentrent pas dans l objet de notre thèse) réduisent de façon progressive le modèle hybride au cours du temps. Afin de pouvoir mettre à jour le modèle discret abstrait, on a développé des algorithmes de calcul d atteignabilité, de vérification et de génération de régions stabilisées.Pour pouvoir superviser un tel système, l utilisation de méthodologies d abstraction est nécessaire afin de transformer le modèle bas niveau exhaustif en un modèle discret approprié. Nous réalisons cette abstraction en proposant des algorithmes qui tiennent compte du contexte d utilisation (objectifs, contraintes ). Lorsqu une défaillance est détectée, la reconfiguration est déclenchée en essayant, au fur et à mesure de l enrichissement du modèle abstrait, de réduire le fonctionnement du système défaillant dans un des schémas prédéfinisWe propose a methodology for the design of fault tolerant control systems for the supervision of complex systems. First, the system is exhaustively described through a hybrid automaton which is enriched with parameters that quantifies the possible complete or partial faults. In the offline stage, the complex system is abstracted into a useful discrete event system with dedicated approaches. After, a supervisor is designed according to the standard objectives.In the online stage, fault detection can be interpreted by prohibiting some behaviours and introducing uncertainties. Thereafter, the diagnosis and identification modules (that are not treated in this work) reduce progressively the hybrid system. In order to update the abstract model, we developed some algorithms for reachability calculus, verification and generation of stabilized regions.In order to supervise the faulty system, the use of abstraction methodologies is necessary in order to transform the low level exhaustive model into an abstract and appropriate model. This abstraction is realized through algorithms that takes into account the abstraction context (objectives, constraints ). When a fault is detected, the reconfiguration is triggered by trying, as the abstract model is enriched, to reduce the behaviour of the faulty system into a preconceived modelVILLENEUVE D'ASCQ-ECLI (590092307) / SudocSudocFranceF