Designing formal reconfiguration control using UML/MARTE
暂无分享,去创建一个
Éric Rutten | Guy Gogniat | Jean-Philippe Diguet | Sébastien Guillet | Florent de Lamotte | Nicolas Le Griguer
[1] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[2] Éric Rutten,et al. Contracts for modular discrete controller synthesis , 2010, LCTES '10.
[3] Christos G. Cassandras,et al. Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.
[4] Wei Zhao,et al. FPGA implementation of closed-loop control system for small-scale robot , 2005, ICAR '05. Proceedings., 12th International Conference on Advanced Robotics, 2005..
[5] Éric Niel,et al. A supervisor implementation approach in Discrete Controller Synthesis , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.
[6] Paul Le Guernic,et al. Synthesis of Discrete-Event Controllers Based on the Signal Environment , 2000, Discret. Event Dyn. Syst..
[7] Oliver Pell,et al. Verification of FPGA Layout Generators in Higher-Order Logic , 2006, Journal of Automated Reasoning.
[8] Éric Rutten,et al. Reactive Model-Based Control of Reconfiguration in the Fractal Component-Based Model , 2010, CBSE.
[9] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[10] Imed Moussa,et al. A verification methodology for reconfigurable systems , 2004, Fifth International Workshop on Microprocessor Test and Verification (MTV'04).
[11] Éric Rutten,et al. Synchronous control of reconfiguration in fractal component-based systems - A case study , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).
[12] Fabienne Boyer,et al. Discrete supervisory control application to computing systems administration , 2012 .
[13] Éric Rutten,et al. Modeling and Formal Control of Partial Dynamic Reconfiguration , 2010, 2010 International Conference on Reconfigurable Computing and FPGAs.
[14] Jérémie Crenne,et al. Ultra-Fast Downloading of Partial Bitstreams through Ethernet , 2009, ARCS.