Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
709100 | IFAC-PapersOnLine | 2015 | 7 Pages |
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.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics