Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures - Archive ouverte HAL
Communication Dans Un Congrès Année : 2015

Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures

Résumé

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
Origine Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

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

Identifiants

  • HAL Id : hal-01187745 , version 1

Citer

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 Consultations
282 Téléchargements

Partager

More