| Formal Verification for Embedded Implementation of Convex Optimization Algorithms R Cohen, G Davy, E Feron, PL Garoche IFAC-PapersOnLine 50 (1), 5867-5874, 2017 | 7 | 2017 |
| Verification and validation of convex optimization algorithms for model predictive control R Cohen, E Feron, PL Garoche Journal of Aerospace Information Systems 17 (5), 257-270, 2020 | 6 | 2020 |
| A credible autocoding application within a rocket and its payload R Cohen, ATB Long, R Jobredeaux, E Feron 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC), 8C4-1-8C4-10, 2015 | 5 | 2015 |
| Online performance optimization of a DC motor driving a variable pitch propeller R Cohen, D Miculescu, K Reilley, M Pakmehr, E Feron arXiv preprint arXiv:1310.0133, 2013 | 5 | 2013 |
| Developing Concepts for Optimal Scheduling in Distributed Turbine Engine Control Systems M Pakmehr, RS Chakravarthy Muralidhar, LF Sutter, RP Cohen, EM Feron, ... AIAA Propulsion and Energy 2019 Forum, 4387, 2019 | 3 | 2019 |
| Validation of convex optimization algorithms and credible implementation for model predictive control EM Feron, RP Cohen, G Davy, PL Garoche AIAA Information Systems-AIAA Infotech@ Aerospace, 0562, 2017 | 3 | 2017 |
| Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs R Cohen, E Feron, PL Garoche 2018 IEEE Conference on Decision and Control (CDC), 3585-3591, 2018 | | 2018 |
| Attitude Control of the Space Shuttle: A Retrospective Example on Model-Based Design and Verification Processes R Cohen, H Bourbouh, G Brat, E Feron, PL Garoche | | |
Pierre-Loïc GarocheENAC - NASA/KBRAdresse e-mail validée de enac.fr
