Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

Nicolas Berthier 1 Xin An 2 Hervé Marchand 1
1 SUMO - SUpervision of large MOdular and distributed systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
2 USTC - University of Science and Technology of China [Hefei]
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.
Keywords : Discrete Controller Synthesis Infinite Systems Control of Computing Synchronous Languages Hardware Architectures Dynamically Partially Reconfigurable FPGA
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 : mercredi 16 mai 2018 - 11:24:07
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

Collections

INRIA | IRISA | IRISA-D4 | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-RENNES

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

288

Téléchargements de fichiers

151

Contact


archive-ouverte@inria.fr