Automatic generation of discrete handlers of real-time continuous control tasks

Abstract : We present a novel technique for designing discrete, logical control loops, on top of continuous control tasks, ensuring logical safety properties of the tasks sequencings and mode changes. We define this new handler on top of the real-time executives built with the ORCCAD design environment for control systems, which is applied, e.g. to robotics and real-time networked control. It features structures of control tasks, each equipped with a local automaton, used for the reactive, event-based management of its activity and modes. The additional discrete handler manages the interactions between tasks, concerning, e.g., mutual exclusions, forbidden or imposed sequences. We use a new reactive programming language, with constructs for finite-state machines and data-flow nodes, and a mechanism of behavioral contracts, which involves discrete controller synthesis. The result is a discrete control loop, on top of the continuous control loops, all integrated in a coherent real-time architecture. Our approach is illustrated and validated experimentally with the case study of a robot arm.
Type de document :
Communication dans un congrès
18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy. 2011
Liste complète des métadonnées


https://hal.inria.fr/hal-00640406
Contributeur : Daniel Simon <>
Soumis le : vendredi 11 novembre 2011 - 19:02:17
Dernière modification le : vendredi 3 juin 2016 - 01:05:17
Document(s) archivé(s) le : vendredi 16 novembre 2012 - 10:40:47

Fichier

bzrccad.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00640406, version 1

Collections

Citation

Ahmed Soufyane Aboubekr, Gwenaël Delaval, Roger Pissard-Gibollet, Éric Rutten, Daniel Simon. Automatic generation of discrete handlers of real-time continuous control tasks. 18th IFAC World Congress (IFAC WC 2011), Aug 2011, Milan, Italy. 2011. <hal-00640406>

Partager

Métriques

Consultations de
la notice

435

Téléchargements du document

314