Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

berthier:hal-01187745

N. Berthier, X. An, H. Marchand. Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures. In 5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15, Volume 48, Pages 132-138, Cancun, Mexico, May 2015.

Download [help]

Download paper: (link)

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

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

Contact

Hervé Marchand http://people.rennes.inria.fr/Herve.Marchand/

BibTex Reference

@InProceedings{berthier:hal-01187745,
   Author = {Berthier, N. and An, X. and Marchand, H.},
   Title = {Towards Applying Logico-numerical Control to Dynamically Partially Reconfigurable Architectures},
   BookTitle = {5th IFAC International Workshop On Dependable Control of Discrete Systems - DCDS'15},
   Volume = {48},
   Number = {7},
   Pages = {132--138},
   Address = {Cancun, Mexico},
   Month = {May},
   Year = {2015}
}

EndNote Reference [help]

Get EndNote Reference (.ref)