X. An, E. Rutten, J. Diguet, and A. Gamatié, Model-Based Design of Correct Controllers for Dynamically Reconfigurable Architectures, ACM Transactions on Embedded Computing Systems, vol.15, issue.3, 2016.
DOI : 10.1109/FPL.2010.65

URL : https://hal.archives-ouvertes.fr/hal-01272077

N. Berthier, F. Alvares, H. Marchand, G. Delaval, and E. Rutten, Logico-numerical control for software components reconfiguration, 2017 IEEE Conference on Control Technology and Applications (CCTA), pp.1599-1606, 2017.
DOI : 10.1109/CCTA.2017.8062685

URL : https://hal.archives-ouvertes.fr/hal-01644754

N. Berthier and H. Marchand, Discrete Controller Synthesis for Infinite State Systems with ReaX, IEEE Int. Workshop on Discrete Event Systems, 2014.
DOI : 10.3182/20140514-3-FR-4046.00099

URL : https://hal.archives-ouvertes.fr/hal-00974553

E. Chen, V. G. Lesau, D. Sabaz, L. Shannon, and W. A. Gruver, FPGA Framework for Agent Systems Using Dynamic Partial Reconfiguration, Proc. 5th Int. Conf. Industrial Applications of Holonic and Multi-agent Systems for Manufacturing, 2011.
DOI : 10.1007/978-3-540-32259-7_12

G. Delaval, S. M. Gueye, and E. Rutten, Distributed Execution of Modular Discrete Controllers for Data Center Management, Proc. 5th IFAC workshop DCDS'15, 2015.
DOI : 10.1016/j.ifacol.2015.06.485

URL : https://hal.archives-ouvertes.fr/hal-01161509

G. Delaval, E. Rutten, and H. Marchand, Integrating discrete controller synthesis into a reactive programming language compiler. Discrete Event Dynamic Systems, 2013.
DOI : 10.1007/s10626-013-0163-5

URL : https://hal.archives-ouvertes.fr/hal-00863286

F. Fons, M. Fons, E. Cantó, and M. López, Real-time embedded systems powered by fpga dynamic partial selfreconfiguration: A case study oriented to biometric recognition applications, J. Real-Time Image Process, vol.8, issue.3, 2013.
DOI : 10.1007/s11554-010-0186-1

N. Halbwachs, Synchronous programming of reactive systems, a tutorial and commented bibliography, Tenth Int. Conf. on Computer-Aided Verification, CAV'98, 1998.

D. Harel and A. Naamad, The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, 1996.
DOI : 10.1145/235321.235322

J. O. Kephart and D. M. Chess, The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003.
DOI : 10.1109/MC.2003.1160055

S. Mak-karé-gueye, É. Rutten, and J. Diguet, Autonomic management of missions and reconfigurations in FPGA-based embedded system, NASA/ESA Conf. on Adaptive Hardware and Systems (AHS), 2017.

M. Quigley, K. Conley, B. P. Gerkey, J. Faust, T. Foote et al., Ros: an open-source robot operating system, ICRA WS Open Source Software, 2009.

P. Ramadge and W. Wonham, Modular Supervisory Control of Discrete Event Systems, Proc. IEEE, vol.77, issue.1, 1989.
DOI : 10.1007/BFb0007558

M. D. Santambrogio, From reconfigurable architectures to self-adaptive autonomic systems, Int. Conf. Computational Science and Engineering, CSE '09, 2009.
DOI : 10.1504/ijes.2010.039021

A. N. Sylla, M. Louvel, E. Rutten, and G. Delaval, Design Framework for Reliable Multiple Autonomic Loops in Smart Environments, 2017 International Conference on Cloud and Autonomic Computing (ICCAC), 2017.
DOI : 10.1109/ICCAC.2017.20

URL : https://hal.archives-ouvertes.fr/cea-01570026