Search results for: Michel Kieffer
Automatica > 2017 > 83 > C > 351-360
International Journal of Robust and Nonlinear Control > 27 > 9 > 1547 - 1565
Automatica > 2017 > 78 > C > 287-296
2016 IEEE 55th Conference on Decision and Control (CDC) > 5888 - 5893
Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering > Mobile Lightweight Wireless Systems > PHYLOM 2010 – Workshop on “Advanced PhYsical Layer Optimization Methods for Energy-Efficient Wireless Systems” > 685-698
IEEE/ACM Transactions on Networking > 2016 > 24 > 4 > 1935 - 1947
Lecture Notes in Computer Science > Numerical Software with Result Verification > New Verification Techniques Based on Interval Arithmetic > 124-131
Lecture Notes in Computer Science > Numerical Validation in Current Hardware Architectures > Applications > 189-202
Lecture Notes in Computer Science > Numerical Software with Result Verification > New Verification Techniques Based on Interval Arithmetic > 107-123
Lecture Notes in Control and Information Sciences > Robustness in identification and control > 190-203
IEEE Transactions on Signal and Information Processing over Networks > 2016 > 2 > 1 > 29 - 48
Mathematical Engineering > Modeling, Design, and Simulation of Systems with Uncertainties > Applications: Uncertainties in Engineering > 199-220
Mathematical Engineering > Modeling, Design, and Simulation of Systems with Uncertainties > Theoretic Background and Software Implementation > 129-151
2015 54th IEEE Conference on Decision and Control (CDC) > 3050 - 3056