%0 Conference Proceedings
%F berthier:hal-01187745
%A Berthier, N.
%A An, X.
%A Marchand, H.
%T Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures
%B 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15
%V 48
%N 7
%P 132-138
%C Cancun, Mexico
%X 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
%U https://hal.archives-ouvertes.fr/hal-01187745/document
%8 May
%D 2015