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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [18 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01187745
Contributor : Hervé Marchand <>
Submitted on : Thursday, August 27, 2015 - 3:16:48 PM
Last modification on : Thursday, November 15, 2018 - 11:58:45 AM
Document(s) archivé(s) le : Saturday, November 28, 2015 - 10:32:52 AM

File

DCDS.pdf
Publisher files allowed on an open archive

Identifiers

  • 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. pp.132-138. ⟨hal-01187745⟩

Share

Metrics

Record views

306

Files downloads

187