Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures - Inria - Institut national de recherche en sciences et technologies du numérique
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
DCDS.pdf (908.86 Ko) Télécharger le fichier
Origin Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01187745 , version 1 (27-08-2015)

Identifiers

  • HAL Id : hal-01187745 , version 1

Cite

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. pp.132-138. ⟨hal-01187745⟩
214 View
280 Download

Share

More