upvd

LAboratoire de Mathématiques et de PhySique
Vérification NUmérique des Systèmes (VENUS)

Publications

2017

Journaux

  • Automatic Synthesis of k-Inductive Piecewise Quadratic Invariants for Switched Affine Control Programs, A. Adjé et P. Garoche, In the proceedings of Computer Languages, Systems and Structures, 47:44--61, 2017 .
  • A Sums-Of-Squares Extension of Policy Iterations, A. Adjé, P. Garoche et V. Magron, In the proceedings of Nonlinear Analysis : Hybrid Systems, 25:60--78, 2017 .

Conférences

  • Coupling Policy Iterations with Piecewise Quadratic Lyapunov Functions, A. Adjé, In the proceedings of Hybrid Systems: Computation and Control, 143--152, 2017 .

2016

Conférences

  • Data-Types Optimization for Floating-Point Formats by Program Transformation, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The 3rd International Conference on Control, Decision and Information Technologies, 2016 .
  • Accuracy Analysis of Numerical Computations for Avionics Automatic Code Generators, A. Werey, D. Delmas et M. Martel, In the proceedings of The 8th European Congress on Embedded Real Time Software and Systems (ERTS2), 2016 .

2015

Conférences

  • Impact of Accuracy Optimization on the Convergence of Numerical Iterative Methods, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The 25th International Symposium on Logic-Based Program Synthesis and Transformation, 2015 .
  • Automatic Source-to-Source Error Compensation of Floating-Point Programs, L. Thévenoux, M. Martel et P. Langlois, In the proceedings of The 18th IEEE International Conference on Computational Science and Engineering, 2015 .
  • Intra-procedural optimization of the numerical accuracy of programs, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of Formal Methods for Industrial Critical Systems, 2015 .
  • Optimizing the accuracy of a satellite trajectory simulation by program transformation, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The ACM International Conference on Computing Frontiers, 2015 .

2014

Workshops

  • Transformation of a PID controller for numerical accuracy, N. Damouche, M. Martel et A. Chapoutot, In the proceedings of The 7th International Workshop on Numerical Software Verification, 2014 .