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
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
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
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
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
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
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
Synchronous programming of reactive systems, a tutorial and commented bibliography, Tenth Int. Conf. on Computer-Aided Verification, CAV'98, 1998. ,
The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, 1996. ,
DOI : 10.1145/235321.235322
The vision of autonomic computing, Computer, vol.36, issue.1, pp.41-50, 2003. ,
DOI : 10.1109/MC.2003.1160055
Autonomic management of missions and reconfigurations in FPGA-based embedded system, NASA/ESA Conf. on Adaptive Hardware and Systems (AHS), 2017. ,
Ros: an open-source robot operating system, ICRA WS Open Source Software, 2009. ,
Modular Supervisory Control of Discrete Event Systems, Proc. IEEE, vol.77, issue.1, 1989. ,
DOI : 10.1007/BFb0007558
From reconfigurable architectures to self-adaptive autonomic systems, Int. Conf. Computational Science and Engineering, CSE '09, 2009. ,
DOI : 10.1504/ijes.2010.039021
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