| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
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.
Cited literature [18 references]
https://hal.archives-ouvertes.fr/hal-01187745
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Thursday, August 27, 2015 - 3:16:48 PM
Last modification on : Thursday, January 20, 2022 - 5:33:13 PM
Long-term archiving on: : Saturday, November 28, 2015 - 10:32:52 AM
Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Thursday, August 27, 2015 - 3:16:48 PM
Last modification on : Thursday, January 20, 2022 - 5:33:13 PM
Long-term archiving on: : Saturday, November 28, 2015 - 10:32:52 AM
File
DCDS.pdf
Publisher files allowed on an open archive