Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

Abstract : We investigate the opportunities given by recent developments in the context of Discrete Controller Synthesis algorithms for infinite, logico-numerical systems. To this end, we focus on models employed in previous work for the management of dynamically partially reconfigurable hardware architectures. We extend these models with logico-numerical features to illustrate new modeling possibilities, and carry out some benchmarks to evaluate the feasibility of the approach on such models.
Type de document :
Communication dans un congrès
5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. 48 (7), pp.132-138
Liste complète des métadonnées

Littérature citée [18 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01187745
Contributeur : Hervé Marchand <>
Soumis le : jeudi 27 août 2015 - 15:16:48
Dernière modification le : jeudi 15 novembre 2018 - 11:58:45
Document(s) archivé(s) le : samedi 28 novembre 2015 - 10:32:52

Fichier

DCDS.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-01187745, version 1

Citation

Nicolas Berthier, Xin An, Hervé Marchand. Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, May 2015, Cancun, Mexico. 48 (7), pp.132-138. 〈hal-01187745〉

Partager

Métriques

Consultations de la notice

291

Téléchargements de fichiers

152